Löwenheim-Skolem theorem

Show Summary Details

Quick Reference

Theorem stating that any class of well-formed formulae of the predicate calculus (that has a model, has a model with a denumerable domain. See also Skolem paradox.

Subjects: Philosophy.

Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.