MathOverflow
Ulrik Buchholtz's user avatar
Ulrik Buchholtz's user avatar
Ulrik Buchholtz's user avatar
Ulrik Buchholtz
  • Member for 14 years, 5 months
  • Last seen this week
Profile Activity
Stats
1,372
reputation
34k
reached
19
answers
2
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
11
silver badges
12
bronze badges
Top tags
View all tags
75
Score
14
Posts
67
Posts %
26
Score
4
Posts
19
Posts %
21
Score
3
Posts
14
Posts %
20
Score
3
Posts
14
Posts %
18
Score
3
Posts
14
Posts %
16
Score
2
Posts
10
Posts %
Top posts
View all questions and answers
question
16
H-space structures on non-sphere suspensions?
Apr 10, 2016
answer
10
Arithmetic strength of Peano + the Howard ordinal
Dec 8, 2012
answer
9
Theorems for nothing (and the proofs for free)
Nov 22, 2009
answer
9
Reference request for type theory
Mar 23, 2010
answer
8
Is any true sentence in the second-order Peano Axioms provable
Feb 7, 2010
answer
8
Reduction rules for inductive types
Jan 2, 2012
answer
7
categorifying induction in homotopy type theory
Jun 9, 2011
answer
7
Natural $\Pi^1_2$ (or worse) classes of structures?
Oct 27, 2013
answer
7
Subcountability
Dec 14, 2021
answer
6
A question about ordinal analysis
Feb 4, 2018
Top network posts
View all network posts
26
What was the original intent for the creation of Lambda calculus?
13
Can we prove weak normalization for System F by induction on a transfinite ordinal
11
Reference for the fact that (0=1) implies false requires a universe in MLTT
10
How can I make a PDF of the source of pdftex?
9
Intuitionistic fragments of classical logic