Pages that link to "Item:Q1182432"

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

Displaying 20 items.

• Rank-initial embeddings of non-standard models of set theory (Q781504) (← links)
• Automorphisms of models of arithmetic: a unified view (Q866555) (← 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)
• Interstitial and pseudo gaps in models of Peano Arithmetic (Q3552397) (← links)
• A Galois correspondence for countable short recursively saturated models of PA (Q3566942) (← links)
• Automorphisms moving all non-algebraic points and an application to NF (Q4227868) (← links)
• Automorphism groups of models of Peano arithmetic (Q4451717) (← links)
• Decoding in the automorphism group of a recursively saturated model of arithmetic (Q5258479) (← links)
• Automorphism groups of arithmetically saturated models (Q5477630) (← links)