{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

homework01 - A ⊆ B ⊆ C then A ⊆ C 3 Show that if A...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
Math 5020 Homework 1 due Friday, February 11 Throughout the homework assignment, unless otherwise specified, we fix a first-order language L and assume all structures are L -structures. 1. Show that A B iff for any quantifier-free L -formula φ ( x 1 , . . . , x n ) and a 1 , . . . , a n ∈ | A | , A | = φ [ a 1 , . . . , a n ] ⇐⇒ B | = φ [ a 1 , . . . , a n ] . 2. Show that if
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

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 infinite L-structure and κ an infinite cardinality, find an elementary extension of A of cardinality exactly κ ....
View Full Document

{[ snackBarMessage ]}

Ask a homework question - tutors are online