Pages that link to "Item:Q3666851"
From MaRDI portal
The following pages link to Models of arithmetic and closed ideals (Q3666851):
Displaying 6 items.
- Representing Scott sets in algebraic settings (Q494652) (← links)
- A standard model of Peano arithmetic with no conservative elementary extension (Q998319) (← links)
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
- Proper and piecewise proper families of reals (Q3184219) (← links)
- Degrees of Recursively Saturated Models (Q3222194) (← links)
- Models of PA: Standard Systems without Minimal Ultrafilters (Q5379655) (← links)