Pages that link to "Item:Q3682483"
From MaRDI portal
The following pages link to On the structure of models of bounded $E\sb 1$-induction (Q3682483):
Displaying 10 items.
- Diophantine induction (Q584258) (← links)
- A sharpened version of McAloon's theorem on initial segments of models of \(I\Delta_ 0\) (Q685068) (← links)
- New models of bounded induction axioms (Q937904) (← links)
- Toward the limits of the Tennenbaum phenomenon (Q1377555) (← links)
- On Grzegorczyk induction (Q1892940) (← links)
- EXISTENTIALLY CLOSED MODELS IN THE FRAMEWORK OF ARITHMETIC (Q3188343) (← links)
- A Note on a Theorem of H. FRIEDMAN (Q3753990) (← links)
- L'arithmétique ouverte et ses modèles non-standards (Q3984444) (← links)
- (Q4035302) (← links)
- A criterion for existence of right‐induced model structures (Q5229528) (← links)