The following pages link to Arithmetical conservation results (Q1688961):
Displaying 5 items.
- About Goodman's theorem (Q1942040) (← links)
- A note on Goodman's theorem (Q1970595) (← links)
- On Goodman realizability (Q2330510) (← links)
- EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY (Q6095977) (← links)
- Revisiting the conservativity of fixpoints over intuitionistic arithmetic (Q6178470) (← links)