scientific article; zbMATH DE number 3214534
From MaRDI portal
Publication:5341750
zbMath0132.24701MaRDI QIDQ5341750
Publication date: 1964
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (36)
On the value group of a model of Peano arithmetic ⋮ The mathematical significance of proof theory ⋮ Division by zero ⋮ Diophantine equations in fragments in arithmetic ⋮ Toward the limits of the Tennenbaum phenomenon ⋮ Primes and their residue rings in models of open induction ⋮ Pell equations and exponentiation in fragments of arithmetic ⋮ The constructive provability of a restricted axiom of double induction in the free variable additive arithmetic ⋮ The provability of certain sequents in additive arithmetic ⋮ Real closures of models of weak arithmetic ⋮ Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts ⋮ Fermat's last theorem and Catalan's conjecture in weak exponential arithmetics ⋮ Arithmetization of the field of reals with exponentiation extended abstract ⋮ A factorisation theory for generalised power series and omnific integers ⋮ The strength of sharply bounded induction requires MSP ⋮ Bootstrapping. I ⋮ Elementary analytic functions in \(\mathsf{VT}\mathsf{C}^0\) ⋮ Limit computable integer parts ⋮ Algebraic combinatorics in bounded induction ⋮ Lengths of developments in \(K((G))\) ⋮ Fermat's last theorem and Bezout's theorem in GCD domains ⋮ Hilbert's tenth problem for weak theories of arithmetic ⋮ 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} ⋮ Root finding with threshold circuits ⋮ The joint embedding property in normal open induction ⋮ Intuitionistic open induction and least number principle and the Buss operator ⋮ Towers of complements to valuation rings and truncation closed embeddings of valued fields ⋮ Independence results for variants of sharply bounded induction ⋮ The Green-Tao theorem on primes in arithmetical progressions in the positive cone of \(\mathbb Z [X\)] ⋮ Factorization in generalized power series ⋮ Polynomial time uniformization and non-standard methods ⋮ Models of true arithmetic are integer parts of models of real exponentation ⋮ Induction and Skolemization in saturation theorem proving ⋮ Open induction in a bounded arithmetic for \(\mathrm{TC}^{0}\) ⋮ Schatunowsky's theorem, Bonse's inequality, and Chebyshev's theorem in weak fragments of Peano arithmetic ⋮ Some diophantine forms of gödel's theorem
This page was built for publication:
