Skolem paradox

Return to overview »

Results | All related links for this item | 1-2 of 2 results for:

Refine by type

Refine by product


Löwenheim-Skolem theorem

Overview page. Subjects: Philosophy.

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.

See overview in Oxford Index

standard model

Overview page. Subjects: Astronomy and Astrophysics.

An intended or natural model of a theory. A non-standard model of a mathematical theory is one which is not isomorphic with the intended or natural model (See Skolem paradox).

See overview in Oxford Index