meta user
network profile
| bio | website | |
|---|---|---|
| location | ||
| age | ||
| visits | member for | 1 year, 2 months |
| seen | May 2 at 13:50 | |
| stats | profile views | 228 |
|
May 2 |
comment |
(Logic) Formally writing a rational number in logic thanks, I think the key idea "multiplying by a suitable integer, a common denominator of the coefficients of P ." is really useful. This way one can avoid rationals altogether. |
|
May 2 |
comment |
Definable with parameters (Example) Sorry for the confusion! What I meant is that is there any set that is definable with parameters but not definable without parameters? |
|
Apr 28 |
comment |
(Logic) Formally writing a rational number in logic Thanks, this is an awesomely clear answer. |
|
Apr 25 |
comment |
How to show that the property of being algebraically closed is reflected by elementary extensions? Thanks! I wonder if is it true that any elementary extention of a non-algebraically closed field is also not algebraically closed? |
|
Apr 25 |
comment |
How to show that the property of being algebraically closed is reflected by elementary extensions? Thanks! Assume that the structure $(F,0,1,+,\cdot)$ is a countable elementary submodel of the complex field $(\mathbb{C},0,1,+,\cdot)$. |
|
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 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 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 |
comment |
Logic question linking $\omega$-categoricalness to completeness Do you mean $\omega$-categorical? |
|
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 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? |
|
Feb 27 |
comment |
Different definition of antipode for $SL_q(2)$? Thanks. In Kassel, it is written that the comultiplication $\Delta$ of $M_q(2)$ equip $SL_q(2)$ with Hopf algebra structures. And the comultiplications seem to be the same, $\Delta (a)=a\otimes a+b\otimes c$, etc. I am really puzzled. |
|
Jan 19 |
comment |
Basis of $SL_q(2)$ @JulianKuelshammer thanks a lot. may i ask how is the topological group (denoted as $F_h(SL_2(\mathbb{C}))$ different from $SL_q(2)$? |
|
Jan 17 |
comment |
Who are the digits which non-prime number must divide at least one of them? do u mean instead that one of {2,3,5} must divide each non-prime number? |
|
Jan 4 |
comment |
Prove well-definedness of comultiplication and counit of $GL_q(2)$ and $SL_q(2)$. hi mebassett, thanks for your help, it helped me tremendously. may i know how to contact you via email? |
|
Dec 24 |
comment |
Prove well-definedness of comultiplication and counit of $GL_q(2)$ and $SL_q(2)$. thanks a lot! what other texts do you recommend? |
|
Dec 17 |
comment |
Prove well-definedness of comultiplication and counit of $GL_q(2)$ and $SL_q(2)$. Sincere thanks! I don't get how Kassel computes $\Delta (det_q-1)$ though. Also, I don't really understand coideals. (my background is undergraduate, with highest level course being introductory galois theory) |
|
Sep 6 |
comment |
minimal polynomial and monic characteristic polynomial Thanks for the comment! |
