the compactness theorem for first-order logic (except in few exercises), at the expense, however,... more the compactness theorem for first-order logic (except in few exercises), at the expense, however, of omitting some topics, such as the model-theoretic treatment of dimension and its analogy with transcendence degree. The book is suitable for a graduate course or as a general reference and should be of interest to model-theorists and geometers. Many exercises lead to further developments of the theory. Alessandro Berarducci Dipartimento di Matematica, Università di Pisa, via Buonarroti 2, I-56127 Pisa, Italy. berardu@dm.unipi.it.
Summary This paper is a survey of recent progress in the model theory of chain fields, with speci... more Summary This paper is a survey of recent progress in the model theory of chain fields, with special emphasis on chain-closed fields.
To any commutative ring, we associate an entailment relation which describes its real spectrum Jo... more To any commutative ring, we associate an entailment relation which describes its real spectrum Joh82].
the compactness theorem for first-order logic (except in few exercises), at the expense, however,... more the compactness theorem for first-order logic (except in few exercises), at the expense, however, of omitting some topics, such as the model-theoretic treatment of dimension and its analogy with transcendence degree. The book is suitable for a graduate course or as a general reference and should be of interest to model-theorists and geometers. Many exercises lead to further developments of the theory. Alessandro Berarducci Dipartimento di Matematica, Università di Pisa, via Buonarroti 2, I-56127 Pisa, Italy. berardu@dm.unipi.it.
Summary This paper is a survey of recent progress in the model theory of chain fields, with speci... more Summary This paper is a survey of recent progress in the model theory of chain fields, with special emphasis on chain-closed fields.
To any commutative ring, we associate an entailment relation which describes its real spectrum Jo... more To any commutative ring, we associate an entailment relation which describes its real spectrum Joh82].
Uploads