On Kueker's conjecture

Journal of Symbolic Logic 77 (4):1245-1256 (2012)
  Copy   BIBTEX

Abstract

We prove that a Kueker theory with infinite dcl(Ø) does not have the strict order property and that strongly minimal types are dense: any non-algebraic formula is contained in a strongly minimal type

Categories

Keywords

Reprint years

DOI

10.2178/jsl.7704100

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,854

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Kueker's conjecture for superstable theories.Steven Buechler - 1984 - Journal of Symbolic Logic 49 (3):930-934.
Kueker's conjecture for stable theories.Ehud Hrushovski - 1989 - Journal of Symbolic Logic 54 (1):207-220.
Asymmetric RK-minimal types.Predrag Tanović - 2010 - Archive for Mathematical Logic 49 (3):367-377.
Isolated types in a weakly minimal set.Steven Buechler - 1987 - Journal of Symbolic Logic 52 (2):543-547.
Zilber's conjecture for some o-minimal structures over the reals.Ya'acov Peterzil - 1993 - Annals of Pure and Applied Logic 61 (3):223-239.
Interpreting structures of finite Morley rank in strongly minimal sets.Assaf Hasson - 2007 - Annals of Pure and Applied Logic 145 (1):96-114.
DMP in Strongly Minimal Sets.Assaf Hasson & Ehud Hrushovski - 2007 - Journal of Symbolic Logic 72 (3):1019 - 1030.
An exposition of Hrushovskiʼs New Strongly Minimal Set.Martin Ziegler - 2013 - Annals of Pure and Applied Logic 164 (12):1507-1519.
Regular types in nonmultidimensional ω-stable theories.Anand Pillay - 1984 - Journal of Symbolic Logic 49 (3):880-891.
Automorphism groups of trivial strongly minimal structures.Thomas Blossier - 2003 - Journal of Symbolic Logic 68 (2):644-668.

Analytics

Added to PP
2012-11-03

Downloads
150 (#152,557)

6 months
11 (#364,844)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Vaught’s conjecture for superstable theories of finite rank.Steven Buechler - 2008 - Annals of Pure and Applied Logic 155 (3):135-172.
On constants and the strict order property.Predrag Tanović - 2006 - Archive for Mathematical Logic 45 (4):423-430.
Types directed by constants.Predrag Tanović - 2010 - Annals of Pure and Applied Logic 161 (7):944-955.
Minimal first-order structures.Predrag Tanović - 2011 - Annals of Pure and Applied Logic 162 (11):948-957.
Very simple theories without forking.Ludomir Newelski - 2003 - Archive for Mathematical Logic 42 (6):601-616.

Add more references