upward Lowenheim-Skolem theorem

Let L be a first-order language and let 𝒜 be an infiniteMathworldPlanetmath L-structureMathworldPlanetmath. Then if κ is a cardinal with κMax(|𝒜|,|L|) then there is an L-structure such that ||=κ and 𝒜.

Title upward Lowenheim-Skolem theorem
Canonical name UpwardLowenheimSkolemTheorem
Date of creation 2013-03-22 13:00:39
Last modified on 2013-03-22 13:00:39
Owner Evandar (27)
Last modified by Evandar (27)
Numerical id 6
Author Evandar (27)
Entry type Theorem
Classification msc 03C07