Skip to main content
MathOverflow
Ulrik Buchholtz's user avatar
Ulrik Buchholtz's user avatar
Ulrik Buchholtz's user avatar
Ulrik Buchholtz
  • Member for 15 years
  • Last seen this week
Profile Activity
Stats
1,467
reputation
35k
reached
20
answers
2
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
12
silver badges
12
bronze badges
Top tags
View all tags
75
Score
14
Posts
64
Posts %
26
Score
4
Posts
18
Posts %
21
Score
3
Posts
14
Posts %
20
Score
3
Posts
14
Posts %
18
Score
3
Posts
14
Posts %
14
Score
3
Posts
14
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
Reference request for type theory
Mar 23, 2010
answer
8
Theorems for nothing (and the proofs for free)
Nov 22, 2009
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
8
Relationship between infinite suspension $\Sigma^{\infty}$ of $E_{\infty}$ grouplike space and its infinite delooping?
Sep 4
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
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