PARTIAL SATURATION OF NONSTANDARD MODELS OF ARITHMETIC

被引：0

|

作者：

MIJAJLOVIC, Z

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1983年 / 48卷 / 04期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：1212 / 1213

页数：2

相关论文

共 50 条

[31] Nonstandard arithmetic and reverse mathematics
Keisler, HJ
[J]. BULLETIN OF SYMBOLIC LOGIC, 2006, 12 (01) : 100 - 125
[32] A MODEL FOR INTUITIONISTIC NONSTANDARD ARITHMETIC
MOERDIJK, I
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1995, 73 (01) : 37 - 51
[33] A functional interpretation for nonstandard arithmetic
van den Berg, Benno
Briseid, Eyvind
Safarik, Pavol
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (12) : 1962 - 1994
[34] Transfer principles in nonstandard intuitionistic arithmetic
Avigad, J
Helzner, J
[J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2002, 41 (06) : 581 - 602
[35] Transfer principles in nonstandard intuitionistic arithmetic
J. Avigad
J. Helzner
[J]. Archive for Mathematical Logic, 2002, 41 : 581 - 602
[36] An effective conservation result for nonstandard arithmetic
Palmgren, E
[J]. MATHEMATICAL LOGIC QUARTERLY, 2000, 46 (01) : 17 - 23
[37] HILBERT IRREDUCIBILITY SEQUENCES AND NONSTANDARD ARITHMETIC
YASUMOTO, M
[J]. JOURNAL OF NUMBER THEORY, 1987, 26 (03) : 274 - 285
[38] NONSTANDARD ARITHMETIC OF POLYNOMIAL-RINGS
YASUMOTO, M
[J]. NAGOYA MATHEMATICAL JOURNAL, 1987, 105 : 33 - 37
[39] COMPUTABLE ALGEBRAIC STRUCTURES AND NONSTANDARD ARITHMETIC
MADISON, EW
[J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1968, 130 (01) : 38 - &
[40] A note on non-classical nonstandard arithmetic
Sanders, Sam
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2019, 170 (04) : 427 - 445

← 1 2 3 4 5 →