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