Unformatted text preview: x n ) is bounded then lim U x n always exists. 4. Consider the structure N = ( N , ,S ). Let A n = N for all n ∈ N . Let U be a nonprinciple ultraﬁlter. Let N ∗ be the ultraproduct ∏ U A n . (a) Give an explicit deﬁnition of ∏ U A n . In particular, deﬁne the zero element 0 N * and the successor function S N * . (b) Show that every nonzero element of N ∗ is an successor. (c) In N ∗ say an element a is standard if a = ( S N * ) n (0 N * ). Given an example of a nonstandard element of N ∗ ....
View
Full
Document
This note was uploaded on 04/11/2011 for the course MATH 5020 taught by Professor Staff during the Spring '11 term at North Texas.
 Spring '11
 staff
 Set Theory, Sets

Click to edit the document details