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):
Displayed 9 items.
- 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)
- The axiom of choice and combinatory logic (Q4650272) (← links)
- Forcing in Proof Theory (Q4678943) (← links)