Graduate studies at Western
Bulletin of Symbolic Logic 10 (3):334-366 (2004)
|Abstract||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 theory of uncountable models. The notion of Abstract Elementary Class arose naturally in attempting to prove the categoricity theorem for L ω 1 ,ω (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 special 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|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Anand Pillay & Mark D. Schlatter (2002). Some Results on Permutation Group Isomorphism and Categoricity. Journal of Symbolic Logic 67 (3):910-914.
Victor Harnik & Michael Makkai (1976). Applications of Vaught Sentences and the Covering Theorem. Journal of Symbolic Logic 41 (1):171-187.
Joël Combase (2011). A Silver-Like Perfect Set Theorem with an Application to Borel Model Theory. Notre Dame Journal of Formal Logic 52 (4):415-429.
Ali Enayat (2001). Power-Like Models of Set Theory. Journal of Symbolic Logic 66 (4):1766-1782.
Michael Chris Laskowski (1988). Uncountable Theories That Are Categorical in a Higher Power. Journal of Symbolic Logic 53 (2):512-530.
Robert Goldblatt (2001). Quasi-Modal Equivalence of Canonical Structures. Journal of Symbolic Logic 66 (2):497-508.
Matt Kaufmann (1983). Blunt and Topless End Extensions of Models of Set Theory. Journal of Symbolic Logic 48 (4):1053-1073.
Olivier Lessmann (2005). Upward Categoricity From a Successor Cardinal for Tame Abstract Classes with Amalgamation. Journal of Symbolic Logic 70 (2):639 - 660.
Olivier Lessmann (2003). Categoricity and U-Rank in Excellent Classes. Journal of Symbolic Logic 68 (4):1317-1336.
Rami Grossberg & Monica VanDieren (2006). Shelah's Categoricity Conjecture From a Successor for Tame Abstract Elementary Classes. Journal of Symbolic Logic 71 (2):553 - 568.
Added to index2009-01-28
Total downloads3 ( #213,563 of 739,315 )
Recent downloads (6 months)0
How can I increase my downloads?