The following pages link to Subsets of models of arithmetic (Q1311429):
Displaying 9 items.
- Subsets coded in elementary end extensions (Q403405) (← links)
- Submodels and definable points in models of Peano arithmetic (Q797573) (← links)
- Minimal elementary extensions of models of set theory and arithmetic (Q810502) (← links)
- On the structure of initial segments of models of arithmetic (Q1123890) (← links)
- Models of arithmetic in \(A\)-isols (Q1803012) (← 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)
- (Q5222088) (← links)
- (Q5711875) (← links)
