Reputation
10,845
Top tag
Next privilege 15,000 Rep.
Protect questions
Badges
38 88
Impact
~108k people reached

Feb
8
revised Direct axiomatization of ordinal and cardinal numbers
added 269 characters in body
Feb
8
answered Direct axiomatization of ordinal and cardinal numbers
Feb
3
comment tree properties on $\omega_1$ and $\omega_2$
Welcome to Mathoverflow.
Jan
31
comment A weak kind of fixed point
I added more details.
Jan
31
revised A weak kind of fixed point
added 965 characters in body
Jan
31
revised A weak kind of fixed point
deleted 348 characters in body
Jan
31
revised A weak kind of fixed point
added 332 characters in body
Jan
31
answered A weak kind of fixed point
Jan
26
answered A Question on HOD, V and GCH
Jan
24
asked Set theory and forcing from the point of view of a formal system $G^+$ of Gentzen type
Jan
23
answered References for the Keisler Order
Jan
22
awarded  reference-request
Jan
21
comment Statements that Could be Forced by Ultrapowers
@MortezaAzad I suggest you wait more before giving the final acceptance. Maybe you receive better answers.
Jan
21
comment Statements that Could be Forced by Ultrapowers
Weak square is equivalent to the existence of a special Aronszajn tree. The existence of a special $\kappa^+$-Aronszajn tree is equivalent to the existence of a $(\kappa^+, \kappa)$-model for a suitable first order sentence. So they relate to gap-1 cardinal transfer results in model theory.
Jan
21
answered Statements that Could be Forced by Ultrapowers
Jan
20
comment Riemann hypothesis in Zilber's field
I removed the first question, as it was vague.
Jan
20
revised Riemann hypothesis in Zilber's field
deleted 381 characters in body; edited title
Jan
20
comment Riemann hypothesis in Zilber's field
@MortezaAzad Simply: If there are infinite twin primes, for each natural number $n \in \mathbb{N},$ the non-standard model thinks there are twin primes above $n$, so the same is true in the standard model. Conversely, if the twin primes are unbounded in the standard model, the nonstandard model thinks the same, in particular there are infinite twin primes.
Jan
20
asked Riemann hypothesis in Zilber's field
Jan
17
comment tree properties on $\omega_1$ and $\omega_2$
@MonroeEskew I have no idea if there is preprint available, but the fact is that the proof if not really difficult. It is simply the product of Mitchell forcing and (a modified version of the) forcing to add a Kurepa tree with $\kappa$-many branches, where $\kappa$ is the weakly compact we start at the beginning.