Primitive recursive categoricity spectra
Fuente:
arXiv
Salvato in:
| Autori principali: | , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866910046157275136 |
|---|---|
| author | Bazhenov, Nikolay Koh, Heer Tern Ng, Keng Meng |
| author_facet | Bazhenov, Nikolay Koh, Heer Tern Ng, Keng Meng |
| contents | 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 $Δ_{2}^{0}$-categorical equivalence structures and linear orders, relatively $Δ_{3}^{0}$-categorical Boolean algebras, and computably categorical tree as partial orders. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_08006 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Primitive recursive categoricity spectra Bazhenov, Nikolay Koh, Heer Tern Ng, Keng Meng Logic 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 $Δ_{2}^{0}$-categorical equivalence structures and linear orders, relatively $Δ_{3}^{0}$-categorical Boolean algebras, and computably categorical tree as partial orders. |
| title | Primitive recursive categoricity spectra |
| topic | Logic |
| url | https://arxiv.org/abs/2603.08006 |