Translator Disclaimer
March 2011 A complicated ω-stable depth 2 theory
Martin Koerwien
J. Symbolic Logic 76(1): 47-65 (March 2011). DOI: 10.2178/jsl/1294170989

Abstract

We present a countable complete first order theory T which is model theoretically very well behaved: it eliminates quantifiers, is ω-stable, it has NDOP and is shallow of depth two. On the other hand, there is no countable bound on the Scott heights of its countable models, which implies that the isomorphism relation for countable models is not Borel.

Citation

Download Citation

Martin Koerwien. "A complicated ω-stable depth 2 theory." J. Symbolic Logic 76 (1) 47 - 65, March 2011. https://doi.org/10.2178/jsl/1294170989

Information

Published: March 2011
First available in Project Euclid: 4 January 2011

MathSciNet: MR2791337
zbMATH: 1215.03052
Digital Object Identifier: 10.2178/jsl/1294170989

Subjects:
Primary: 03C15, 03C45, 03E15

Rights: Copyright © 2011 Association for Symbolic Logic

JOURNAL ARTICLE
19 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.76 • No. 1 • March 2011
Back to Top