Pages that link to "Item:Q4808464"
From MaRDI portal
The following pages link to Independence results for weak systems of intuitionistic arithmetic (Q4808464):
Displaying 5 items.
- An independence result on weak second order bounded arithmetic (Q2720322) (← links)
- Weak arithmetics and Kripke models (Q2776821) (← links)
- A note on the independence of premiss rule (Q2793909) (← links)
- Some weak fragments of <i>HA</i> and certain closure properties (Q4532602) (← links)
- An Independence Result for Intuitionistic Bounded Arithmetic (Q5477454) (← links)