Translator Disclaimer
2007 An Old Friend Revisited: Countable Models of ω-Stable Theories
Michael C. Laskowski
Notre Dame J. Formal Logic 48(1): 133-141 (2007). DOI: 10.1305/ndjfl/1172787550

Abstract

We work in the context of ω-stable theories. We obtain a natural, algebraic equivalent of ENI-NDOP and discuss recent joint proofs with Shelah that if an ω-stable theory has either ENI-DOP or is ENI-NDOP and is ENI-deep, then the set of models of T with universe ω is Borel complete.

Citation

Download Citation

Michael C. Laskowski. "An Old Friend Revisited: Countable Models of ω-Stable Theories." Notre Dame J. Formal Logic 48 (1) 133 - 141, 2007. https://doi.org/10.1305/ndjfl/1172787550

Information

Published: 2007
First available in Project Euclid: 1 March 2007

zbMATH: 1130.03026
MathSciNet: MR2289902
Digital Object Identifier: 10.1305/ndjfl/1172787550

Subjects:
Primary: 03C45
Secondary: 04A15

Rights: Copyright © 2007 University of Notre Dame

JOURNAL ARTICLE
9 PAGES


SHARE
Vol.48 • No. 1 • 2007
Back to Top