The following pages link to (Q5691117):
Displaying 4 items.
- Fragments of HA based on \(\Sigma_ 1\)-induction (Q1920237) (← links)
- Preservation theorems for Kripke models (Q3619870) (← links)
- Constructing Kripke models of certain fragments of Heyting's arithmetic (Q4493072) (← links)
- Independence results for weak systems of intuitionistic arithmetic (Q4808464) (← links)