Reputation
854
Top tag
Next privilege 1,000 Rep.
Create tags
Badges
12 22
Newest
 Yearling
Impact
~42k people reached

May
2
comment (Logic) Formally writing a rational number in logic
thanks, I think the key idea "multiplying by a suitable integer, a common denominator of the coefficients of P ." is really useful. This way one can avoid rationals altogether.
May
2
comment Definable with parameters (Example)
Sorry for the confusion! What I meant is that is there any set that is definable with parameters but not definable without parameters?
May
1
asked Definable with parameters (Example)
May
1
accepted How to show that a theory T union a sentence $\varphi$ is consistent.
Apr
28
comment (Logic) Formally writing a rational number in logic
Thanks, this is an awesomely clear answer.
Apr
28
accepted (Logic) Formally writing a rational number in logic
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!