Skip to main content Accessibility help
×
Home

AUTOMORPHISM GROUPS OF SATURATED MODELS OF PEANO ARITHMETIC

  • ERMEK S. NURKHAIDAROV (a1) and JAMES H. SCHMERL (a2)

Abstract

Let κ be the cardinality of some saturated model of Peano Arithmetic. There is a set of ${2^{{\aleph _0}}}$ saturated models of PA, each having cardinality κ, such that whenever M and N are two distinct models from this set, then Aut( ${\cal M}$ ) ≇ Aut ( $${\cal N}$$ ).

Copyright

References

Hide All
[1]Bamber, Nicholas and Kotlarski, Henryk, On interstices of countable arithmetically saturated models of Peano arithmetic. Mathematical Logic Quarterly, vol. 43 (1997), pp. 525540.
[2]Kaye, Richard, A Galois correspondence for countable recursively saturated models of Peano arithmetic, Automorphisms of first-order structures (Kaye, Richard and Macpherson, Dugald, editors), Oxford University Press, New York, 1994, pp. 293312.
[3]Kaye, Richard and Macpherson, Dugald, Automorphisms of first-order structures, Oxford University Press, New York, 1994.
[4]Kossak, Roman and Schmerl, James H., The automorphism group of an arithmetically saturated model of Peano arithmetic. Journal of the London Mathematical Society, vol. 52 (1995), no. 2, pp. 235244.
[5]Kossak, Roman and Schmerl, James H., Arithmetically saturated models of arithmetic. Notre Dame Journal of Formal Logic, vol. 36 (1995), pp. 531546.
[6]Kossak, Roman and Schmerl, James H., The structure of models of Peano arithmetic, Oxford University Press, Oxford, 2006.
[7]Kotlarski, Henryk and Kaye, Richard, Automorphisms of models of true arithmetic: Recognizing some basic open subgroups. Notre Dame Journal of Formal Logic, vol. 35 (1994), pp. 114.
[8]Lascar, Daniel, The small index property and recursively saturated models of Peano arithmetic, Automorphisms of first-order structures (Kaye, Richard and Macpherson, Dugald, editors), Oxford University Press, New York, 1994, pp. 281292.
[9]Lascar, Daniel, The group of automorphisms of a relational saturated structure, Finite and infinite combinatorics in sets and logic (Banff, AB, 1991), NATO Adv. Sci. Inst. Series C Mathematical Physical Sciences, vol. 411, Kluwer Academic Publisher, Dordrecht, 1993, pp. 225236.
[10]Lascar, Daniel and Shelah, Saharon, Uncountable saturated structures have the small index property. Bulletin of the London Mathematical Society, vol. 25 (1993), pp. 125131.
[11]Melles, Garvin and Shelah, Saharon, A saturated model of an unsuperstable theory of cardinality greater than its theory has the small index property. Proceedings of the London Mathematical Society, vol. 69 (1994), no. 3, pp. 449463.
[12]Nurkhaidarov, Ermek S., Automorphism groups of arithmetically saturated models, this Journal, vol. 71 (2006), pp. 203216.
[13]Nurkhaidarov, Ermek S. and Shochat, Erez, Automorphisms of saturated and boundedly saturated models of arithmetic. Notre Dame Journal of Formal Logic, vol. 52 (2011), pp. 315329.
[14]Nurkhaidarov, Ermek S. and Shochat, Erez, Closed normal subgroups of the automorphism group of a saturated model of Peano Arithmetic. Notre Dame Journal of Formal Logic (forthcoming).
[15]Odifreddi, P. G., Classical recursion theory, vol. II, Studies in Logic and the Foundations of Mathematics, vol. 143, North-Holland Publishing Company, Amsterdam, 1999.
[16]Scott, Dana, Algebras of sets binumerable in complete extensions of arithmetic, Recursive function theory (Dekker, J. C. E., editor), Proceeding of symposia in pure mathematics, vol. V, American Mathematical Society, Providence, 1962, pp. 117122.
[17]Slaman, T. A. and Woodin, W. H., Definability in degree structures, unpublished manuscript.
[18]Smoryński, Craig, Back-and-forth inside a recursively saturated model of arithmetic, Logic colloquium ’80 (Dalen, D. van, editor), North-Holland, Amsterdam, 1982, pp. 273278.

Keywords

AUTOMORPHISM GROUPS OF SATURATED MODELS OF PEANO ARITHMETIC

  • ERMEK S. NURKHAIDAROV (a1) and JAMES H. SCHMERL (a2)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed