MathOverflow
Ulrik Buchholtz's user avatar
Ulrik Buchholtz's user avatar
Ulrik Buchholtz's user avatar
Ulrik Buchholtz
  • Member for 14 years
  • Last seen this week
Profile Activity
Stats
1,352
reputation
33k
reached
19
answers
2
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
9
silver badges
11
bronze badges
Top tags
View all tags
73
Score
14
Posts
67
Posts %
26
Score
4
Posts
19
Posts %
20
Score
3
Posts
14
Posts %
19
Score
3
Posts
14
Posts %
17
Score
3
Posts
14
Posts %
15
Score
2
Posts
10
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
16
H-space structures on non-sphere suspensions?
Apr 10, 2016
answer
9
Theorems for nothing (and the proofs for free)
Nov 22, 2009
answer
9
Reference request for type theory
Mar 23, 2010
answer
9
Arithmetic strength of Peano + the Howard ordinal
Dec 8, 2012
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
6
A question about ordinal analysis
Feb 4, 2018
answer
6
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

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.