The following pages link to (Q5666543):
Displaying 5 items.
- Exponentiations over the universal enveloping algebra of \(\text{sl}_2(\mathbb C)\) (Q636389) (← links)
- Quadratic forms over \(C[t_ 1,t_ 2]\) (Q1176651) (← links)
- Diophantine undecidability of \({\mathbb{C}{}}(t_ 1,t_ 2)\) (Q1194191) (← links)
- First order theory of permutation groups (Q1845064) (← links)
- There are just four second-order quantifiers (Q2264753) (← links)
