加载中…
We study the primitive recursive analogue of computable categoricity spectra for various natural classes of structures. We show that these notions coincide for all relatively -categorical equivalence structures and linear orders, relatively -categorical Boolean algebras, and computably categorical tree as partial orders.

生成讲解博客的中文版本

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