MathOverflow
abo's user avatar
abo's user avatar
abo's user avatar
abo
  • Member for 11 years, 4 months
  • Last seen more than a month ago
Profile Activity
Stats
1,646
reputation
76k
reached
26
answers
7
questions
Communities
Badges
View all badges
1
gold badge
11
silver badges
19
bronze badges
Top tags
View all tags
55
Score
23
Posts
70
Posts %
27
Score
7
Posts
21
Posts %
20
Score
9
Posts
27
Posts %
17
Score
10
Posts
30
Posts %
12
Score
3
Posts
9
Posts %
11
Score
2
Posts
6
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
21
Can FPA really prove its consistency?
Jan 28, 2013
question
12
Is an ultrafinitist Hilbert's program doomed?
Jan 29, 2013
question
12
When we count the same set, must the number always be the same?
Nov 29, 2017
answer
11
Set theories without "junk" theorems?
Mar 11, 2012
answer
11
What axioms are used to prove Godel's Incompleteness Theorems?
Jan 6, 2013
answer
10
Dedekind-Peano axioms, but numbers have at most one successor
Jan 20
answer
9
Essential reads in the philosophy of mathematics and set theory
Apr 18, 2012
question
6
First-order vs second-order provability
Jan 24, 2013
question
6
Provability in Second-Order Arithmetic without the Successor Axiom
Jan 26, 2013
question
6
Can this weakish system of arithmetic express multiplication for second-sort numbers?
Jun 2, 2021

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.