Automorphisms of recursively saturated models of arithmetic

DOI10.1016/0168-0072(91)90098-7MaRDI QIDQ1182432zbMATH OpenOpenAlexFDO

Authors Roman Kossak, Henryk Kotlarski, Richard Kaye

Publication date 28 June 1992

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

Full work available at URL https://doi.org/10.1016/0168-0072(91)90098-7

zbMATH Keywords

automorphism groupinitial segmentscountable recursively saturated models of PA

Mathematics Subject Classification ID

Model theory of denumerable and separable structures (03C15) Models of arithmetic and set theory (03C62)

Recommendations

• Automorphisms of saturated and boundedly saturated models of arithmetic
• Automorphisms of models of bounded arithmetic
• scientific article; zbMATH DE number 2144534
• Automorphisms of models of arithmetic: a unified view
• Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets
• Automorphism groups of arithmetically saturated models
• ON AUTOMORPHISMS OF RESPLENDENT MODELS OF ARITHMETIC
• On M-recursively saturated models of arithmetic
• Results on automorphisms of recursively saturated models of PA
• Automorphisms of countable recursively saturated models of PA: A survey

Cites work

• scientific article; zbMATH DE number 4010521 (Why is no real title available?)
• scientific article; zbMATH DE number 3745167 (Why is no real title available?)
• 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 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 3566838 (Why is no real title available?)
• scientific article; zbMATH DE number 4121974 (Why is no real title available?)
• scientific article; zbMATH DE number 3372013 (Why is no real title available?)
• ω₁-like recursively saturated models of Presburger's arithmetic
• A Note on Real Subsets of A Recursively Saturated Model
• Discernible elements in models for Peano arithmetic
• Infinite permutation groups. II: Subgroups of small index
• Minimal satisfaction classes with an application to rigid models of Peano arithmetic
• Models and types of Peano's arithmetic
• Models with the ω-property
• On cofinal extensions of models of arithmetic
• On elementary cuts in models of arithmetic
• On elementary cuts in recursively saturated models of Peano Arithmetic
• Recursively saturated \(\omega _ 1\)-like models of arithmetic
• Recursively saturated models generated by indiscernibles
• Recursively saturated nonstandard models of arithmetic
• Results on automorphisms of recursively saturated models of PA
• Some remarks on initial segments in models of Peano arithmetic
• The Automorphism Group of a Countable Recursively Saturated Structure
• Toward model theory through recursive saturation

Cited in

(34)

• Automorphism groups of countable arithmetically saturated models of Peano arithmetic
• scientific article; zbMATH DE number 663795 (Why is no real title available?)
• Closed normal subgroups of the automorphism group of a saturated model of Peano arithmetic
• Fixed points of self-embeddings of models of arithmetic
• A Galois correspondence for countable short recursively saturated models of PA
• Automorphisms of countable short recursively saturated models of PA
• Model companions of theories with an automorphism
• Automorphisms of models of true arithmetic: Recognizing some basic open subgroups
• More automorphism groups of countable, arithmetically saturated models of Peano arithmetic
• scientific article; zbMATH DE number 663796 (Why is no real title available?)
• Rank-initial embeddings of non-standard models of set theory
• The Automorphism Group of a Countable Recursively Saturated Structure
• Recursively saturated nonstandard models of arithmetic; addendum
• Arithmetically saturated models of arithmetic
• 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
• Self-embeddings of models of arithmetic; fixed points, small submodels, and extendability
• Automorphisms moving all non-algebraic points and an application to NF
• Iterated ultrapowers for the masses
• Transplendent models: expansions omitting a type
• Decoding in the automorphism group of a recursively saturated model of arithmetic
• scientific article; zbMATH DE number 1406466 (Why is no real title available?)
• Four problems concerning recursively saturated models of arithmetic
• The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic
• Automorphism groups of models of Peano arithmetic
• Infinitary definitions of equivalence relations in models of PA
• Automorphism groups of arithmetically saturated models
• The complexity of classification problems for models of arithmetic
• Automorphisms of models of arithmetic: a unified view
• Interstitial and pseudo gaps in models of Peano arithmetic
• Results on automorphisms of recursively saturated models of PA
• Automorphism group actions on trees
• scientific article; zbMATH DE number 2144534 (Why is no real title available?)
• scientific article; zbMATH DE number 663792 (Why is no real title available?)

This page was built for publication: Automorphisms of recursively saturated models of arithmetic

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