The following pages link to (Q3962995):
Displayed 34 items.
- End extensions of models of weak arithmetic theories (Q286696) (← links)
- Division by zero (Q335000) (← links)
- Categorical characterizations of the natural numbers require primitive recursion (Q476119) (← links)
- The de Jongh property for basic arithmetic (Q481876) (← links)
- Diophantine induction (Q584258) (← links)
- Hilbert's tenth problem for weak theories of arithmetic (Q685070) (← links)
- Partial collapses of the \(\Sigma _1\) complexity hierarchy in models for fragments of bounded arithmetic (Q866557) (← links)
- Exponentiation and second-order bounded arithmetic (Q922540) (← links)
- \(S_{k,\text{exp}}\) does not prove \(\text{NP} = \text{co-NP}\) uniformly (Q937909) (← links)
- Models of arithmetic and categories with finiteness conditions (Q1097274) (← links)
- On the scheme of induction for bounded arithmetic formulas (Q1104318) (← links)
- Combinatorial principles in elementary number theory (Q1182430) (← links)
- On some formalized conservation results in arithmetic (Q1264147) (← links)
- A direct method for simulating partial recursive functions by Diophantine equations (Q1326783) (← links)
- The prime number theorem and fragments of PA (Q1337499) (← links)
- On induction-free provability (Q1353982) (← links)
- Induction rules, reflection principles, and provably recursive functions (Q1361250) (← links)
- Toward the limits of the Tennenbaum phenomenon (Q1377555) (← links)
- Improved bounds on the weak pigeonhole principle and infinitely many primes from weaker axioms (Q1401230) (← links)
- Non-standard finite fields over \(I\Delta_0+\Omega_1\) (Q1567349) (← links)
- Fixed points of self-embeddings of models of arithmetic (Q1709680) (← links)
- \(\Delta_ 0\)-complexity of the relation \(y= \prod_{i\leq n} F(i)\) (Q1899142) (← links)
- Transfinite induction within Peano arithmetic (Q1919522) (← links)
- Pell equations and exponentiation in fragments of arithmetic (Q1919524) (← links)
- Algebraic combinatorics in bounded induction (Q2216029) (← links)
- R.e. Prime powers and total rigidity (Q2281321) (← links)
- Model-theoretic applications of cofinality spectrum problems (Q2408036) (← links)
- Cofinality spectrum theorems in model theory, set theory, and general topology (Q3450267) (← links)
- On Extensions of Models of Strong Fragments of Arithmetic (Q4205426) (← links)
- Proof Theoretic Analysis by Iterated Reflection (Q4637223) (← links)
- A theory for Log-Space and NLIN versus co-NLIN (Q4650271) (← links)
- Where pigeonhole principles meet Koenig lemmas (Q5158115) (← links)
- Cofinal elementary extensions (Q5404159) (← links)
- ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS (Q6131232) (← links)