Primitive recursive categoricity spectra

Abstract

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 $\Delta_{2}^{0}$-categorical equivalence structures and linear orders, relatively $\Delta_{3}^{0}$-categorical Boolean algebras, and computably categorical tree as partial orders.