Pages that link to "Item:Q1920237"
From MaRDI portal
The following pages link to Fragments of HA based on \(\Sigma_ 1\)-induction (Q1920237):
Displayed 13 items.
- Homomorphisms and chains of Kripke models (Q535159) (← links)
- Quick cut-elimination for strictly positive cuts (Q639680) (← links)
- Finite sets and infinite sets in weak intuitionistic arithmetic (Q781509) (← links)
- Provably recursive functions of constructive and relatively constructive theories (Q964451) (← links)
- Elementary arithmetic (Q1772782) (← links)
- Intrinsic reasoning about functional programs. II: Unipolar induction and primitive-recursion (Q1827398) (← links)
- A note on uniform density in weak arithmetical theories (Q2219096) (← links)
- 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02 (Q4432544) (← links)
- 2000 Annual Meeting of the Association for Symbolic Logic (Q4527937) (← links)
- Some weak fragments of <i>HA</i> and certain closure properties (Q4532602) (← links)
- 2003 Annual Meeting of the Association for Symbolic Logic (Q4678936) (← links)
- A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC (Q5082051) (← links)
- Intuitionistic open induction and least number principle and the Buss operator (Q5937815) (← links)