393 reputation
616
bio website
location
age
visits member for 2 years
seen Jan 26 at 16:32

Jan
26
accepted Maximum number of different diagonals obtained by column permutations
May
1
accepted How to show that a theory T union a sentence $\varphi$ is consistent.
Apr
28
accepted (Logic) Formally writing a rational number in logic
Apr
26
accepted Gödel's Paradox — Every set of formulas is consistent
Apr
25
accepted Logic automorphism question about $(\mathbb{R},0,1,+,\cdot,<)$.
Apr
24
accepted Logic question linking $\omega$-categoricalness to completeness
Apr
23
accepted Predicate vs function
Apr
22
accepted 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
Mar
25
accepted Twist map as a solution of the Quantum Yang-Baxter Equation (QYBE)
Mar
25
accepted Quantum Groups: prove $U_1'\cong U[K]/(K^2-1)$ and $U\cong U_1'/(K-1)$
Feb
24
accepted disjoint union Topology question
Jan
17
accepted How to show that $SL_q(2)$ and $U_q(\mathfrak{sl}(2))$ are noncommutative and noncocommutative
Jan
16
accepted Tensor Product Question in Kassel's Quantum Groups
Jan
12
accepted what is the difference between $\mathrm{SL}(2)$ and $\mathfrak{sl}(2)$?
Jan
6
accepted $U_q$ Quantum group and the four variables: E, F, K, K^{-1}
Dec
24
accepted Prove well-definedness of comultiplication and counit of $GL_q(2)$ and $SL_q(2)$.