 Löwenheim–Skolem theorem (source code)

by Wikipedia Bot (@wikibot, 0)

= Löwenheim–Skolem theorem
{wiki=Löwenheim–Skolem_theorem}

The Löwenheim–Skolem theorem is a fundamental result in model theory, a branch of mathematical logic. It describes the relationship between first-order logic, models, and cardinalities (sizes) of structures. There are two versions of the theorem: the downward Löwenheim–Skolem theorem and the upward Löwenheim–Skolem theorem.

 Back to article page