Skip to main content
MathOverflow
Wouter Stekelenburg's user avatar
Wouter Stekelenburg's user avatar
Wouter Stekelenburg's user avatar
Wouter Stekelenburg
  • Member for 14 years, 10 months
  • Last seen more than 10 years ago
Profile Activity
Stats
1,279
reputation
0
reached
0
answers
0
questions
Communities
Badges
View all badges
This user doesn’t have any gold badges yet.
6
silver badges
This user doesn’t have any bronze badges yet.
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
21
Categories of recursive functions
14
A continuous notion of realizability
11
Au revoir, law of excluded middle?
11
What's the difference between a logic, an internal logic (language) of a category, an internal logic of a topos and a type theory?
11
Small categories and completeness