The following pages link to Fragments of Heyting arithmetic (Q4527922):
Displaying 12 items.
- Quick cut-elimination for strictly positive cuts (Q639680) (← links)
- Provably recursive functions of constructive and relatively constructive theories (Q964451) (← links)
- Elementary arithmetic (Q1772782) (← links)
- The FAN principle and weak König's lemma in Herbrandized second-order arithmetic (Q2195636) (← links)
- A note on uniform density in weak arithmetical theories (Q2219096) (← links)
- Predicate Logics of Constructive Arithmetical Theories (Q3416116) (← links)
- Two General Results on Intuitionistic Bounded Theories (Q4264539) (← links)
- A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC (Q5082051) (← links)
- An intuitionistic formula hierarchy based on high‐school identities (Q5108846) (← links)
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic (Q5957858) (← links)
- Refining the arithmetical hierarchy of classical principles (Q6094157) (← links)
- Revisiting the conservativity of fixpoints over intuitionistic arithmetic (Q6178470) (← links)
