Pages that link to "Item:Q1095140"
From MaRDI portal
The following pages link to Finite Kripke models of HA are locally PA (Q1095140):
Displayed 6 items.
- A semantic approach to conservativity (Q284219) (← links)
- Intuitionistic validity in \(T\)-normal Kripke structures (Q685055) (← links)
- Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\) (Q2074812) (← links)
- Preservation theorems for Kripke models (Q3619870) (← links)
- Some weak fragments of <i>HA</i> and certain closure properties (Q4532602) (← links)
- Intuitionistic open induction and least number principle and the Buss operator (Q5937815) (← links)