On the structure of models of bounded E\sb 1-induction

DOI10.21136/CPM.1984.118206MaRDI QIDQ3682483zbMATH OpenOpenAlexFDO

Authors Jeff Paris

Publication date 1984

Full work available at URL https://eudml.org/doc/21572

zbMATH Keywords

fragments of arithmeticinductionmodels of arithmeticproof theory

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15)

Recommendations

• Bounded existential induction
• Strong initial segments of models of IΔ₀
• End-extending models of IΔ_0 + exp + ΒΣ_1
• L'arithmétique ouverte et ses modèles non-standards
• Diophantine induction

Cited in

(13)

• Toward the limits of the Tennenbaum phenomenon
• On Grzegorczyk induction
• Existentially closed models in the framework of arithmetic
• A recursive model for arithmetic with weak induction
• A Note on a Theorem of H. FRIEDMAN
• Bounded existential induction
• L'arithmétique ouverte et ses modèles non-standards
• scientific article; zbMATH DE number 176198 (Why is no real title available?)
• Trois theoremes sur l'induction pour les formules ouvertes munies de l'exponentielle
• A criterion for existence of right‐induced model structures
• Diophantine induction
• A sharpened version of McAloon's theorem on initial segments of models of \(I\Delta_ 0\)
• New models of bounded induction axioms

This page was built for publication: On the structure of models of bounded $E\sb 1$-induction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3682483)