scientific article; zbMATH DE number 3784875

zbMATH Open0498.03045MaRDI QIDQ3962995FDOQ3962995

Authors: Haim Gaifman, C. Dimitracopoulos 

Publication date: 1982

Title of this publication is not available (Why is that?)

zbMATH Keywords

Diophantine setsbounded quantifierhierarchy of bounded formulasrestricting induction

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62)

Cited In (36)

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

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3962995)