On the complexity of categoricity in computable structures
From MaRDI portal
Publication:4452455
Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Categoricity and completeness of theories (03C35) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Complexity of computation (including implicit computational complexity) (03D15)
Cited in
(18)- Finite computable dimension and degrees of categoricity
- Relativizing computable categoricity
- 2010 North American Annual Meeting of the Association for Symbolic Logic
- Degrees of autostability relative to strong constructivizations for Boolean algebras
- Complexity of categorical theories with computable models
- Categoricity spectra of computable structures
- Degrees of autostability for linear orders and linearly ordered abelian groups
- Scott sentences for certain groups
- Computable numberings of the class of Boolean algebras with distinguished endomorphisms
- Categoricity properties for computable algebraic fields
- Computability-Theoretic Complexity of Countable Structures
- Preserving categoricity and complexity of relations
- Index sets for classes of high rank structures
- The complexity of computable categoricity
- Index sets for some classes of structures
- Computable categoricity of trees of finite height
- Decomposing the complexity quotient category
- Fundamentals of Computation Theory
This page was built for publication: On the complexity of categoricity in computable structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4452455)
