Pages that link to "Item:Q3422401"
From MaRDI portal
The following pages link to Godel's interpretation of intuitionism (Q3422401):
Displayed 6 items.
- The typed lambda-calculus is not elementary recursive (Q1259590) (← links)
- Strong normalization for non-structural subtyping via saturated sets (Q1351999) (← links)
- Montague's paradox, informal provability, and explicit modal logic (Q2452676) (← links)
- A higher-order calculus and theory abstraction (Q2639838) (← links)
- Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session (Q5250212) (← links)
- Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections (Q5253927) (← links)