Codex Wiki OurBigBook logoOurBigBook.comSite Source code

Lowenheim-Skolem theorem

The Löwenheim--Skolem theorems control the cardinalities of models of a first-order theory without changing its first-order truths.

Ancestors (6)

  1. First-order logic
  2. Mathematical logic
  3. Foundations of mathematics
  4. Area of mathematics
  5. Mathematics
  6. Home