Abstract
In this chapter we wish to study properties of model classes. By a model class we mean the class of all models of an axiom system Σ.
First we shall furnish such a class with a topology whose compactness is exactly the content of the Finiteness Theorem 1.5.6. After that, we shall introduce several properties of the model class of an axiom system Σ, whose study can lead, among other things, to the proof of the completeness (recall §1.6) of Σ. We shall carry this out explicitly for a series of theories axiomatized in (1.6).
The properties of Σ or of its model class to be introduced are: categoricity in a fixed cardinality, model completeness and quantifier elimination. The study of these properties is based not only on the possible applicability to the proof of the completeness of a theory, but is, rather, also justified by its usefulness in concrete, mathematical (in particular, algebraic) theories. In this chapter we shall investigate such properties only for the theory of algebraically closed fields; in Chapter 4, other theories will follow.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2011 Springer-Verlag London Limited
About this chapter
Cite this chapter
Prestel, A., Delzell, C.N. (2011). Properties of Model Classes. In: Mathematical Logic and Model Theory. Universitext. Springer, London. https://doi.org/10.1007/978-1-4471-2176-3_4
Download citation
DOI: https://doi.org/10.1007/978-1-4471-2176-3_4
Publisher Name: Springer, London
Print ISBN: 978-1-4471-2175-6
Online ISBN: 978-1-4471-2176-3
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)