1
vote
3answers
293 views

Can the structure of an ultrafilter determine the structure of its ultrapower?

Usually we work with ultrafilters as pure sets without any structure. Q1. Is there any important notion of structure on an ultrafilter? Q2. Is there any non-trivial notion of structure on ...
7
votes
1answer
194 views

Character of normal ultrafilters

The character of an ultrafilter $U$, denoted $\chi(U)$, is the minimal size of an $A \subseteq U$ such that $(\forall x \in U ) (\exists y \in A) y \subseteq x$. This cardinal characteristic has been ...
5
votes
1answer
140 views

Is there a truth approximation on a‎ cumulative hierarchy‎‎‎‎?

‎‎‎Note ‎to ‎the ‎following ‎well known theorem:‎ Theorem (1): ‎If ‎‎$‎‎\kappa‎‎$ ‎be a ‎‎"measurable" ‎cardinal ‎and ‎‎$‎‎‎\mathcal{F}‎$ be a‎ ‎"non-principal ‎$‎‎‎\kappa‎$-complete normal‎" ...
3
votes
1answer
194 views

ultrafilter characterisation of huge cardinals

A cardinal $\kappa$ is huge iff there is $\lambda>\kappa$ and a $\kappa$-complete normal ultrafilter on $P_{\leq \kappa}(\lambda)$, or, equivalently, on the set of families of subsets of $\lambda$ ...
4
votes
1answer
195 views

Extending complete filters

Suppose $\kappa$ is a measurable cardinal and let $\mathcal{F}\subset\wp(\kappa)$ be a $\kappa$-complete non-principal filter. Can we extend $\mathcal{F}$ to a $\kappa$-complete ultrafilter? My ...
5
votes
1answer
415 views

An Extender is a Generalization of an Ultrafilter?

I'm not sure whether this belongs here or on math stackexchange, but I'll give a try here. I've heard that an extender is a generalization of an ultrafilter. This is not to say that an ultrafilter ...
5
votes
1answer
304 views

Does a generic normal measure extend the club filter?

This question is related to this one. The setup is as follows: In $V$, $\kappa$ is supercompact and $\mathbb{P} = \mathrm{Coll}(\kappa, \aleph_2)$ is the Levy collapse. $G$ is $(V,P)$-generic, and ...
4
votes
1answer
298 views

Normal measures on $P_{\kappa }(\lambda )$ extend the club filter

This is (a variation on) exercise 20.4 in Jech's "Set Theory." Let $j : V \to M$ witness $\lambda$-supercompactness of $\kappa$, and consider the normal measure $U$ on $P_{\kappa}(\lambda)$ ...
7
votes
1answer
396 views

A question on ultrapower

Suppose $\kappa_0$ is a measurable cardinal and $\mu_0$ is a normal measure on $\kappa_0$. $M_1$ is the transitive collapse of $Ult(V,\mu_0)$, $j_{0,1}:V\rightarrow{M_1}$ is the elementary embedding ...