Atomic models higher up

DOI10.1016/J.APAL.2008.04.004zbMath1152.03024OpenAlexW2022962997MaRDI QIDQ952493

B. E. Eshmatov

Publication date: 12 November 2008

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2008.04.004

zbMATH Keywords

Scott rankatomic models

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Logic on admissible sets (03C70)

Related Items (5)

AN INTRODUCTION TO THE SCOTT COMPLEXITY OF COUNTABLE STRUCTURES AND A SURVEY OF RECENT RESULTS ⋮ COMPUTABLE STRUCTURES IN GENERIC EXTENSIONS ⋮ Some new computable structures of high rank ⋮ Special issue: Selected papers of the workshop on model theory and computable model theory, Gainesville, FL, USA, February 5--10, 2007 ⋮ Categoricity of computable infinitary theories

Cites Work

• Unnamed Item
• Unnamed Item
• Categoricity of computable infinitary theories
• An example concerning Scott heights
• Scott sentences and admissible sets
• Metarecursive sets
• The α-finite injury method

This page was built for publication: Atomic models higher up