Ulrik Buchholtz

Member for 15 years
Last seen this week

Twitter
GitHub
andrew.cmu.edu/user/ulrikb
Pittsburgh, PA, United States

Summary

Reputation

1,467

1.5k
1.4k
1.3k

2021
2022
2023
2024

Top tag

lo.logic

Next privilege

2,000 Rep.

Edit posts

Badges

12

12

Newest

Yearling

Next badge

0/1

Custodian

Impact

~35k

people reached

0

helpful flags

234

votes cast

Answers

View all 20 answers

10

Arithmetic strength of Peano + the Howard ordinal

Dec 8, 2012

9

Reference request for type theory

Mar 23, 2010

8

Theorems for nothing (and the proofs for free)

Nov 22, 2009

8

Is any true sentence in the second-order Peano Axioms provable

Feb 7, 2010

8

Reduction rules for inductive types

Jan 2, 2012

Questions

16

H-space structures on non-sphere suspensions?

Apr 10, 2016

4

Relative Poincaré 2-complexes

Mar 28, 2018

Tags

View all 33 tags

lo.logic

75

Score

14

posts

type-theory

26

Score

4

posts

ordinal-analysis

21

Score

3

posts

proof-theory

20

Score

3

posts

set-theory

18

Score

3

posts

Reputation

+95

Relationship between infinite suspension $\Sigma^{\infty}$ of $E_{\infty}$ grouplike space and its infinite delooping?

+10

Subcountability

+10

Arithmetic strength of Peano + the Howard ordinal

+10

H-space structures on non-sphere suspensions?

Badges

View all badges

This user doesn’t have any gold badges yet.

12

silver badges

Constituent

Apr 7, 2021
Enthusiast

Mar 8, 2010
Necromancer

× 2

Jan 20

12

bronze badges

Talkative

Mar 14, 2017
Excavator

Aug 27, 2022
Caucus

Apr 7, 2021

Accounts

View all 10 accounts

1,467
12
12

Theoretical Computer Science

726
6
6

261
2
4

226
1
4

176
3

Active bounties (0)

This user has no active bounties

Votes cast

234

upvotes

71

question votes

163

answer votes