Löwenheim–Skolem theorem
id:
l-wenheim-skolem-theorem-161-3354606
title:
Löwenheim–Skolem theorem
text:
In mathematical logic, the Löwenheim–Skolem theorem is a theorem on the existence and cardinality of models, named after Leopold Löwenheim and Thoralf Skolem. The precise formulation is given below. It implies that if a countable first-order theory has an infinite model, then for every infinite cardinal number κ it has a model of size κ, and that no first-order theory with an infinite model can have a unique model up to isomorphism. As a consequence, first-order theories are unable to control th
brand slug:
wiki
category slug:
encyclopedia
description:
Existence and cardinality of models of logical theories
original url:
https://en.wikipedia.org/wiki/L%C3%B6wenheim%E2%80%93Skolem_theorem
date created:
2003-10-15T18:19:11Z
date modified:
2024-08-27T03:11:35Z
main entity:
{"identifier":"Q1068283","url":"https://www.wikidata.org/entity/Q1068283"}
image:
fields total:
13
integrity:
15