共 50 条
- [2] Remarks on Peano arithmetic [J]. RUSSELL-THE JOURNAL OF THE BERTRAND RUSSELL ARCHIVES, 2000, 20 (01): : 27 - 32
- [4] SATURATION OF PEANO MODELS [J]. COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1980, 290 (08): : 351 - 353
- [10] Automorphism groups of models of Peano arithmetic [J]. JOURNAL OF SYMBOLIC LOGIC, 2002, 67 (04) : 1249 - 1264