Bradd T Hart

Algebraic Model Theory: Proceedings of the Nato Advanced Study Institute on Algebraic Model Theory, Toronto, Canada, 19-30 August 1996 - Nato Science Series C Bradd T Hart

Marc Notes: Papers from the NATO Advanced Study Institute on Algebraic Model Theory held Aug. 19-30, 1996, at the Fields Institute in Toronto, Ont.; Includes index. Table of Contents: Preface. An Introduction to Independence and Local Modularity; E. Bouscaren. Groups Definable in ACFA; Z. Chatzidakis. Large Finite Structures with Few Types; G. Cherlin. A Survey of the Uncountable Spectra of Countable Theories; B. Hart, M. C. Laskowski. An Introduction to Tame Congruence Theory; E. W. Kiss. Stable Finitely Homogeneous Structures: A Survey; A. H. Lachlan. Homogeneous and Smoothly Approximated Structures; D. Macpherson. Khovanskii's Theorem; D. Marker. ACFA and the Manin-Mumford Conjecture; A. Pillay. Decidable Equational Classes; M. A. Valeriote. Schanuel's Conjecture and the Decidability of the Real Exponential Field; A. J. Wilkie. Three Lectures on the RS Problem; R. Willard. Decidable Modules; M. Ziegler. Index. Brief Description: Proceedings of the NATO Advanced Study Institute on Algebraic Model Theory, Toronto, Canada, 19-30 August 1996