On automorphisms of models of Peano arithmetic

Authors

Ermek S Nurkhaidarov, University of Connecticut

Date of Completion

January 2004

Keywords

Mathematics

Degree

Ph.D.

Abstract

When studying the automorphism group Aut(M) of a model M, one is interested to what extent M is recoverable from Aut(M). We show that if M is a countable arithmetically saturated of Peano Arithmetic, then Aut(M) can recognize if a maximal open subgroup is a stabilizer of a nonstandard element, which is smaller than any nonstandard definable element. ^ We use that fact to show that if M₁, M₂ are countable arithmetically saturated models of Peano Arithmetic such that Aut(M₁) ≅ Aut( M₂), then (ω, Rep(Th(M₁))) ⊨RTⁿ 2 iff (ω, Rep(Th(M₂)) ⊨RTⁿ 2 . Here: RTⁿ2 is Ramsey's Theorem stating that every 2-coloring of [ω] ⁿ has an infinite homogeneous set; and if T ⊃ PA is a complete and consistent theory, then we define Rep(T) = {ω ∩ X : X is a definable set in a prime model of T}. ^ Using this result we show the existence of countable arithmetically saturated models M₀, M₁, M₂, M₃ of Peano Arithmetic such that they have the same standard system and Aut(M_i) ≇ Aut(M_j), where i < j < 4. ^ We also show the similar results for saturated models of Peano Arithmetic of cardinality ℵ1 . ^

Recommended Citation

Nurkhaidarov, Ermek S, "On automorphisms of models of Peano arithmetic" (2004). Doctoral Dissertations. AAI3144603.
https://digitalcommons.lib.uconn.edu/dissertations/AAI3144603