Pages that link to "Item:Q1182707"

The following pages link to Minimal satisfaction classes with an application to rigid models of Peano arithmetic (Q1182707):

Displaying 12 items.

• Undefinability of truth and nonstandard models (Q598273) (← links)
• Automorphisms of recursively saturated models of arithmetic (Q1182432) (← links)
• Automorphisms of countable recursively saturated models of PA: A survey (Q1913626) (← links)
• Four problems concerning recursively saturated models of arithmetic (Q1913627) (← links)
• Full satisfaction classes, definability, and automorphisms (Q2153826) (← links)
• A note on satisfaction classes (Q2266714) (← links)
• $L_{∞ ω_1}-elementary equivalence of $ω_1$-like models of PA (Q3335766) (← links)
• Models of : when two elements are necessarily order automorphic (Q3460521) (← links)
• Nonstandard characterizations of recursive saturation and resplendency (Q3786482) (← links)
• ITERATIONS OF SATISFACTION CLASSES AND MODELS OF PEANO ARITHMETIC (Q4295209) (← links)
• Automorphism groups of models of Peano arithmetic (Q4451717) (← links)
• UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS (Q5501767) (← links)