The following pages link to (Q4035302):
Displaying 11 items.
- Intuitionistic validity in \(T\)-normal Kripke structures (Q685055) (← links)
- Functional interpretations of feasibly constructive arithmetic (Q685962) (← links)
- Preservation theorems for bounded formulas (Q866887) (← links)
- New models of bounded induction axioms (Q937904) (← links)
- A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\) (Q2344720) (← links)
- Polynomial induction and length minimization in intuitionistic bounded arithmetic (Q3159403) (← links)
- Existentially Closed Models and Conservation Results in Bounded Arithmetic (Q3611724) (← links)
- On the structure of kripke models of heyting arithmetic (Q4304788) (← links)
- An Independence Result for Intuitionistic Bounded Arithmetic (Q5477454) (← links)
- Some elementary results in intuitionistic model theory (Q5687313) (← links)
- Proof Complexity of Non-classical Logics (Q5894972) (← links)