Skip to main content
MathOverflow
aws's user avatar
aws's user avatar
aws's user avatar
aws
  • Member for 11 years, 10 months
  • Last seen this week
Profile Activity
Stats
4,378
reputation
43k
reached
50
answers
3
questions
#212 this year
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
19
silver badges
18
bronze badges
Top tags
View all tags
181
Score
22
Posts
42
Posts %
149
Score
23
Posts
43
Posts %
146
Score
13
Posts
25
Posts %
78
Score
13
Posts
25
Posts %
62
Score
10
Posts
19
Posts %
59
Score
8
Posts
15
Posts %
Top posts
View all questions and answers
answer
36
Is there a constructive proof of Cantor–Bernstein–Schroeder theorem ?
Mar 3, 2013
answer
27
Does an existence of large cardinals have implications in number theory or combinatorics?
May 3, 2013
answer
20
Does $\forall x \forall y\ (x \in y) \lor \lnot (x \in y)$ imply excluded middle?
Aug 2, 2020
answer
19
Consistency strength of HoTT
Aug 22
answer
15
A Model where Dedekind Reals and Cauchy Reals are Different
Apr 24, 2013
question
14
Existence property for ordered fields
Aug 2, 2013
answer
11
Decimal expansion definition of real numbers, constructively
Aug 12
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
9
In cubical type theory, can we insist that "constant" compositions are the identity?
May 27, 2021
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
Countable choice and term extraction
9
What practical proofs work in intuitionistic but not minimal logic?