most recent 30 from http://mathoverflow.net 2013-05-20T22:06:58Z http://mathoverflow.net/feeds/question/3219 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/3219/controlling-ultrapowers Richard Dore 2009-10-29T06:19:57Z 2010-10-17T05:16:22Z

<p>Say I start with some a transitive model of a large fragment of ZFC (say enough to run Łoś' Theorem externally) and a specific set x&isin;M. Now let's say I'm going to pick some M-ultrafilter U on x. By M-ultrafilter, I mean that U measures the subsets of x which are in M.</p> <p>My question is, by varying U, how much can I affect the ultrapower of M by U? Let's say I limit myself to a U which are countably complete, so that the ultrapower will be wellfounded. If this question is too vague or broad, I'd welcome any interesting examples of things that are possible or impossible.</p>

http://mathoverflow.net/questions/3219/controlling-ultrapowers/3486#3486 Grigor 2009-10-30T23:26:14Z 2009-10-30T23:26:14Z

<p>As much as you wish. Lowenheim Skolem give you such situations and then you can affect it too much. For instance, you can construct situations where the critical point is singular in the ultrapower. You cannot do much if U is amenable to M. Then it is like a real ultrafilter. I don't know what you are asking actually.</p> <p>An interesting question is whether you can have an ultrafilter on kappa such that the powerset of kappa^+ is in the ultrapower and James Cummings solved this by showing that you can. I don't know if it is interesting to look for ultrafilters that can code powerset(kappa^++) into the ultrapower. probably his proof already gives that.</p>