On a Problem of J. Paris

DOI10.1093/LOGCOM/EXM036zbMath1137.03032OpenAlexW1982846654MaRDI QIDQ5441123

No author found.

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

zbMATH Keywords

collectioninductionend extensionfragments of Peano arithmetic

Mathematics Subject Classification ID

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

Related Items (2)

On axiom schemes for \(T\)-provably \(\Delta_1\) formulas ⋮ 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}

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