On maximal subgroups of the automorphism group of a countable recursively saturated model of PA

DOI10.1016/0168-0072(93)90035-CzbMath0796.03043MaRDI QIDQ1314639

James H. Schmerl, Henryk Kotlarski, Roman Kossak

Publication date: 26 September 1994

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

automorphism groupmodels of arithmeticmaximal subgrouppointwise stabilizerminimal type2-indiscernible typecountable recursively saturated model of PAmaximal stabilizersselective type

Mathematics Subject Classification ID

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

Related Items (10)

Automorphisms of models of true arithmetic: Recognizing some basic open subgroups ⋮ Automorphisms of countable recursively saturated models of PA: A survey ⋮ Four problems concerning recursively saturated models of arithmetic ⋮ Arithmetically saturated models of arithmetic ⋮ 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 ⋮ A Galois correspondence for countable short recursively saturated models of PA ⋮ On cofinal submodels and elementary interstices ⋮ Decoding in the automorphism group of a recursively saturated model of arithmetic

Cites Work

• A note on initial segment constructions in recursively saturated models of arithmetic
• Ultrafilters and types on models of arithmetic
• Automorphisms of recursively saturated models of arithmetic
• Automorphisms of models of true arithmetic: Recognizing some basic open subgroups
• On elementary cuts in recursively saturated models of Peano Arithmetic
• Models and types of Peano's arithmetic
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On maximal subgroups of the automorphism group of a countable recursively saturated model of PA