The following pages link to Goodman's theorem and beyond (Q1139042):
Displayed 6 items.
- 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)
- Remarks on Herbrand normal forms and Herbrand realizations (Q1813063) (← links)
- Meeting of the Association for Symbolic Logic Florence, Italy 1982 (Q3686697) (← links)