downward Lowenheim-Skolem theorem

Let L be a first order language, let 𝒜 be an L-structureMathworldPlanetmath and let Kdom(𝒜). Then there is an L-structure such that K and ||Max(|K|,|L|) and is elementarily embedded in 𝒜.

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