Classifying model-theoretic properties
From MaRDI portal
Publication:3617367
DOI10.2178/jsl/1230396753zbMath1160.03012MaRDI QIDQ3617367
Publication date: 23 March 2009
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/jsl/1230396753
03C57: Computable structure theory, computable model theory
Related Items
Working with strong reducibilities above totally $\omega $-c.e. and array computable degrees, 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09, Array nonrecursiveness and relative recursive enumerability, The atomic model theorem and type omitting
Cites Work