New Computational Paradigms

DOI10.1007/B136981MaRDI QIDQ5717040zbMATH OpenOpenAlexFDO

Authors Denis R. Hirschfeldt

Publication date 11 January 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b136981

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Computable structure theory, computable model theory (03C57)

Recommendations

• A computability theoretic equivalent to Vaught's conjecture
• scientific article; zbMATH DE number 1302870
• Computability of homogeneous models
• Computability-Theoretic Complexity of Countable Structures
• Vaught's conjecture

Cited in

(3)

• Special issue: Selected papers of the workshop on model theory and computable model theory, Gainesville, FL, USA, February 5--10, 2007
• A recursion theoretic characterization of the topological Vaught conjecture in the Zermelo-Fraenkel set theory
• Applications of Kolmogorov complexity to computable model theory

This page was built for publication: New Computational Paradigms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5717040)