共 50 条
- [2] Automorphism groups of models of Peano arithmetic [J]. JOURNAL OF SYMBOLIC LOGIC, 2002, 67 (04) : 1249 - 1264
- [5] The automorphism group of an arithmetically saturated model of Peano Arithmetic [J]. JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, 1995, 52 : 235 - 244
- [6] THE RECURSIVELY SATURATED PART OF MODELS OF PEANO ARITHMETIC [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1986, 32 (04): : 365 - 370
- [8] Some highly saturated models of Peano arithmetic [J]. JOURNAL OF SYMBOLIC LOGIC, 2002, 67 (04) : 1265 - 1273