480 reputation
210
bio website
location
age
visits member for 1 year, 5 months
seen 6 hours ago

Jan
20
awarded  Citizen Patrol
Jan
16
accepted Cardinality of an ultraproduct
Jan
15
revised Cardinality of an ultraproduct
added 211 characters in body
Jan
15
revised Cardinality of an ultraproduct
added 69 characters in body
Jan
15
comment Cardinality of an ultraproduct
I edited it, thanks.
Jan
15
revised Cardinality of an ultraproduct
added 103 characters in body
Jan
15
revised Cardinality of an ultraproduct
deleted 17 characters in body
Jan
15
asked Cardinality of an ultraproduct
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