Algebraic Model Theory

Recent major advances in model theory include connections between model theory and Diophantine and real analytic geometry, permutation groups, and finite algebras. The present book contains lectures on recent results in algebraic model theory, covering topics from the following areas: geometric mode...

Full description

Bibliographic Details
Other Authors: Hart, Bradd T. (Editor), Lachlan, A. (Editor), Valeriote, Matthew A. (Editor)
Format: eBook
Language:English
Published: Dordrecht Springer Netherlands 1997, 1997
Edition:1st ed. 1997
Series:Nato Science Series C:, Mathematical and Physical Sciences
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
LEADER 02503nmm a2200373 u 4500
001 EB000721058
003 EBX01000000000000000574140
005 00000000000000.0
007 cr|||||||||||||||||||||
008 140122 ||| eng
020 |a 9789401589239 
100 1 |a Hart, Bradd T.  |e [editor] 
245 0 0 |a Algebraic Model Theory  |h Elektronische Ressource  |c edited by Bradd T. Hart, A. Lachlan, Matthew A. Valeriote 
250 |a 1st ed. 1997 
260 |a Dordrecht  |b Springer Netherlands  |c 1997, 1997 
300 |a XVII, 277 p  |b online resource 
505 0 |a An introduction to independence and local modularity -- Groups definable in ACFA -- Large finite structures with few types -- A survey of the uncountable spectra of countable theories -- An introduction to tame congruence theory -- Stable finitely homogeneous structures: a survey -- Homogeneous and smoothly approximated structures -- Khovanskii’s Theorem -- ACFA and the Manin-Mumford conjecture -- Decidable equational classes -- Schanuel’s conjecture and the decidability of the real exponential field -- Three lectures on the RS problem -- Decidable modules 
653 |a Group Theory and Generalizations 
653 |a Algebraic Geometry 
653 |a Group theory 
653 |a Mathematical logic 
653 |a Functions of real variables 
653 |a Real Functions 
653 |a Algebraic geometry 
653 |a Mathematical Logic and Foundations 
700 1 |a Lachlan, A.  |e [editor] 
700 1 |a Valeriote, Matthew A.  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b SBA  |a Springer Book Archives -2004 
490 0 |a Nato Science Series C:, Mathematical and Physical Sciences 
028 5 0 |a 10.1007/978-94-015-8923-9 
856 4 0 |u https://doi.org/10.1007/978-94-015-8923-9?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 511.3 
520 |a Recent major advances in model theory include connections between model theory and Diophantine and real analytic geometry, permutation groups, and finite algebras. The present book contains lectures on recent results in algebraic model theory, covering topics from the following areas: geometric model theory, the model theory of analytic structures, permutation groups in model theory, the spectra of countable theories, and the structure of finite algebras. Audience: Graduate students in logic and others wishing to keep abreast of current trends in model theory. The lectures contain sufficient introductory material to be able to grasp the recent results presented