加载中…
We generalise the correspondence between -categorical theories and their automorphism groups to arbitrary complete theories in classical logic, and to some theories (including, in particular, all -categorical ones) in continuous logic.

生成讲解博客的中文版本

生成AI智能校验的中文版本