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
Published: December 2012
First available in Project Euclid: 15 October 2012
zbMATH: 1266.03048
MathSciNet: MR3051623
Digital Object Identifier: 10.2178/jsl.7704100
Rights: Copyright © 2012 Association for Symbolic Logic