Skip to main content
Mathematics
aws's user avatar
aws's user avatar
aws's user avatar
aws
  • Member for 12 years, 10 months
  • Last seen this week
Profile Activity

Stats

3,276
reputation
36k
reached
62
answers
0
questions
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
116
Score
25
Posts
40
Posts %
92
Score
20
Posts
32
Posts %
32
Score
7
Posts
11
Posts %
29
Score
6
Posts
10
Posts %
25
Score
5
Posts
8
Posts %
22
Score
4
Posts
6
Posts %

Top posts

View all questions and answers
17
programming brain teaser
Mar 16, 2013
12
What does it take to divide by $2$?
Apr 16, 2018
12
Does $\Sigma_1 \cup \Pi_1$ generate the complete first order theory of arithmetic?
May 2, 2013
9
Would it also be useful to include an ordered pair function in first order logic?
Feb 4, 2013
9
What practical proofs work in intuitionistic but not minimal logic?
Sep 14, 2013
8
Question about the Univalence axiom.
Aug 21, 2017
8
Countable choice and term extraction
Sep 8, 2015
8
Schanuel conjecture and its set theoretic status
Jul 26, 2013
8
Why do class-sized models escape the completeness theorem?
Nov 9, 2013
7
What are the different approaches to formalizing type theory in the usual model-theoretic context?
Mar 14, 2017

Top network posts

View all network posts
37
Is there a constructive proof of Cantor–Bernstein–Schroeder theorem ?
28
Does an existence of large cardinals have implications in number theory or combinatorics?
20
Does $\forall x \forall y\ (x \in y) \lor \lnot (x \in y)$ imply excluded middle?
19
Consistency strength of HoTT
16
A Model where Dedekind Reals and Cauchy Reals are Different