Pages that link to "Item:Q1354336"

The following pages link to On two questions concerning the automorphism groups of countable recursively saturated models of PA (Q1354336):

Displaying 16 items.

• Truth in generic cuts (Q636338) (← links)
• Automorphisms of models of arithmetic: a unified view (Q866555) (← links)
• Automorphisms of countable short recursively saturated models of PA (Q1049737) (← links)
• Automorphisms of countable recursively saturated models of PA: A survey (Q1913626) (← links)
• Automorphism groups of decidable models (Q1918792) (← links)
• Automorphism groups of countable arithmetically saturated models of Peano arithmetic (Q2795926) (← 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)
• Revealed automorphisms (Q3981829) (← links)
• The Automorphism Group of a Countable Recursively Saturated Structure (Q4024969) (← links)
• Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts (Q4323838) (← links)
• On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic (Q4366132) (← links)
• Automorphism groups of models of Peano arithmetic (Q4451717) (← links)
• (Q4656807) (← links)
• Automorphisms of models of true arithmetic: More on subgroups which extend to a maximal one uniquely (Q4939406) (← links)
• Automorphism groups of arithmetically saturated models (Q5477630) (← links)