MathOverflow
Thomas Benjamin's user avatar
Thomas Benjamin's user avatar
Thomas Benjamin's user avatar
Thomas Benjamin
  • Member for 12 years, 3 months
  • Last seen this week
Profile Activity
Stats
6,024
reputation
111k
reached
44
answers
90
questions
top 6% overall
Communities
Badges
View all badges
1
gold badge
25
silver badges
34
bronze badges
Top tags
View all tags
96
Score
86
Posts
64
Posts %
76
Score
57
Posts
43
Posts %
33
Score
19
Posts
14
Posts %
24
Score
23
Posts
17
Posts %
23
Score
52
Posts
39
Posts %
18
Score
15
Posts
11
Posts %
Top posts
View all questions and answers
question
69
What was Hilbert's view of Gödel's Incompleteness Theorems?
Nov 3, 2015
question
45
Hilbert's alleged proof of the Continuum Hypothesis in "On the Infinite"
Jun 12, 2017
question
21
In What Way are Set Theorists' 'Experiences' in the CH Worlds Flawed, if Any?
Mar 21, 2012
question
18
What sort of cardinal number is the Löwenheim–Skolem number for second-order logic?
Jul 19, 2015
question
15
Category-theoretic characterization of $L$
Feb 20, 2017
question
13
Hausdorff and Naive Set Theory
Apr 14, 2012
answer
11
Vopěnka's Principle for non-first-order logics
Jul 18, 2015
answer
10
Has decidability got something to do with primes?
Nov 23, 2015
question
9
How are material set theory and structural set theory related from the point of view of category theory?
Feb 9, 2017
question
9
Are there 'finitistic' nonrecursive functions (assuming Church's Thesis is false)?
Mar 9, 2016
Top Meta posts
3
0
9
A question regarding some downvoting on my first question and answer on MathOverflow and my desired remedy
Top network posts
View all network posts
6
Is the statement "Every primitive recursive function is total" provable in $PA$?
5
A question regarding the status of CH in the Gitik model
5
If models of set theory can be construed as categories, can notions of forcing be construed as functors?
5
In the field $No$ of surreal numbers, does $\underbrace {\frac 1 \omega + \frac 1 \omega + ...}_{\omega\text{ times}}= 1?$