Skip to main content
Theoretical Computer Science
Ulrik Buchholtz's user avatar
Ulrik Buchholtz's user avatar
Ulrik Buchholtz's user avatar
Ulrik Buchholtz
  • Member for 14 years, 3 months
  • Last seen more than a week ago
Profile Activity
Stats
726
reputation
4k
reached
4
answers
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
6
silver badges
6
bronze badges
Top tags
View all tags
58
Score
4
Posts
100
Posts %
39
Score
2
Posts
50
Posts %
26
Score
1
Posts
25
Posts %
26
Score
1
Posts
25
Posts %
24
Score
2
Posts
50
Posts %
19
Score
2
Posts
50
Posts %
Top posts
answer
26
What was the original intent for the creation of Lambda calculus?
Feb 13, 2015
answer
13
Can we prove weak normalization for System F by induction on a transfinite ordinal
Oct 17, 2011
answer
11
Reference for the fact that (0=1) implies false requires a universe in MLTT
Jan 22, 2015
answer
8
Intuitionistic fragments of classical logic
Feb 17, 2017
Top network posts
View all network posts
16
H-space structures on non-sphere suspensions?
10
How can I make a PDF of the source of pdftex?
10
Arithmetic strength of Peano + the Howard ordinal
9
Reference request for type theory
8
Is any true sentence in the second-order Peano Axioms provable