Pages that link to "Item:Q4704759"
From MaRDI portal
The following pages link to A new method for establishing conservativity of classical systems over their intuitionistic version (Q4704759):
Displaying 14 items.
- A semantic approach to conservativity (Q284219) (← links)
- A complexity analysis of functional interpretations (Q557798) (← links)
- Provably recursive functions of constructive and relatively constructive theories (Q964451) (← links)
- The metamathematics of ergodic theory (Q1006602) (← links)
- Uniform Heyting arithmetic (Q1772775) (← links)
- Saturated models of universal theories (Q1861531) (← links)
- Remarks on applicative theories (Q2566067) (← links)
- Interpreting classical theories in constructive ones (Q2710607) (← links)
- Light Dialectica Program Extraction from a Classical Fibonacci Proof (Q2864211) (← links)
- The axiom of choice and combinatory logic (Q4650272) (← links)
- Forcing in Proof Theory (Q4678943) (← links)
- A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC (Q5082051) (← links)
- MARKOV’S PRINCIPLE AND SUBSYSTEMS OF INTUITIONISTIC ANALYSIS (Q5222539) (← links)
- A new model construction by making a detour via intuitionistic theories. IV: A closer connection between \(\mathrm{KP} \omega\) and \(\mathrm{BI}\). (Q6539428) (← links)