Pages that link to "Item:Q286696"

The following pages link to End extensions of models of weak arithmetic theories (Q286696):

Displaying 3 items.

• End extensions of models of fragments of \(\mathrm{PA}\) (Q2204367) (← links)
• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
• MARGINALIA ON A THEOREM OF WOODIN (Q5738208) (← links)