Pages that link to "Item:Q2710607"

The following pages link to Interpreting classical theories in constructive ones (Q2710607):

Displaying 11 items.

• A semantic approach to conservativity (Q284219) (← links)
• A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP (Q476116) (← links)
• The strength of extensionality. II: Weak weak set theories without infinity (Q639665) (← links)
• Mathematical method and proof (Q857692) (← links)
• Preservation theorems for bounded formulas (Q866887) (← links)
• Provably recursive functions of constructive and relatively constructive theories (Q964451) (← links)
• The metamathematics of ergodic theory (Q1006602) (← 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)