727 reputation
1021
bio website
location
age
visits member for 2 years, 4 months
seen yesterday

Jul
17
accepted Inequality: $2\sqrt{xz}+2\sqrt{yz}+2\sqrt{xy}\geq 3x+3y+3z-3$
Jul
15
accepted Definable with parameters (Example)
Jul
1
accepted Ways to study mathematics while commuting
Jun
28
accepted If $4k^3+6k^2+3k+l+1$ and $4l^3+6l^2+3l+k+1$ are powers of two, how to conclude $k=1, l=2$
Jun
23
accepted When is $(a^2+b)(b^2+a)$ a power of $2$?
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