scientific article; zbMATH DE number 1405578
From MaRDI portal
Publication:4938557
zbMath0940.03045MaRDI QIDQ4938557
Richard A. Shore, Bakhadyr Khoussainov
Publication date: 24 July 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
effectivenessdecidable theoriescomputabilitycomputable structurescategoricityeffective model theorydecidable structures
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Computable structure theory, computable model theory (03C57)
Related Items (11)
Degree spectra and computable dimensions in algebraic structures ⋮ Degree spectra of relations on structures of finite computable dimension ⋮ Model Theoretic Complexity of Automatic Structures (Extended Abstract) ⋮ A structure of punctual dimension two ⋮ Model-theoretic complexity of automatic structures ⋮ Realizing levels of the hyperarithmetic hierarchy as degree spectra of relations on computable structures ⋮ Prime models of theories of computable linear orderings ⋮ Algebraic structures computable without delay ⋮ Eliminating unbounded search in computable algebra ⋮ Enumerations in computable structure theory ⋮ \(\mathsf{WKL}_0\) and induction principles in model theory
This page was built for publication:
