加载中…
-Abstract Elementary Classes are a model theoretic framework introduced in [BGL+16] to encompass classes axiomatized by . We show that the framework extends beyond these logics by showing classes axiomatized in with just the quantifier are an -Abstract Elementary Class.

生成讲解博客的中文版本

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