Computably categorical structures and expansions by constants
From MaRDI portal
Publication:4254616
DOI10.2307/2586747zbMath0928.03040OpenAlexW1992539853MaRDI QIDQ4254616
Bakhadyr Khoussainov, Richard A. Shore, Peter A. Cholak, Sergei S. Goncharov
Publication date: 9 January 2000
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.3589
computable structurerecursive structureeffective model theorycomputably categorical structurecomputable isomorphism typerecursively categorical structure
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Categoricity and completeness of theories (03C35)
Related Items
Degree spectra and computable dimensions in algebraic structures, Degree spectra of relations on structures of finite computable dimension, Finite computable dimension and degrees of categoricity, AN INTRODUCTION TO THE SCOTT COMPLEXITY OF COUNTABLE STRUCTURES AND A SURVEY OF RECENT RESULTS, Degrees of categoricity of computable structures, Freely generated projective planes with finite computable dimension, On the effective universality of mereological theories, A computably categorical structure whose expansion by a constant has infinite computable dimension, Computable isomorphisms of Boolean algebras with operators, Effective categoricity of equivalence structures, A computably stable structure with no Scott family of finitary formulas, The theory of projective planes is complete with respect to degree spectra and effective dimensions, Special issue: Selected papers of the workshop on model theory and computable model theory, Gainesville, FL, USA, February 5--10, 2007, Linear orders with distinguished function symbol, Coding in the automorphism group of a computably categorical structure, Computable isomorphisms, degree spectra of relations, and Scott families, Enumerations in computable structure theory, Degree Spectra of Relations on Computable Structures
Cites Work
