Mathematics
davidp's user avatar
davidp's user avatar
davidp's user avatar
davidp
  • Member for 8 years, 6 months
  • Last seen more than a month ago
Profile Activity
Stats
535
reputation
5k
reached
0
answers
36
questions
Communities
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
6
bronze badges
Top tags
View all tags
0
Score
18
Posts
50
Posts %
0
Score
11
Posts
31
Posts %
0
Score
9
Posts
25
Posts %
0
Score
6
Posts
17
Posts %
0
Score
5
Posts
14
Posts %
0
Score
3
Posts
8
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
5
ordinal isomorphism theorem
Feb 19, 2016
question
3
Proof that no term (of a language of predicate logic) is a (non-empty) initial segment of another
Sep 21, 2014
question
3
effective procedures in general
Dec 18, 2016
question
2
Separation and Russell's paradox
Feb 7, 2016
question
2
metatheory of Q
Mar 4, 2016
question
2
Some basic questions about V=L
Mar 22, 2016
question
2
Subset (Comprehension, Separation) Axiom and Definability
May 21, 2016
question
2
Comprehension Axiom and Intersections
Jul 28, 2016
question
2
Proving the existence of $\beth_\omega$ in ZF
Feb 25, 2018
question
1
elementary equivalence and incompleteness
Jan 15, 2016

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.