5,741 reputation
1560
bio website math.ipm.ac.ir/golshani
location
age
visits member for 4 years
seen yesterday

Post-Doctoral Research Fellow, School of Mathematics, Institute for Research in Fundamental Sciences (IPM).

My Shelah number is 2.


1d
awarded  Good Question
1d
revised Producing finite objects by forcing!
added 226 characters in body
Dec
15
awarded  Nice Question
Dec
15
revised Producing finite objects by forcing!
added 224 characters in body
Dec
15
asked Producing finite objects by forcing!
Dec
14
awarded  Nice Answer
Dec
13
answered Strongest large cardinal axiom compatible with $V = L$?
Dec
10
comment Are there known ways to posit definable global choice in ZF without positing V=L?
You can force global choice over any model of $ZFC$ without adding any new sets.
Dec
10
answered Semiproper but not proper
Dec
9
answered What are the current views on consistency of Reinhardt cardinals without AC?
Nov
30
revised When can we reach a real by forcing?
added 3 characters in body
Nov
30
answered When can we reach a real by forcing?
Nov
29
comment Simplest non-constructible set of integers compatible with the nonexistence of $0^\sharp$?
The fact that in the absence of $0^\sharp,$ $V$ is close to $L$ is a consequence of Jensen's covering lemma, which says if $0^\sharp$ does not exist, then any uncountable set of ordinals is covered by a constructible set of ordinals of the same size.
Nov
29
comment Simplest non-constructible set of integers compatible with the nonexistence of $0^\sharp$?
As the results are equiconsistent with $ZFC$, you just need to start from L, and force the resulting model in the extension. In the extension $0^\sharp$ does not exist.
Nov
29
revised Simplest non-constructible set of integers compatible with the nonexistence of $0^\sharp$?
added 54 characters in body
Nov
29
answered Simplest non-constructible set of integers compatible with the nonexistence of $0^\sharp$?
Nov
27
awarded  Yearling
Nov
27
comment Reinhardt cardinals and iterability
@YairHayut Definition is essentially the same as the one given in Woodin's paper "Suitable extender models".
Nov
25
revised Reinhardt cardinals and iterability
added 160 characters in body; edited tags
Nov
25
awarded  Nice Question