Pages that link to "Item:Q2776821"
From MaRDI portal
The following pages link to Weak arithmetics and Kripke models (Q2776821):
Displaying 9 items.
- Intuitionistic weak arithmetic (Q1423636) (← links)
- Logics of intuitionistic Kripke-Platek set theory (Q2231694) (← links)
- Some intuitionistic equivalents of classical principles for degree 2 formulas (Q2368911) (← links)
- Linear arithmetic desecsed (Q2735832) (← links)
- The Friedman-Sheard programme in intuitionistic logic (Q2915893) (← links)
- Kripke Models Built from Models of Arithmetic (Q3455186) (← links)
- Some weak fragments of <i>HA</i> and certain closure properties (Q4532602) (← links)
- Independence results for weak systems of intuitionistic arithmetic (Q4808464) (← links)
- Intuitionistic open induction and least number principle and the Buss operator (Q5937815) (← links)