792 reputation
1022
bio website
location
age
visits member for 2 years, 8 months
seen Dec 3 at 4:25

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.
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
Mar
25
comment Quantum Groups: prove $U_1'\cong U[K]/(K^2-1)$ and $U\cong U_1'/(K-1)$
thanks for the help! (I have awarded the +500 bounty to this solution.)
Mar
25
accepted Quantum Groups: prove $U_1'\cong U[K]/(K^2-1)$ and $U\cong U_1'/(K-1)$
Mar
21
comment Prove well-definedness of comultiplication and counit of $GL_q(2)$ and $SL_q(2)$.
just a further question, how does showing the above computations show that $\Delta$ and $\epsilon$ are well-defined?