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 ...
by E. Bouscaren. It is a continuation of the article [9], For the reader's conve nience we will recall here the key definitions. For definitions and results ...
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 ...
Mar 12, 2014 · We present a countable complete first order theory T which is model theoretically very well behaved: it eliminates quantifiers, is ω-stable, ...
Download Citation | On Jan 1, 2011, Martin Koerwien published A complicated omega-stable depth 2 theory. | Find, read and cite all the research you need on ...
Abstract. We present a countable complete first order theory T which is model the- oretically very well behaved: it eliminates quantifiers, is ω-stable, ...
A complicated ω-stable depth 2 theory.Martin Koerwien - 2011 - Journal of Symbolic Logic 76 (1):47 - 65. On the strong Martin conjecture.Masanori Itai ...
Apr 25, 2024 · https://dblp.org/rec/journals/jsyml/Koerwien11. Martin Koerwien: A complicated omega-stable depth 2 theory. J. Symb. Log. 76(1): 47-65 (2011).
A complicated ω-stable depth 2 theory.Martin Koerwien - 2011 - Journal of Symbolic Logic 76 (1):47 - 65. Analytic equivalence relations and bi-embeddability ...
Jul 14, 2014 · I know some results in the other direction- the conditions "eni-DOP" and "eni-deep" both imply the isomorphism relation is Borel-complete. This ...
Missing: depth | Show results with:depth