Reputation
876
Top tag
Next privilege 1,000 Rep.
Create new tags
Badges
12 23
Impact
~45k people reached

  • 0 posts edited
  • 0 helpful flags
  • 134 votes cast
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
asked Logic automorphism question about $(\mathbb{R},0,1,+,\cdot,<)$.
Apr
22
comment Logic question linking $\omega$-categoricalness to completeness
Do you mean $\omega$-categorical?
Apr
22
asked Logic question linking $\omega$-categoricalness to completeness
Apr
22
accepted Prove that two structures are elementarily equivalent (Logic)
Apr
20
asked Prove that two structures are elementarily equivalent (Logic)
Apr
20
accepted Different definition of antipode for $SL_q(2)$?
Apr
19
accepted Why are the rational numbers an elementary substructure of the reals?
Apr
11
accepted Logic: Equivalence Relation