Mathematics – Logic
Scientific paper
2011-01-03
Mathematics
Logic
Scientific paper
We introduce the notion of "functional extension" of a set X, by means of two natural algebraic properties of the operator * on unary functions. We study the connections with ultrapowers of structures with universe X, and we give a simple characterization of those functional extensions that correspond to limit ultrapower extensions. In particular we obtain a purely algebraic proof of Keisler's characterization of nonstandard (= complete elementary) extensions.
No associations
LandOfFree
A simple algebraic characterization of nonstandard extensions does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A simple algebraic characterization of nonstandard extensions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A simple algebraic characterization of nonstandard extensions will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-239021