On a Problem of J. Paris

DOI10.1093/LOGCOM/EXM036zbMATH Open1137.03032OpenAlexW1982846654MaRDI QIDQ5441123FDOQ5441123

Authors:

Publication date: 7 February 2008

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exm036

Recommendations

• On axiom schemes for \(T\)-provably \(\Delta_1\) formulas
• Bounded existential induction
• A simple proof of Parsons' theorem
• A note on Δ₁induction and Σ₁collection
• Toward the limits of the Tennenbaum phenomenon
• Provably recursive functions in fragments of Peano arithmetic
• Σ_{𝑛}-bounding and Δ_{𝑛}-induction
• scientific article; zbMATH DE number 4072964
• On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories
• Bounded Induction and Satisfaction Classes

zbMATH Keywords

collectioninductionfragments of Peano arithmeticend extension

Mathematics Subject Classification ID

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

Cited In (5)

• Weak forms of the Regularity Principle in the presence of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\bf {\mathsf {I}{\mathrm{E}}_1}$\end{document}
• A note on Σ₁-maximal models
• A note on Δ₁induction and Σ₁collection
• On axiom schemes for \(T\)-provably \(\Delta_1\) formulas
• Toward the limits of the Tennenbaum phenomenon

This page was built for publication: On a Problem of J. Paris

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