Pages that link to "Item:Q403405"
From MaRDI portal
The following pages link to Subsets coded in elementary end extensions (Q403405):
Displaying 5 items.
- Subsets of models of arithmetic (Q1311429) (← links)
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
- Minimal elementary end extensions (Q2402959) (← links)
- Neutrally expandable models of arithmetic (Q5108857) (← links)
- MARGINALIA ON A THEOREM OF WOODIN (Q5738208) (← links)