Skip to main content
MathOverflow
aws's user avatar
aws's user avatar
aws's user avatar
aws
  • Member for 11 years, 6 months
  • Last seen this week
Profile Activity
Stats
3,876
reputation
40k
reached
46
answers
2
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
18
silver badges
16
bronze badges
Top tags
View all tags
157
Score
20
Posts
42
Posts %
124
Score
12
Posts
25
Posts %
116
Score
21
Posts
44
Posts %
76
Score
12
Posts
25
Posts %
63
Score
10
Posts
21
Posts %
45
Score
6
Posts
12
Posts %
Top posts
View all questions and answers
36
Is there a constructive proof of Cantor–Bernstein–Schroeder theorem ?
Mar 3, 2013
25
Does an existence of large cardinals have implications in number theory or combinatorics?
May 3, 2013
20
Does $\forall x \forall y\ (x \in y) \lor \lnot (x \in y)$ imply excluded middle?
Aug 2, 2020
15
A Model where Dedekind Reals and Cauchy Reals are Different
Apr 24, 2013
14
Existence property for ordered fields
Aug 2, 2013
9
Brouwer's theorem for the Cauchy reals
Aug 28, 2015
9
Is there a semantics for intuitionistic logic that is meta-theoretically "self-hosting"?
Feb 19, 2021
8
(When) do filtered colimits exist in the effective topos?
Jun 2, 2023
8
In cubical type theory, can we insist that "constant" compositions are the identity?
May 27, 2021
8
Where is the end of universe?
Sep 29, 2013
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?