scientific article
From MaRDI portal
Publication:3962995
zbMath0498.03045MaRDI QIDQ3962995
Haim Gaifman, Constantine Dimitracopoulos
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (34)
A direct method for simulating partial recursive functions by Diophantine equations ⋮ End extensions of models of weak arithmetic theories ⋮ The prime number theorem and fragments of PA ⋮ Cofinality spectrum theorems in model theory, set theory, and general topology ⋮ Models of arithmetic and categories with finiteness conditions ⋮ On induction-free provability ⋮ \(\Delta_ 0\)-complexity of the relation \(y= \prod_{i\leq n} F(i)\) ⋮ On the scheme of induction for bounded arithmetic formulas ⋮ Division by zero ⋮ Induction rules, reflection principles, and provably recursive functions ⋮ Partial collapses of the \(\Sigma _1\) complexity hierarchy in models for fragments of bounded arithmetic ⋮ Toward the limits of the Tennenbaum phenomenon ⋮ Transfinite induction within Peano arithmetic ⋮ Pell equations and exponentiation in fragments of arithmetic ⋮ Model-theoretic applications of cofinality spectrum problems ⋮ On Extensions of Models of Strong Fragments of Arithmetic ⋮ Improved bounds on the weak pigeonhole principle and infinitely many primes from weaker axioms ⋮ ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS ⋮ Fixed points of self-embeddings of models of arithmetic ⋮ Algebraic combinatorics in bounded induction ⋮ Exponentiation and second-order bounded arithmetic ⋮ Categorical characterizations of the natural numbers require primitive recursion ⋮ The de Jongh property for basic arithmetic ⋮ \(S_{k,\text{exp}}\) does not prove \(\text{NP} = \text{co-NP}\) uniformly ⋮ Combinatorial principles in elementary number theory ⋮ Proof Theoretic Analysis by Iterated Reflection ⋮ Cofinal elementary extensions ⋮ Where pigeonhole principles meet Koenig lemmas ⋮ A theory for Log-Space and NLIN versus co-NLIN ⋮ Hilbert's tenth problem for weak theories of arithmetic ⋮ Diophantine induction ⋮ R.e. Prime powers and total rigidity ⋮ On some formalized conservation results in arithmetic ⋮ Non-standard finite fields over \(I\Delta_0+\Omega_1\)
This page was built for publication:
