14. Skolem–Löwenheim Theorems

  1. Zofia Adamowicz1 and
  2. Paweł Zbierski2

Published Online: 30 SEP 2011

DOI: 10.1002/9781118032541.ch14

Logic of Mathematics: A Modern Course of Classical Logic

Logic of Mathematics: A Modern Course of Classical Logic

How to Cite

Adamowicz, Z. and Zbierski, P. (1997) Skolem–Löwenheim Theorems, in Logic of Mathematics: A Modern Course of Classical Logic, John Wiley & Sons, Inc., Hoboken, NJ, USA. doi: 10.1002/9781118032541.ch14

Author Information

  1. 1

    Institute of Mathematics of the Polish Academy of Sciences

  2. 2

    Department of Mathematics, Warsaw University

Publication History

  1. Published Online: 30 SEP 2011
  2. Published Print: 18 MAR 1997

ISBN Information

Print ISBN: 9780471060260

Online ISBN: 9781118032541

SEARCH

Keywords:

  • Skolem-Löwenheim theorems;
  • relational system;
  • finite set;
  • intnite system;
  • Steinitz theorem

Summary

This chapter contains sections titled:

  • Theorem

  • Skolem Functions

  • Corollary

  • Example