加载中…
We show that for each property there is a poset such that a theory has property if and only if some model interprets a poset in which can be embedded. We also introduce a new property , consistent with and implying and .

生成讲解博客的中文版本

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