This preview shows page 1. Sign up to view the full content.
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 ultralter. Let N be the ultraproduct U A n . (a) Give an explicit denition of U A n . In particular, dene 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
 Spring '11
 staff
 Set Theory, Sets

Click to edit the document details