713 reputation
1021
bio website
location
age
visits member for 2 years, 3 months
seen Jul 1 at 7:17

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
Apr
23
accepted Predicate vs function
Apr
22
comment Logic question regarding a countable elementary submodel of the complex field.
just a "subquestion", what is the difference between elementary submodel, elementary substructure, and the elementary extension you just mentioned? sorry, really confused.
Apr
22
asked Logic automorphism question about $(\mathbb{R},0,1,+,\cdot,<)$.
Apr
22
asked Logic question regarding a countable elementary submodel of the complex field.