Pages that link to "Item:Q4458699"
From MaRDI portal
The following pages link to A generalization of a conservativity theorem for classical versus intuitionistic arithmetic (Q4458699):
Displaying 13 items.
- A semantic approach to conservativity (Q284219) (← links)
- Proof-theoretic conservations of weak weak intuitionistic constructive set theories (Q490665) (← links)
- Provably recursive functions of constructive and relatively constructive theories (Q964451) (← links)
- Arithmetical conservation results (Q1688961) (← links)
- Some intuitionistic equivalents of classical principles for degree 2 formulas (Q2368911) (← links)
- Interpreting classical theories in constructive ones (Q2710607) (← links)
- Towards an arithmetic theory of consistency enforcement based on preservation of \(\delta\)-constraints (Q2841258) (← links)
- Combining Classical and Intuitionistic Implications (Q3525005) (← links)
- (Q4133604) (← links)
- Non-commutative classical arithmetical sequent calculi are intuitionistic (Q4644548) (← links)
- PRENEX NORMAL FORM THEOREMS IN SEMI-CLASSICAL ARITHMETIC (Q5015727) (← links)
- Classical and Intuitionistic Arithmetic with Higher Order Comprehension Coincide on Inductive Well-Foundedness (Q5351967) (← links)
- Refining the arithmetical hierarchy of classical principles (Q6094157) (← links)
