加载中…
We introduce -Abstract Elementary Classes (-AECs) as a broad framework for model theory that includes complete boolean algebras and Dirichlet series, and begin to develop their classification theory. Moreover, we note that -AECs correspond precisely to accessible categories in which all morphisms are monomorphisms, and begin the process of reconciling these divergent perspectives: not least, the preliminary classification-theoretic results for {\mu}-AECs transfer directly to accessible categories with monomorphisms.

生成讲解博客的中文版本

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