CATEGORICITY IN QUASIMINIMAL PREGEOMETRY CLASSES

Quasiminimal pregeometry classes were introduced by [6] to isolate the model theoretical core of several interesting examples. He proves that a quasiminimal pregeometry class satisfying an additional axiom, called excellence, is categorical in all uncountable cardinalities. Recently, [2] showed that the excellence axiom follows from the rest of the axioms. In this paper we present a direct proof of the categoricity result without using excellence.