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