Pages that link to "Item:Q1203781"

The following pages link to End extensions of models of arithmetic (Q1203781):

Displaying 13 items.

• Subsets coded in elementary end extensions (Q403405) (← links)
• Theories of initial segments of standard models of arithmetics and their complete extensions (Q549718) (← links)
• A standard model of Peano arithmetic with no conservative elementary extension (Q998319) (← links)
• On cofinal extensions of models of fragments of arithmetic (Q1182708) (← links)
• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
• Duality, non-standard elements, and dynamic properties of r.e. sets (Q2630829) (← links)
• End extending models of set theory via power admissible covers (Q2672157) (← links)
• Blunt and topless end extensions of models of set theory (Q3322082) (← links)
• On cofinal extensions of models of arithmetic (Q3322105) (← links)
• Chains of end elementary extensions of models of set theory (Q4227883) (← links)
• The Interpretation Existence Lemma (Q5214783) (← links)
• MARGINALIA ON A THEOREM OF WOODIN (Q5738208) (← links)
• On end extensions of models of subsystems of Peano arithmetic (Q5941254) (← links)