Pages that link to "Item:Q1123890"
From MaRDI portal
The following pages link to On the structure of initial segments of models of arithmetic (Q1123890):
Displaying 9 items.
- Theories of initial segments of standard models of arithmetics and their complete extensions (Q549718) (← links)
- A sharpened version of McAloon's theorem on initial segments of models of \(I\Delta_ 0\) (Q685068) (← links)
- Finitary consistency of a free arithmetic (Q797576) (← links)
- Inconsistent models of arithmetic. I: Finite models (Q1362598) (← links)
- Models of arithmetic in \(A\)-isols (Q1803012) (← links)
- EXISTENTIALLY CLOSED MODELS IN THE FRAMEWORK OF ARITHMETIC (Q3188343) (← links)
- An addition to Rosser's theorem (Q4879914) (← links)
- Strong initial segments of models of IΔ<sub>0</sub> (Q5295064) (← links)
- Injecting inconsistencies into models of PA (Q5916455) (← links)