Pages that link to "Item:Q685068"
From MaRDI portal
The following pages link to A sharpened version of McAloon's theorem on initial segments of models of \(I\Delta_ 0\) (Q685068):
Displaying 4 items.
- Algebraic combinatorics in bounded induction (Q2216029) (← links)
- HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC (Q5024504) (← links)
- Strong initial segments of models of IΔ<sub>0</sub> (Q5295064) (← links)
- MARGINALIA ON A THEOREM OF WOODIN (Q5738208) (← links)