Unformatted text preview: A ⊆ B ⊆ C then A ⊆ C . 3. Show that if A ≺ B ≺ C then A ≺ C . 4. Finish the proof of the Upward L¨owenheim–Skolem Theorem. That is, assuming A is an inﬁnite Lstructure and κ an inﬁnite cardinality, ﬁnd an elementary extension of A of cardinality exactly κ ....
View
Full Document
 Spring '11
 staff
 Math, Set Theory, Model theory, infinite cardinality, Upward L¨wenheim–Skolem Theorem

Click to edit the document details