Fragments of Heyting arithmetic
From MaRDI portal
Publication:4527922
DOI10.2307/2586698zbMath0966.03052OpenAlexW2021745396MaRDI QIDQ4527922
Publication date: 24 July 2001
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2586698
Related Items
Two General Results on Intuitionistic Bounded Theories ⋮ A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC ⋮ Refining the arithmetical hierarchy of classical principles ⋮ An intuitionistic formula hierarchy based on high‐school identities ⋮ The FAN principle and weak König's lemma in Herbrandized second-order arithmetic ⋮ Revisiting the conservativity of fixpoints over intuitionistic arithmetic ⋮ Quick cut-elimination for strictly positive cuts ⋮ A note on uniform density in weak arithmetical theories ⋮ Provably recursive functions of constructive and relatively constructive theories ⋮ Elementary arithmetic ⋮ Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic ⋮ Predicate Logics of Constructive Arithmetical Theories
Cites Work
