The following pages link to Goodman's theorem and beyond (Q1139042):
Displayed 12 items.
- 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)
- Intuitionistic fixed point theories over set theories (Q494642) (← links)
- Extended bar induction in applicative theories (Q753810) (← links)
- Realizability and intuitionistic logic (Q792319) (← links)
- Large sets in intuitionistic set theory (Q796524) (← links)
- Proof-theoretical analysis: Weak systems of functions and classes (Q911585) (← links)
- Arithmetical conservation results (Q1688961) (← links)
- Remarks on Herbrand normal forms and Herbrand realizations (Q1813063) (← links)
- On Goodman realizability (Q2330510) (← links)
- Meeting of the Association for Symbolic Logic Florence, Italy 1982 (Q3686697) (← links)
- Proof Theory of Constructive Systems: Inductive Types and Univalence (Q5214792) (← links)
- EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY (Q6095977) (← links)