MathOverflow
Ali Enayat's user avatar
Ali Enayat's user avatar
Ali Enayat's user avatar
Ali Enayat
  • Member for 12 years, 8 months
  • Last seen more than a week ago
Profile Activity
Stats
15,743
reputation
166k
reached
117
answers
11
questions
Communities
About

Information about me can be accessed through my homepage at the University of Gothenburg.

Badges
View all badges
2
gold badges
54
silver badges
92
bronze badges
Top tags
View all tags
855
Score
82
Posts
64
Posts %
838
Score
72
Posts
56
Posts %
292
Score
32
Posts
25
Posts %
148
Score
14
Posts
11
Posts %
110
Score
9
Posts
7
Posts %
103
Score
10
Posts
8
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
81
Nontrivially fillable gaps in published proofs of major theorems
Feb 9, 2020
answer
39
What axioms are used to prove Godel's Incompleteness Theorems?
Jan 6, 2013
question
34
Rigid non-archimedean real closed fields
Feb 20, 2018
question
33
Peano Arithmetic and the Field of Rationals
May 21, 2011
answer
31
Do the analogies between metamathematics of set theory and arithmetic have some deeper meaning?
Dec 30, 2015
answer
27
Are there examples of statements that have been proven whose consistency proofs came before their proofs?
Jul 25, 2011
answer
24
Classifying set theories whose standard models sharing the same ordinals are equal
Dec 17, 2014
answer
23
Must uncountable standard models of ZFC satisfy CH?
Jan 31, 2022
question
23
CH and automorphisms of ultrapowers of $\mathbb{Z}$ and $\mathbb{R}$
Mar 30, 2018
answer
23
Similarities between Post's Problem and Cohen's Forcing
Mar 8, 2013

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.