Pages that link to "Item:Q866555"

The following pages link to Automorphisms of models of arithmetic: a unified view (Q866555):

Displaying 9 items.

• Rank-initial embeddings of non-standard models of set theory (Q781504) (← links)
• Automorphisms of recursively saturated models of arithmetic (Q1182432) (← links)
• Iterated ultrapowers for the masses (Q1661675) (← links)
• Fixed points of self-embeddings of models of arithmetic (Q1709680) (← links)
• Models of arithmetic in \(A\)-isols (Q1803012) (← links)
• The Complexity of Classification Problems for Models of Arithmetic (Q3163661) (← links)
• A Galois correspondence for countable short recursively saturated models of PA (Q3566942) (← links)
• Model companions of theories with an automorphism (Q4527921) (← links)
• Self-embeddings of models of arithmetic; fixed points, small submodels, and extendability (Q6642874) (← links)