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

DOI10.1305/NDJFL/1040609291MaRDI QIDQ1333303zbMATH OpenOpenAlexFDO

Authors Henryk Kotlarski, Richard 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

automorphism grouptopological groupmodels of arithmetictrue arithmeticbasic subgroups

Mathematics Subject Classification ID

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

Recommendations

• Automorphisms of recursively saturated models of arithmetic
• Automorphisms of Models of True Arithmetic: Subgroups which Extend to a Maximal Subgroup Uniquely
• Publication:4939406

Cites work

• scientific article; zbMATH DE number 3792159 (Why is no real title available?)
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 663796 (Why is no real title available?)
• Automorphisms of recursively saturated models of arithmetic
• Models and types of Peano's arithmetic
• On elementary cuts in recursively saturated models of Peano Arithmetic
• On maximal subgroups of the automorphism group of a countable recursively saturated model of PA
• The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic

Cited in

(9)

• Automorphisms of Models of True Arithmetic: Subgroups which Extend to a Maximal Subgroup Uniquely
• Automorphisms of countable recursively saturated models of PA: A survey
• On maximal subgroups of the automorphism group of a countable recursively saturated model of PA
• scientific article; zbMATH DE number 1406466 (Why is no real title available?)
• Simplicity of some automorphism groups.
• Infinitary definitions of equivalence relations in models of PA
• Automorphism groups of saturated models of Peano arithmetic
• Automorphisms of models of arithmetic: a unified view
• Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1333303)