Bounded existential induction
From MaRDI portal
Publication:3772192
Recommendations
Cited in
(24)- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08
- A note on recursive models of set theories
- The joint embedding property in normal open induction
- Well-behaved principles alternative to bounded induction
- Nonstandard Models for a Fragment of the Arithmetic and Their Decision Problem
- Toward the limits of the Tennenbaum phenomenon
- Bounded recursively enumerable sets and degrees
- Parity Games and Propositional Proofs
- Fermat's last theorem and Bezout's theorem in GCD domains
- On the diophantine equation \(x^{10}{\pm{}}y^{10}=z^ 2\)
- Hilbert's tenth problem for weak theories of arithmetic
- Pell equations and exponentiation in fragments of arithmetic
- An analysis of Tennenbaum's theorem in constructive type theory
- A sharpened version of McAloon's theorem on initial segments of models of \(I\Delta_ 0\)
- On the structure of models of bounded $E\sb 1$-induction
- 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}
- Diophantine induction
- Overspill and fragments of arithmetic
- The Skolem-Bang theorems in ordered fields with an IP
- Algebraic combinatorics in bounded induction
- Real closures of models of weak arithmetic
- Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts
- Pell Equations and Weak Regularity Principles
- On a Problem of J. Paris
This page was built for publication: Bounded existential induction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3772192)