More Automorphism Groups of Countable, Arithmetically Saturated Models of Peano Arithmetic
More Automorphism Groups of Countable, Arithmetically Saturated Models of Peano Arithmetic is a scholarly work, published in 2018 in ''Notre Dame Journal of Formal Logic''. The main subjects of the publication include arithmetic, Peano axioms, automorphism group, automata theory, model theory, computational complexity theory, set, countably infinite set, discrete mathematics, automorphism, mathematics, and second-order arithmetic. There is an infinite set ${\\mathcal{T}}$ of Turing-equivalent completions of Peano Arithmetic ( $\\mathsf{PA}$ ) such that whenever ${\\mathcal{M}}$ and ${\\mathcal{N}}$ are nonisomorphic countable, arithmetically saturated models of $\\mathsf{PA}$ and $\\operatorname{Th}({\\mathcal{M}})$ , $\\operatorname{Th}({\\mathcal{N}})\\in{\\mathcal{T}}$ , then $\\operatorname{Aut}({\\mathcal{M}})\\ncong\\operatorname{Aut}({\\mathcal{N}})$ .