共 50 条
- [41] On external Scott algebras in nonstandard models of Peano arithmeticJOURNAL OF SYMBOLIC LOGIC, 1996, 61 (02) : 586 - 607Kanovei, V
- [42] POINTWISE DEFINABLE MODELS OF ARITHMETIC AND SET-THEORYNOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (04): : A447 - A447SIMPSON, SG
- [43] ON EXPANDABILITY OF MODELS OF PEANO ARITHMETIC TO MODELS OF THE ALTERNATIVE SET-THEORYJOURNAL OF SYMBOLIC LOGIC, 1992, 57 (02) : 452 - 460TZOUVARAS, A
- [44] Cyclic Arithmetic Is Equivalent to Peano ArithmeticFOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2017), 2017, 10203 : 283 - 300Simpson, Alex
- [45] Remarks on Peano arithmeticRUSSELL-THE JOURNAL OF THE BERTRAND RUSSELL ARCHIVES, 2000, 20 (01): : 27 - 32Sayward, C
- [46] NOTES ON PEANO ARITHMETICZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1976, 22 (05): : 431 - 436FRIEDRICHSDORF, U
- [48] AUTOMORPHISM GROUPS OF COUNTABLE ARITHMETICALLY SATURATED MODELS OF PEANO ARITHMETICJOURNAL OF SYMBOLIC LOGIC, 2015, 80 (04) : 1411 - 1434Schmerl, James H.
- [49] Peano and the Foundations of ArithmeticGIUSEPPE PEANO BETWEEN MATHEMATICS AND LOGIC, 2011, : 47 - 66Lolli, Gabriele
- [50] THE BASS-MILNOR-SERRE THEOREM FOR NONSTANDARD MODELS IN PEANO ARITHMETICJOURNAL OF SYMBOLIC LOGIC, 1993, 58 (04) : 1451 - 1458KHELIF, A