Notes on quasiminimality and excellence

This paper ties together much of the model theory of the last 50 years. Shelah's attempts to generalize the Morley theorem beyond first order logic led to the notion of excellence, which is a key to the structure f uncountable models. The notion of Abstract Elementary Class arose naturally in attempting to prove the categoricity theorem for L1,(Q). More recently, Zilber has attempted to identify canonical mathematical structures as those whose theory (in an appropriate logic) is categorical in all powers. Zilber's trichotomy conjecture for first order categorical structures was refuted by Hrushovski, by the introducion of a kind of Abstract Elementary Class. Zilber uses a powerful and essentailly infinitary variant on these techniques to investigate complex exponentiation. This not only demonstrates the relevance of Shelah's model theoretic investigations to mainstream mathematics but produces new results and conjectures in algebraic geometry. Zilber proposes [63] to pr...

• Type: Journal
• Year: 2004
• Where: BSL
• Authors: John T. Baldwin
• Keywords: Abstract Elementary Class, BSL 2004, Infinitary Languages, Model