Recommendations
Cited in
(26)- Overspill and fragments of arithmetic
- Fermat's last theorem and Bezout's theorem in GCD domains
- On the diophantine equation \(x^{10}{\pm{}}y^{10}=z^ 2\)
- The joint embedding property in normal open induction
- Bounded recursively enumerable sets and degrees
- Toward the limits of the Tennenbaum phenomenon
- A note on recursive models of set theories
- Well-behaved principles alternative to bounded induction
- Pell equations and exponentiation in fragments of arithmetic
- Real closures of models of weak arithmetic
- Algebraic combinatorics in bounded induction
- Pell Equations and Weak Regularity Principles
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08
- On the structure of models of bounded $E\sb 1$-induction
- Nonstandard Models for a Fragment of the Arithmetic and Their Decision Problem
- L'arithmétique ouverte et ses modèles non-standards
- 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}
- Parity Games and Propositional Proofs
- On a Problem of J. Paris
- Diophantine induction
- Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts
- 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\)
- Hilbert's tenth problem for weak theories of arithmetic
- Analogues of Shepherdson's theorem for a language with exponentiation
- The Skolem-Bang theorems in ordered fields with an IP
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)
