Autostability and computable families of constructivizations
From MaRDI portal
Cites work
Cited in
(27)- Strong \(\Delta ^ 0_ 2\) categoricity
- Recursive categoricity and recursive stability
- Stability of recursive structures in arithmetical degrees
- Some effects of Ash-Nerode and other decidability conditions on degree spectra
- Uncountable degree spectra
- Stability among r.e. quotient algebras
- Computable isomorphisms, degree spectra of relations, and Scott families
- Complexity and categoricity
- Categoricity for primitive recursive and polynomial Boolean algebras
- Categoricity in hyperarithmetical degrees
- \(\Delta_{2}^{0}\)-categoricity in Boolean algebras and linear orderings
- Categoricity spectra of computable structures
- Constructing decidable graphs from decidable structures
- Effective categoricity of equivalence structures
- A computably stable structure with no Scott family of finitary formulas
- 2010 North American Annual Meeting of the Association for Symbolic Logic
- Recursive properties of isomorphism types
- Categoricity properties for computable algebraic fields
- Degrees of categoricity on a cone via -systems
- Ash's theorem on \(\Delta_{\alpha}^{0}\)-categorical structures and a condition for infinite \(\Delta_{\alpha}^{0}\)-dimension
- Categoricity and complexity of relations over algebraic structures
- Effective categoricity of computable linear orderings
- Feasibly categorical models
- Computable categoricity relative to a C.E. degree
- A pathological punctually 1-decidable structure
- On categoricity of scattered linear orders of constructive ranks
- Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations
This page was built for publication: Autostability and computable families of constructivizations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1247964)
