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

DOI10.1305/ndjfl/1040609291zbMath0824.03016OpenAlexW1976171555MaRDI 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 groupautomorphism groupmodels of arithmeticbasic subgroupstrue arithmetic

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Infinite automorphism groups (20B27)

Related Items (6)

AUTOMORPHISM GROUPS OF SATURATED MODELS OF PEANO ARITHMETIC ⋮ Automorphisms of countable recursively saturated models of PA: A survey ⋮ Infinitary definitions of equivalence relations in models of PA ⋮ 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

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

This page was built for publication: Automorphisms of models of true arithmetic: Recognizing some basic open subgroups