scientific article
From MaRDI portal
Publication:2709313
zbMath0972.03038MaRDI QIDQ2709313
Publication date: 24 July 2001
Full work available at URL: https://eudml.org/doc/187781
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Classification theory, stability, and related concepts in model theory (03C45) Computable structure theory, computable model theory (03C57)
Related Items
Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations, On decidable categoricity and almost prime models, Effectively Existentially-Atomic Structures, Revisiting Uniform Computable Categoricity: For the Sixtieth Birthday of Prof. Rod Downey, Computability-theoretic categoricity and Scott families, Effective categoricity of equivalence structures, A computably stable structure with no Scott family of finitary formulas, Categoricity spectra of computable structures, Ash's theorem on \(\Delta_{\alpha}^{0}\)-categorical structures and a condition for infinite \(\Delta_{\alpha}^{0}\)-dimension, Constructing decidable graphs from decidable structures, Computable isomorphisms, degree spectra of relations, and Scott families, Computable categoricity for algebraic fields with splitting algorithms, Categoricity properties for computable algebraic fields