# Questions tagged [ultrafilters]

The tag has no usage guidance.

217 questions
Filter by
Sorted by
Tagged with
1 vote
127 views

92 views

• 273
264 views

### Supremum of infimum of measure of members of a free ultrafilter

For a set $A\subseteq \omega$ we let the upper density of $A$ be defined as $d^+(A) := \lim\sup_{n\to\infty}\frac{|A\cap(n+1)|}{n+1}$. Let $\text{FrU}(\omega)$ be the collection of free ultrafilters ...
122 views

• 19.3k
246 views

### ultrapower(ultrapower)=ultrapower

Is there a nonprincipal ultrafilter $\omega$ on $\mathbb N$ such that for any metric space $M$ there is an isometry $$(M^\omega)^\omega\to M^\omega?$$ (In other words, the $\omega$-power of $\omega$-...
• 43.7k
302 views

### Ultrafilters of closed sets

The following definition should be standard, but let me state it just in case there is some ambiguity: If $\mathscr{L}$ is a set of subsets of a set $X$ that is closed under finite unions and ...
• 30.2k
254 views

### Silver-like forcing preserves p-points (reference request)

A Silver forcing "below $2^n$" is defined e.g. in Definition 7.4.11 of [Tomek Bartoszyński and Haim Judah, Set Theory: on the structure of the real line, A. K. Peters, Wellesley, 1995.]. It ...
• 233
140 views

### Is $(\omega+1)^\omega/{\cal U}$ complete for ${\cal U}$ free ultrafilter?

Let ${\cal U}$ be a free ultrafilter on $\omega$. Is the linearly ordered set $(\omega+1)^\omega/{\cal U}$ complete?
2k views

### Are all free ultrafilters 'the same' in some sense?

Consider the set of ultrafilters $\beta(\mathbb N)$ on $\mathbb N$. Any function $f\colon\mathbb N\to\mathbb N$ extends to a function $\beta f\colon \beta \mathbb N \to \beta\mathbb N$. We say that ...
• 964
559 views

### Can there be no "surprisingly averageable" second-order sentences?

Say that a second-order sentence $\varphi$ is averageable iff there exists some infinite cardinal $\kappa$ and some nonprincipal ultrafilter $\mathcal{U}$ on $\kappa$ such that for every $\kappa$-...
• 19.3k
1k views

• 976
259 views

237 views

### "Completion property" in $(\beta\omega,+)$

Let $\beta\omega$ be collection of all ultrafilters on $\omega$ (principal and non-principal). We endow $\beta\omega$ with an operation $+$ in the following way. For ${\bf a}, {\bf b}\in \beta\omega$, ...
174 views

• 10.3k
245 views

### Unbounded $\omega_1$-sequence in $^*\mathbb{N}$

Let $\mathcal{F}$ be a non-principal ultrafilter on $\omega$. Let $^*\mathbb{N}$ = $\mathbb{N}^\omega/\mathcal{F}$ be an ultrapower. Let $\{n_\alpha\}_{\alpha\in\omega_1}$ be a strictly increasing ...
1 vote
148 views

• 1,153