Publication:5341750
From MaRDI portal
zbMath0132.24701MaRDI QIDQ5341750
Publication date: 1964
Related Items
Factorization in generalized power series, 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}, Schatunowsky's theorem, Bonse's inequality, and Chebyshev's theorem in weak fragments of Peano arithmetic, The mathematical significance of proof theory, Intuitionistic open induction and least number principle and the Buss operator, Division by zero, The strength of sharply bounded induction requires MSP, Bootstrapping. I, Limit computable integer parts, Hilbert's tenth problem for weak theories of arithmetic, Root finding with threshold circuits, Independence results for variants of sharply bounded induction, Diophantine equations in fragments in arithmetic, Primes and their residue rings in models of open induction, Fermat's last theorem and Bezout's theorem in GCD domains, The joint embedding property in normal open induction, Toward the limits of the Tennenbaum phenomenon, The constructive provability of a restricted axiom of double induction in the free variable additive arithmetic, Polynomial time uniformization and non-standard methods, Pell equations and exponentiation in fragments of arithmetic, The provability of certain sequents in additive arithmetic, Real closures of models of weak arithmetic, Towers of complements to valuation rings and truncation closed embeddings of valued fields, Open induction in a bounded arithmetic for \(\mathrm{TC}^{0}\), On the value group of a model of Peano arithmetic, The Green-Tao theorem on primes in arithmetical progressions in the positive cone of \(\mathbb Z [X\)], Arithmetization of the field of reals with exponentiation extended abstract, Some diophantine forms of gödel's theorem
