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 $\hat{I}{”}_2^0$-categorical equivalence structures and linear orders, relatively $\hat{I}{”}_3^0$-categorical Boolean algebras, and computably categorical tree as partial orders.