Ali Enayat's user avatar
Ali Enayat's user avatar
Ali Enayat's user avatar
Ali Enayat
  • Member for 13 years, 7 months
  • Last seen this week
11 votes
1 answer
420 views

Projective well-ordered sets, higher up

36 votes
0 answers
1k views

Rigid non-archimedean real closed fields

81 votes
13 answers
21k views

Nontrivially fillable gaps in published proofs of major theorems

12 votes
0 answers
316 views

Sentences preserved under inverse limits

13 votes
0 answers
214 views

Primitive recursive and feasible presentations for nonstandard models of arithmetic

19 votes
1 answer
549 views

Can an injective $f: \Bbb{R}^m \to \Bbb{R}^n$ have a closed graph for $m>n$?

23 votes
0 answers
653 views

CH and automorphisms of ultrapowers of $\mathbb{Z}$ and $\mathbb{R}$

19 votes
1 answer
1k views

Lebesgue Measurability and Weak CH

18 votes
1 answer
761 views

Paradoxical Decompositions

9 votes
0 answers
278 views

Uncountable Lüroth problem

16 votes
2 answers
1k views

Nonstandard Reals in the Complex Plane

33 votes
0 answers
2k views

Peano Arithmetic and the Field of Rationals