Skip to main content
MathOverflow
abo's user avatar
abo's user avatar
abo's user avatar
abo
  • Member for 12 years, 11 months
  • Last seen more than a month ago
Profile Activity
Stats
1,974
reputation
95k
reached
30
answers
8
questions
Communities
Badges
View all badges
1
gold badge
12
silver badges
22
bronze badges
Top tags
View all tags
77
Score
28
Posts
74
Posts %
46
Score
10
Posts
26
Posts %
23
Score
10
Posts
26
Posts %
18
Score
10
Posts
26
Posts %
15
Score
3
Posts
8
Posts %
14
Score
4
Posts
11
Posts %
Top posts
View all questions and answers
question
20
Can FPA really prove its consistency?
Jan 28, 2013
answer
13
What axioms are used to prove Gödel's Incompleteness Theorems?
Jan 6, 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
12
Set theories without "junk" theorems?
Mar 11, 2012
answer
11
Essential reads in the philosophy of mathematics and set theory
Apr 18, 2012
answer
11
Lists as a foundation of mathematics
Oct 18, 2023
answer
10
Dedekind-Peano axioms, but numbers have at most one successor
Jan 20, 2023
question
8
Does PA prove (Artemov-style) the consistency of a stronger system?
Apr 17
question
7
Can this weakish system of arithmetic express multiplication for second-sort numbers?
Jun 2, 2021