727 reputation
1021
bio website
location
age
visits member for 2 years, 4 months
seen yesterday

Apr
27
revised (Logic) Formally writing a rational number in logic
added 44 characters in body
Apr
27
asked (Logic) Formally writing a rational number in logic
Apr
26
awarded  Yearling
Apr
26
accepted Gödel's Paradox — Every set of formulas is consistent
Apr
26
asked Gödel's Paradox — Every set of formulas is consistent
Apr
25
comment How to show that the property of being algebraically closed is reflected by elementary extensions?
Thanks! I wonder if is it true that any elementary extention of a non-algebraically closed field is also not algebraically closed?
Apr
25
comment How to show that the property of being algebraically closed is reflected by elementary extensions?
Thanks! Assume that the structure $(F,0,1,+,\cdot)$ is a countable elementary submodel of the complex field $(\mathbb{C},0,1,+,\cdot)$.
Apr
25
revised How to show that the property of being algebraically closed is reflected by elementary extensions?
added 167 characters in body
Apr
25
asked How to show that the property of being algebraically closed is reflected by elementary extensions?
Apr
25
comment Logic automorphism question about $(\mathbb{R},0,1,+,\cdot,<)$.
Is the harder question related to proving Aut($\mathbb{R}/\mathbb{Q}$)=1?
Apr
25
accepted Logic automorphism question about $(\mathbb{R},0,1,+,\cdot,<)$.
Apr
24
revised Logic question linking $\omega$-categoricalness to completeness
added 88 characters in body
Apr
24
revised How to show that a theory T union a sentence $\varphi$ is consistent.
added 174 characters in body
Apr
24
comment How to show that a theory T union a sentence $\varphi$ is consistent.
oh yes, I missed out several information about $T$, pls see edit. Thanks!
Apr
24
comment How to show that a theory T union a sentence $\varphi$ is consistent.
$T$ is assumed to be consistent (as stated in question), if that helps?
Apr
24
comment How to show that a theory T union a sentence $\varphi$ is consistent.
what is reductio?
Apr
24
answered Logic question linking $\omega$-categoricalness to completeness
Apr
24
asked How to show that a theory T union a sentence $\varphi$ is consistent.
Apr
24
asked Difference between elementary submodel and elementary substructure
Apr
24
accepted Logic question linking $\omega$-categoricalness to completeness