Forcing in nonstandard analysis
- 作者Masanao Ozawa
- 卷第68卷
- 期第3期
- 印刷ISSN0168-0072
- 文件大小2334.18KB
- 发表时间1994
- DOI10.1016/0168-0072(94)90023-x
- 页码263-297
同作者推荐
PrefaceYuri Matiyasevich; Anil Nerode · 1996
PrefaceSergei Artemov; Yuri Matiyasevich; Grigori Mints; Anatol Slissenko · 2010
PrefaceYuri Matiyasevich · 2001
Biography of A.O. SlissenkoDanièle Beauquier; Dimitri Grigoriev; Yuri Matiyasevich · 2003
PrefaceYuri Matiyasevich; Sergei Artemov · 2006
Existential arithmetization of Diophantine equationsYuri Matiyasevich · 2009
Multiple serial episodes matchingPatrick Cégielski; Irène Guessarian; Yuri Matiyasevich · 2006
A New Formula for πYuri V. Matiyasevich · The American Mathematical Monthly · 1986