Automorphisms of models of true arithmetic: Recognizing some basic open subgroups

DOI10.1305/ndjfl/1040609291zbMath0824.03016MaRDI QIDQ1333303

Henryk Kotlarski, Richard W. Kaye

Publication date: 9 November 1995

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1040609291

zbMATH Keywords

topological group; automorphism group; models of arithmetic; basic subgroups; true arithmetic

Mathematics Subject Classification ID

03C62: Models of arithmetic and set theory

20B27: Infinite automorphism groups

Related Items

Automorphisms of Models of True Arithmetic: Subgroups which Extend to a Maximal Subgroup Uniquely, Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts, On maximal subgroups of the automorphism group of a countable recursively saturated model of PA, Infinitary definitions of equivalence relations in models of PA, Automorphisms of countable recursively saturated models of PA: A survey, AUTOMORPHISM GROUPS OF SATURATED MODELS OF PEANO ARITHMETIC

Cites Work

• Automorphisms of recursively saturated models of arithmetic
• On maximal subgroups of the automorphism group of a countable recursively saturated model of PA
• On elementary cuts in recursively saturated models of Peano Arithmetic
• Models and types of Peano's arithmetic
• The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic
• Unnamed Item
• Unnamed Item
• Unnamed Item