加载中…
We study approximations of theories both in general context and with respect to some natural classes of theories. Some kinds of approximations are considered, connections with finitely axiomatizable theories and minimal generating sets of theories as well as their -spectra are found.

生成讲解博客的中文版本

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