Pages that link to "Item:Q2709313"
From MaRDI portal
The following pages link to An autostable 1-decidable model without a computable Scott family of \(\exists\)-formulas (Q2709313):
Displaying 14 items.
- Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations (Q904324) (← links)
- Computable isomorphisms, degree spectra of relations, and Scott families (Q1295389) (← links)
- Criteria of autostability for 1-decidable models (Q1317625) (← links)
- Computability-theoretic categoricity and Scott families (Q1740457) (← links)
- Categoricity spectra of computable structures (Q2036466) (← links)
- On decidable categoricity and almost prime models (Q2203434) (← 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)
- Effectively Existentially-Atomic Structures (Q2970960) (← links)
- Revisiting Uniform Computable Categoricity: For the Sixtieth Birthday of Prof. Rod Downey (Q2970964) (← links)
- Computable categoricity for algebraic fields with splitting algorithms (Q5246987) (← links)
- Categoricity properties for computable algebraic fields (Q5246988) (← links)
- Ash's theorem on \(\Delta_{\alpha}^{0}\)-categorical structures and a condition for infinite \(\Delta_{\alpha}^{0}\)-dimension (Q5965131) (← links)
