Literatura k tematu "Teorie modelu C aneb uvod do geometricke
teorie modelu" (jaro 2010):
Texty (postupne budu doplnovat):
E.Bouscaren,
Model theory and geometry, tutorial (LC 2000)
D.Marker, Introduction to the model theory of fields
(cast I. v knize)
D.Marker,
Strongly minimal sets and geometry, lecture notes,
U. of Illinois in Chicago
Elementarni dukaz eliminace kvatifikatoru pro ACF:
Quantifier elimination following Muchnik,
C.Michaux a A.Ozturk, 2002.
T.Scanlon,
Diophantine geometry from model theory,
Bull.Symbolic Logic, 7(1), (2001), pp.37-57.
L.van den Dries,
Introduction to model-theoretic
stability, ps file,
U. of Illinois at Champaing-Urbana
L.van den Dries,
Notes on applied stability theory,
ps file, U. of Illinois
in Champaign-Urbana
B.Zilber, Elements of geometric stability theory
, lecture notes from 2003, Oxford U.