Truth definitions without exponentiation and the Σ1 collection scheme

DOI10.2178/jsl/1333566643zbMath1245.03058OpenAlexW2169459423MaRDI QIDQ2892683

Jeffrey Bruce Paris, Zofia Adamowicz, Leszek Aleksander Kołodziejczyk

Publication date: 19 June 2012

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

Full work available at URL: https://projecteuclid.org/euclid.jsl/1333566643

zbMATH Keywords

exponentiationbounded arithmetictruth definitionscollection principle

Mathematics Subject Classification ID

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

Related Items (3)

Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) ⋮ On axiom schemes for \(T\)-provably \(\Delta_1\) formulas ⋮ Truth definition for $\Delta _ 0$ formulas and PSPACE computations

Cites Work

• Unnamed Item
• End extensions of models of linearly bounded arithmetic
• Relating the bounded arithmetic and polynomial time hierarchies
• An application of a reflection principle

This page was built for publication: Truth definitions without exponentiation and the Σ₁ collection scheme