𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Effective categoricity of equivalence structures

✍ Scribed by Wesley Calvert; Douglas Cenzer; Valentina Harizanov; Andrei Morozov

Publisher
Elsevier Science
Year
2006
Tongue
English
Weight
327 KB
Volume
141
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Effective categoricity of Abelian -group
Effective categoricity of Abelian -groups
✍ Wesley Calvert; Douglas Cenzer; Valentina S. Harizanov; Andrei Morozov πŸ“‚ Article πŸ“… 2009 πŸ› Elsevier Science 🌐 English βš– 685 KB
On the complexity of categoricity in com
On the complexity of categoricity in computable structures
✍ Walker M. White πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 192 KB

## Abstract We investigate the computational complexity the class of Γ‐categorical computable structures. We show that hyperarithmetic categoricity is Ξ ^1^~1~‐complete, while computable categoricity is Ξ ^0^~4~‐hard. (Β© 2003 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)