Pregeometries: examples and associated notions (dimension, independence, etc.)
Proof that topological dimension equals pregeometric dimension in o-minimal structures
Proof that Morley rank equals pregeometric dimension in strongly minimal structures
Groups definable in o-minimal structures: proof of existence of definable manifold topology, sketch of Pillay's Principle on quotients by infinitesimal subgroups