ϕ �� Σ ′ and Σ ′ (ϕ; χ)-expansion of h ′ ↾ϕ to a Σ ′′-model homomorphism M ′′ Σ ′′-model homomorphism from M ′′. χ ��Σ ′′ . Consider any Σ ′-model homomorphism M ′′ h ↾χ ′ h′′ θ i �� N ′ . Then the unique ��N ′′ constitutes the unique χ-expansion of h ′ t (0)

by Σ Let
Venue:card( ∪ β<α iβ) ≤ card(α) × card(α) ≤ λ × λ = λ < λ +.) For all iα ≤ j < k ≤ λ