Pages that link to "Item:Q1247964"
From MaRDI portal
The following pages link to Autostability and computable families of constructivizations (Q1247964):
Displaying 19 items.
- Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations (Q904324) (← links)
- Strong \(\Delta ^ 0_ 2\) categoricity (Q1078172) (← links)
- Recursive categoricity and recursive stability (Q1084103) (← links)
- Stability of recursive structures in arithmetical degrees (Q1094410) (← links)
- Some effects of Ash-Nerode and other decidability conditions on degree spectra (Q1182431) (← links)
- Uncountable degree spectra (Q1182483) (← links)
- Stability among r.e. quotient algebras (Q1208085) (← links)
- Computable isomorphisms, degree spectra of relations, and Scott families (Q1295389) (← links)
- Complexity and categoricity (Q1383162) (← links)
- Categoricity for primitive recursive and polynomial Boolean algebras (Q1731520) (← links)
- Categoricity in hyperarithmetical degrees (Q1821772) (← links)
- \(\Delta_{2}^{0}\)-categoricity in Boolean algebras and linear orderings (Q1861536) (← links)
- Categoricity spectra of computable structures (Q2036466) (← links)
- Constructing decidable graphs from decidable structures (Q2300933) (← links)
- Effective categoricity of equivalence structures (Q2498900) (← links)
- A computably stable structure with no Scott family of finitary formulas (Q2501165) (← links)
- 2010 North American Annual Meeting of the Association for Symbolic Logic (Q3083467) (← links)
- Recursive properties of isomorphism types (Q3313855) (← links)
- DEGREES OF CATEGORICITY ON A CONE VIA<i>η</i>-SYSTEMS (Q5738206) (← links)
