𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Complexity concepts and the limitations of computable models

✍ Scribed by J.C. Simon

Book ID
116070140
Publisher
Elsevier Science
Year
1979
Tongue
English
Weight
870 KB
Volume
13
Category
Article
ISSN
0040-1625

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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)