463 reputation
29
bio website
location
age
visits member for 1 year, 4 months
seen yesterday

Dec
17
accepted A question on models of set theory and Lebesgue measure
Dec
17
comment A question on models of set theory and Lebesgue measure
Thanks, I suspected so but couldn't figure that the complexity of the definition of the set on nonmeasurable sets is $\Sigma_2$.
Dec
17
revised A question on models of set theory and Lebesgue measure
added 23 characters in body
Dec
17
asked A question on models of set theory and Lebesgue measure
Oct
15
accepted Saturated models and definable substructures
Oct
14
asked Saturated models and definable substructures
Sep
13
accepted Is it consistent with ZFC (or ZF) that every definable family of sets has at least one definable member?
Sep
12
comment Is it consistent with ZFC (or ZF) that every definable family of sets has at least one definable member?
Could you give other examples please?
Sep
12
asked Is it consistent with ZFC (or ZF) that every definable family of sets has at least one definable member?
Aug
5
awarded  Yearling
Jun
12
accepted Isomorphism of real closed fields
Jun
12
asked Isomorphism of real closed fields
May
13
revised Absolutness of $\Pi_1^1$ statements
deleted 125 characters in body
May
10
comment Absolutness of $\Pi_1^1$ statements
@Burak: Many thanks.
May
10
accepted Absolutness of $\Pi_1^1$ statements
May
10
asked Absolutness of $\Pi_1^1$ statements
May
9
comment Scott sentence in models of set theory
Thank you, nice answer.
May
9
accepted Scott sentence in models of set theory
May
8
revised Scott sentence in models of set theory
added 18 characters in body
May
8
asked Scott sentence in models of set theory