Primitive recursive categoricity spectra
Logic
2026-03-10 v1
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 -categorical equivalence structures and linear orders, relatively -categorical Boolean algebras, and computably categorical tree as partial orders.
Cite
@article{arxiv.2603.08006,
title = {Primitive recursive categoricity spectra},
author = {Nikolay Bazhenov and Heer Tern Koh and Keng Meng Ng},
journal= {arXiv preprint arXiv:2603.08006},
year = {2026}
}