Advertisement

Elementary Subsystems of Henkin-Keisler Models I

Part of the Mathematics and Its Applications book series (MAIA, volume 392)

Abstract

In this chapter we investigate elementary subsystems of Henkin-Kesler models. Since finite interpretations have no elementary subsystems different from themselves, attention is focused on infinite Henkin-Keisler models. Given any infinite interpretation of type K, the Dawnward Löwenheim-Skolem Theorem (Theorem 1.1.1) guarantees the existence of elementary subsystems in each cardinality strictly smaller than the cardinality of the given interpretation and greater than the cardinality of the language over K. A fortiori, infinite Henkin-Keisler models have elementray subsystems in each such cardinality. When K is countable, no infinite interpretation of type K can have finite elementary subsysyems. However, when K is uncountable, certain Henkin-Keisler models have elementary subsystems strictly smaller than the cardinality of the language over K.

Keywords

Constant Term Maximal Extension Isomorphic Copy Measurable Cardinal Individual Constant 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Keisler, H. J., Limit Ultrapowers, Trans. Am. Math. Soc. 107, 383–408, 1963.CrossRefGoogle Scholar
  2. Keisler, H. J., A Survey of Ultraproducts, Logic, Methodology and Philosophy of Science, Y. Bar-Hillel, editor (North Holland, Amsterdam) 112–126, 1965.Google Scholar

Copyright information

© Kluwer Academic Publishers 1997

Personalised recommendations