Local behaviour of the Chebyshev theorem in models of I⊿0

DOI10.2307/2275173zbMath0772.03018OpenAlexW2065582132MaRDI QIDQ4008743

Paola D'Aquino

Publication date: 27 September 1992

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275173

zbMATH Keywords

exponentiationbounded arithmeticmodels of arithmeticChebyshev theorem

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62)

Related Items (8)

\(\Delta_ 0\)-complexity of the relation \(y= \prod_{i\leq n} F(i)\) ⋮ Iterated multiplication in \(VTC^0\) ⋮ Pell equations and exponentiation in fragments of arithmetic ⋮ Commutative unital rings elementarily equivalent to prescribed product rings ⋮ Quadratic forms in models of \(I\Delta_0 + \Omega_1\). II: Local equivalence ⋮ Cofinal elementary extensions ⋮ A sharpened version of McAloon's theorem on initial segments of models of \(I\Delta_ 0\) ⋮ Non-standard finite fields over \(I\Delta_0+\Omega_1\)

Cites Work

• On the scheme of induction for bounded arithmetic formulas
• Provability of the pigeonhole principle and the existence of infinitely many primes

This page was built for publication: Local behaviour of the Chebyshev theorem in models of I⊿₀