MathOverflow
aws's user avatar
aws's user avatar
aws's user avatar
aws
  • Member for 10 years, 2 months
  • Last seen this week
Profile Activity
Stats
3,411
reputation
32k
reached
42
answers
1
question
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
17
silver badges
14
bronze badges
Top tags
View all tags
137
Score
18
Posts
42
Posts %
117
Score
11
Posts
26
Posts %
101
Score
19
Posts
44
Posts %
61
Score
10
Posts
23
Posts %
51
Score
9
Posts
21
Posts %
34
Score
5
Posts
12
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
36
Is there a constructive proof of Cantor–Bernstein–Schroeder theorem ?
Mar 3, 2013
answer
25
Does an existence of large cardinals have implications in number theory or combinatorics?
May 3, 2013
answer
18
Does $\forall x \forall y\ (x \in y) \lor \lnot (x \in y)$ imply excluded middle?
Aug 2, 2020
question
14
Existence property for ordered fields
Aug 2, 2013
answer
12
A Model where Dedekind Reals and Cauchy Reals are Different
Apr 24, 2013
answer
9
Bishop's paradox of the countability of sequences
Jan 26, 2014
answer
9
Brouwer's theorem for the Cauchy reals
Aug 28, 2015
answer
9
Is there a semantics for intuitionistic logic that is meta-theoretically "self-hosting"?
Feb 19, 2021
answer
8
Where is the end of universe?
Sep 29, 2013
answer
8
"Rice (like) Theorem" for primitive recursive functions?
Jan 25, 2014
Top network posts
View all network posts
17
programming brain teaser
12
Does $\Sigma_1 \cup \Pi_1$ generate the complete first order theory of arithmetic?
10
What does it take to divide by $2$?
9
Would it also be useful to include an ordered pair function in first order logic?
9
What practical proofs work in intuitionistic but not minimal 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.