The following pages link to (Q5724783):
Displayed 5 items.
- Intuitionistic completeness of first-order logic (Q392280) (← links)
- Another proof of the intuitionistic Ramsey theorem (Q685402) (← links)
- Type-theoretic approaches to ordinals (Q2700785) (← links)
- Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session (Q5250212) (← links)
- (Q5537594) (← links)