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}
From MaRDI portal
Publication:4915222
DOI10.1002/malq.201100100zbMath1264.03123OpenAlexW1991354632MaRDI QIDQ4915222
Publication date: 9 April 2013
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.201100100
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Diophantine induction
- The Skolem-Bang theorems in ordered fields with an IP
- Pell equations and exponentiation in fragments of arithmetic
- On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories
- The Pigeonhole Principle and Fragments of Arithmetic
- Regularity in models of arithmetic
- Bounded existential induction
- Parameter-Free Universal Induction
- Σ_{𝑛}-bounding and Δ_{𝑛}-induction
- On Overspill Principles and Axiom Schemes for Bounded Formulas
