Pages that link to "Item:Q1182432"

The following pages link to Automorphisms of recursively saturated models of arithmetic (Q1182432):

Displaying 32 items.

• Rank-initial embeddings of non-standard models of set theory (Q781504) (← links)
• Automorphisms of models of arithmetic: a unified view (Q866555) (← links)
• Automorphisms of countable short recursively saturated models of PA (Q1049737) (← links)
• On maximal subgroups of the automorphism group of a countable recursively saturated model of PA (Q1314639) (← links)
• Automorphisms of models of true arithmetic: Recognizing some basic open subgroups (Q1333303) (← links)
• Infinitary definitions of equivalence relations in models of PA (Q1377633) (← links)
• More automorphism groups of countable, arithmetically saturated models of Peano arithmetic (Q1633892) (← links)
• Iterated ultrapowers for the masses (Q1661675) (← links)
• Fixed points of self-embeddings of models of arithmetic (Q1709680) (← links)
• Transplendent models: expansions omitting a type (Q1762364) (← links)
• Automorphisms of countable recursively saturated models of PA: A survey (Q1913626) (← links)
• Four problems concerning recursively saturated models of arithmetic (Q1913627) (← links)
• Arithmetically saturated models of arithmetic (Q1913628) (← links)
• Automorphism groups of countable arithmetically saturated models of Peano arithmetic (Q2795926) (← links)
• The Complexity of Classification Problems for Models of Arithmetic (Q3163661) (← links)
• Recursively saturated nonstandard models of arithmetic; addendum (Q3342574) (← links)
• Interstitial and pseudo gaps in models of Peano Arithmetic (Q3552397) (← links)
• A Galois correspondence for countable short recursively saturated models of PA (Q3566942) (← links)
• Results on automorphisms of recursively saturated models of PA (Q3812219) (← links)
• The Automorphism Group of a Countable Recursively Saturated Structure (Q4024969) (← links)
• Automorphisms moving all non-algebraic points and an application to NF (Q4227868) (← links)
• Automorphisms of Models of True Arithmetic: Subgroups which Extend to a Maximal Subgroup Uniquely (Q4304154) (← links)
• Automorphism groups of models of Peano arithmetic (Q4451717) (← links)
• Automorphism group actions on trees (Q4458703) (← links)
• Model companions of theories with an automorphism (Q4527921) (← links)
• (Q4656807) (← links)
• The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic (Q4864048) (← links)
• Automorphisms of models of true arithmetic: More on subgroups which extend to a maximal one uniquely (Q4939406) (← links)
• Decoding in the automorphism group of a recursively saturated model of arithmetic (Q5258479) (← links)
• Automorphism groups of arithmetically saturated models (Q5477630) (← links)
• Closed normal subgroups of the automorphism group of a saturated model of Peano arithmetic (Q5963203) (← links)
• Self-embeddings of models of arithmetic; fixed points, small submodels, and extendability (Q6642874) (← links)