Pages that link to "Item:Q1355126"
From MaRDI portal
The following pages link to Classical and intuitionistic models of arithmetic (Q1355126):
Displaying 5 items.
- A semantic approach to conservativity (Q284219) (← links)
- Intuitionistic axiomatizations for bounded extension Kripke models. (Q1412839) (← links)
- Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\) (Q2074812) (← links)
- Some weak fragments of <i>HA</i> and certain closure properties (Q4532602) (← links)
- 1999 European Summer Meeting of the Association for Symbolic Logic (Q4953838) (← links)
