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

  • 0 posts edited
  • 0 helpful flags
  • 131 votes cast
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
Apr
11
accepted Logic: Maximally consistent and validity
Apr
6
asked Logic: Maximally consistent and validity
Apr
6
asked Logic: Equivalence Relation
Mar
25
accepted Twist map as a solution of the Quantum Yang-Baxter Equation (QYBE)
Mar
25
awarded  Benefactor