Fragments of Heyting arithmetic

DOI10.2307/2586698MaRDI QIDQ4527922zbMATH OpenOpenAlexFDO

Authors Wolfgang Burr

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

zbMATH Keywords

fragments of Heyting arithmeticinductionrecursive function

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Recommendations

• Fragments of HA based on \(\Sigma_ 1\)-induction
• Publication:4493072
• scientific article; zbMATH DE number 1289488
• Fragments of arithmetic
• Intuitionistic weak arithmetic

Cited in

(17)

• Elementary arithmetic
• Fragments of HA based on \(\Sigma_ 1\)-induction
• The FAN principle and weak König's lemma in Herbrandized second-order arithmetic
• A note on uniform density in weak arithmetical theories
• Predicate Logics of Constructive Arithmetical Theories
• Two General Results on Intuitionistic Bounded Theories
• scientific article; zbMATH DE number 1483964 (Why is no real title available?)
• Some weak fragments of HA and certain closure properties
• scientific article; zbMATH DE number 2152681 (Why is no real title available?)
• A marriage of Brouwer's intuitionism and Hilbert's finitism. I: Arithmetic
• An intuitionistic formula hierarchy based on high‐school identities
• Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
• Refining the arithmetical hierarchy of classical principles
• Revisiting the conservativity of fixpoints over intuitionistic arithmetic
• Quick cut-elimination for strictly positive cuts
• Fragments of arithmetic
• Provably recursive functions of constructive and relatively constructive theories

This page was built for publication: Fragments of Heyting arithmetic

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