Switch to: References

Citations of:

Types directed by constants

Predrag Tanović

Annals of Pure and Applied Logic 161 (7):944-955 (2010)

Add citations

You must login to add citations.

Simple types in discretely ordered structures.Dejan Ilić - 2014 - Archive for Mathematical Logic 53 (7-8):929-947.details We introduce a notion of simplicity for types in discretely ordered first order structures. We prove that all the structure on the locus of a simple type is induced exclusively by the ordering relation. As an application we determine all possible expansions of satisfying CB = 1. Download Export citation Bookmark
Minimal first-order structures.Predrag Tanović - 2011 - Annals of Pure and Applied Logic 162 (11):948-957.details We prove a dichotomy theorem for minimal structures and use it to prove that the number of non-isomorphic countable elementary extensions of an arbitrary countable, infinite first-order structure is infinite. Download Export citation Bookmark 2 citations
On Kueker's conjecture.Predrag Tanović - 2012 - Journal of Symbolic Logic 77 (4):1245-1256.details 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. Download Export citation Bookmark

1