Mathematics
user avatar
user avatar
user avatar
Thomas Benjamin
  • Member for 10 years, 3 months
  • Last seen more than a week ago
Profile Activity
Stats
1,185
reputation
13k
reached
14
answers
45
questions
Communities
Badges
View all badges
This user doesn’t have any gold badges yet.
8
silver badges
12
bronze badges
Top tags
View all tags
13
Score
44
Posts
75
Posts %
11
Score
20
Posts
34
Posts %
7
Score
12
Posts
20
Posts %
6
Score
14
Posts
24
Posts %
3
Score
12
Posts
20
Posts %
3
Score
4
Posts
7
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
6
Is the statement "Every primitive recursive function is total" provable in $PA$?
Dec 16, 2016
question
5
A question regarding the status of CH in the Gitik model
Apr 30, 2014
question
5
If models of set theory can be construed as categories, can notions of forcing be construed as functors?
Sep 5, 2014
question
4
A question regarding a paper of M. Magidor [closed]
Dec 28, 2014
question
3
A question regarding the Power Set Axiom in ZFC
Dec 13, 2014
question
3
Some Questions Regarding Pointwise Definable Models of ZFC
Jun 20, 2014
answer
3
Why did mathematicians take Russell's paradox seriously?
Jan 28, 2014
answer
3
Can set-theoretic forcing exist without law of excluded middle?
Apr 15, 2014
question
3
A Question Regarding the Relation Between Second-Order Arithmetic and the Constructible Universe
Nov 14, 2013
question
3
A Question Regarding Reverse Mathematics and V=L
Nov 19, 2013
Top network posts
View all network posts
65
What was Hilbert's view of Gödel's Incompleteness Theorems?
44
Hilbert's alleged proof of the Continuum Hypothesis in "On the Infinite"
21
In What Way are Set Theorists' 'Experiences' in the CH Worlds Flawed, if Any?
18
What sort of cardinal number is the Löwenheim–Skolem number for second-order logic?
14
Category-theoretic characterization of $L$

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.