Literatura k tematu "Teorie modelu R a o-minimalita" (podzim'09):
Texty (postupne budu doplnovat):
Zakladni text:
Lou van den Dries: Tame topology and O-minimal structures, CUP, 1998.
Elementarni dukaz eliminace kvatifikatoru pro RCF:
Quantifier elimination following Muchnik,
C.Michaux a A.Ozturk, 2002.
D.Marker, Introduction to the model theory of fields
(cast I. v knize)
Michel Coste,
An introduction to O-minimal geometry,
skripta
Michel Coste,
An introdcution to semialgebraic geometry,
skripta.