Pages that link to "Item:Q1203781"

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

Displaying 3 items.

• 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)
• The Interpretation Existence Lemma (Q5214783) (← links)