Pages that link to "Item:Q800912"

The following pages link to Recursively saturated \(\omega _ 1\)-like models of arithmetic (Q800912):

Displaying 9 items.

• Automorphisms of recursively saturated models of arithmetic (Q1182432) (← links)
• Four problems concerning recursively saturated models of arithmetic (Q1913627) (← links)
• The theory of \(\kappa\)-like models of arithmetic (Q1913629) (← links)
• $L_{∞ ω_1}-elementary equivalence of $ω_1$-like models of PA (Q3335766) (← links)
• Recursively saturated nonstandard models of arithmetic; addendum (Q3342574) (← links)
• <i>ω</i>₁-like recursively saturated models of Presburger's arithmetic (Q3758816) (← links)
• Models with the <i>ω</i>-property (Q3822164) (← links)
• ?-saturated quasi-minimal models of Th(??, +,?, 0) (Q4680371) (← links)
• Incomparable ω₁‐like models of set theory (Q5108089) (← links)