Abstract
We prove that a Kueker theory with infinite $dcl(\emptyset)$ 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.
Citation
Predrag Tanović. "On Kueker's conjecture." J. Symbolic Logic 77 (4) 1245 - 1256, December 2012. https://doi.org/10.2178/jsl.7704100
Information