Pages that link to "Item:Q1355126"
From MaRDI portal
The following pages link to Classical and intuitionistic models of arithmetic (Q1355126):
Displaying 11 items.
- A semantic approach to conservativity (Q284219) (← links)
- Finite Kripke models of HA are locally PA (Q1095140) (← links)
- Intuitionistic axiomatizations for bounded extension Kripke models. (Q1412839) (← links)
- Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\) (Q2074812) (← links)
- On the structure of kripke models of heyting arithmetic (Q4304788) (← links)
- Every Rooted Narrow Tree Kripke Model of HA is Locally PA (Q4530151) (← 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)
- (Q5222088) (← links)
- Classical and Intuitionistic Arithmetic with Higher Order Comprehension Coincide on Inductive Well-Foundedness (Q5351967) (← links)
- Localizing finite-depth Kripke models (Q5382576) (← links)
