Mathematics
user avatar
user avatar
user avatar
aws
  • Member for 9 years, 4 months
  • Last seen this week
Profile Activity
Stats
3,021
reputation
28k
reached
60
answers
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
14
silver badges
12
bronze badges
Top tags
View all tags
103
Score
24
Posts
40
Posts %
79
Score
19
Posts
32
Posts %
29
Score
7
Posts
12
Posts %
26
Score
5
Posts
8
Posts %
21
Score
4
Posts
7
Posts %
18
Score
3
Posts
5
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
17
programming brain teaser
Mar 16, 2013
answer
11
Does $\Sigma_1 \cup \Pi_1$ generate the complete first order theory of arithmetic?
May 2, 2013
answer
9
Would it also be useful to include an ordered pair function in first order logic?
Feb 4, 2013
answer
9
What does it take to divide by $2$?
Apr 16, 2018
answer
9
Countable choice and term extraction
Sep 8, 2015
answer
8
Question about the Univalence axiom.
Aug 21, 2017
answer
8
Schanuel conjecture and its set theoretic status
Jul 26, 2013
answer
7
What practical proofs work in intuitionistic but not minimal logic?
Sep 14, 2013
answer
7
What are the different approaches to formalizing type theory in the usual model-theoretic context?
Mar 14, 2017
answer
7
Why do class-sized models escape the completeness theorem?
Nov 9, 2013
Top network posts
View all network posts
35
Is there a constructive proof of Cantor–Bernstein–Schroeder theorem ?
25
Does an existence of large cardinals have implications in number theory or combinatorics?
16
Does $\forall x \forall y\ (x \in y) \lor \lnot (x \in y)$ imply excluded middle?
14
Existence property for ordered fields
12
A Model where Dedekind Reals and Cauchy Reals are Different

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.