The ultrafilters tag has no wiki summary.

**112**

votes

**0**answers

9k views

### Ultrafilters and automorphisms of the complex field

It is well-known that it is consistent with $ZF$ that the only automorphisms of the complex field $\mathbb{C}$ are the identity map and complex conjugation. For example, we have that ...

**25**

votes

**3**answers

1k views

### product of all F_p, p prime

Let $R$ be the ring $$R = \prod_{p\ \text{prime}} \mathbb{F}_p$$ where $\mathbb{F}_p$ is the field having $p$ elements.
Is it true that $R$ has a quotient by a maximal ideal which is a field of ...

**24**

votes

**2**answers

2k views

### “Transitivity” of the Stone-Cech compactification

Let $\beta \mathbb{N}$ be the Stone-Cech compactification of the natural numbers $\mathbb{N}$, and let $x, y \in \beta \mathbb{N} \backslash \mathbb{N}$ be two non-principal elements of this ...

**19**

votes

**3**answers

1k views

### An ultrafilter is a set of subsets containing exactly one element of each finite partition: reference request

There are probably dozens of ways of defining "ultrafilter". The definition I've seen most often involves first defining "filter", then declaring an ultrafilter to be a maximal filter.
But there's ...

**18**

votes

**8**answers

2k views

### Connections between ultrafilters in topology and logic

I have a some-what vague question. It seems to me that there are two main ways in which ultrafilters (on a set) can be used. One is in topology. The notion of an ultrafilter converging to a point is ...

**16**

votes

**2**answers

568 views

### How “much” does (Grigorieff) forcing destroy an ultrafilter?

Introduction. I recently revisited Shelah's model without P-points and I was wondering how "badly" Grigorieff forcing destroys ultrafilters, i.e., what kind of properties can survive the destruction ...

**14**

votes

**3**answers

264 views

### Does an ultrapower of an Aronszajn tree have an $\omega_{1}$-branch?

Throughout this question, I shall let $A^{\mathcal{U}}$ denote the ultrapower of a structure $A$ by an ultrafilter $\mathcal{U}$. Suppose that $T$ is an Aronszajn tree and $\mathcal{U}$ is an ...

**13**

votes

**2**answers

350 views

### Why does CH imply that there is a unique ultrapower of $\mathbb{N}$?

I've read these words: "How many ultra products $∏_Uℕ$ exist up to isomorphism, where $U$ is a non-principal ultrafilter over $ℕ$? If continuum hypothesis(CH) holds, then obviously just one ..."
i ...

**13**

votes

**2**answers

565 views

### What is the prime spectrum of a Cauchy series ring?

Let $k$ be a field, and let $| \ |$ be a norm on $k$. The norm induces a metric. To construct the completion $\hat{k}$ as a normed field, the standard recipe is to take the quotient of the ring ...

**12**

votes

**2**answers

782 views

### Ultrafilters arising from Keisler-Shelah ultrapower characterisation of elementary equivalence

In model theory, two structures $\mathfrak{A}, \mathfrak{B}$ of identical signature $\Sigma$ are said to be elementarily equivalent ($\mathfrak{A} \equiv \mathfrak{B}$) if they satisfy exactly the ...

**11**

votes

**3**answers

1k views

### Non-principal ultrafilters on ω

I thought I had heard or read somewhere that the existence of a non-principal ultrafilter on $\omega$ was equivalent to some common weakening of AC. As I searched around, I read that this is not the ...

**10**

votes

**1**answer

194 views

### Idempotent ultrafilters and the Rudin-Keisler ordering

Short version: what can we say about the place of idempotent ultrafilters in the Rudin-Keisler ordering?
Longer version:
If $U$, $V$ are (nonprincipal) ultrafilters on $\omega$, then we write ...

**10**

votes

**1**answer

650 views

### Characterization of Stone-Cech compactifications

Suppose I have an infinite discrete topological space $X$ of cardinality $\kappa$. Then I know some things about the Stone-Cech compactification, $\beta X$: it is Hausdorff and compact but not ...

**9**

votes

**10**answers

2k views

### Are nets and filters useful in geometry and topology?

Many results in topology can be restated using the concepts of nets and ultrafilters. This seems to be of interest for set theorists, maybe even logicians. But for geometers and topologists, those who ...

**9**

votes

**4**answers

754 views

### Is every p-point ultrafilter Ramsey?

A non-principal ultrafilter $\mathcal{U}$ on $\omega$ is a p-point (or weakly selective) iff for every partition $\omega = \bigsqcup _{n < \omega} Z_n$ into null sets, i.e each $Z_n \not \in ...

**9**

votes

**3**answers

706 views

### A unique ultrafilter extending a union of filters?

Original Question:
Let $\mathcal{P}(\omega)/fin$ denote the Boolean algebra formed from $\mathcal{P}(\omega)$ by modding out by the ideal $fin$ of finite subsets of $\omega$. As a first pass at the ...

**9**

votes

**2**answers

538 views

### “Probabilistic ultrafilters?”

A naive question.
Let $S$ be a set and let $[0,1]^S$ the set of functions from $S$ to the closed interval $[0,1]$.
Suppose given some function $P \colon [0,1]^S \to [0,1]$ satisfying the following ...

**9**

votes

**2**answers

636 views

### Stone–Čech Compactification of $\mathbb{Z}$ with Fürstenberg Topology

The Stone–Čech Compactification of $\mathbb{N}$ as a discrete space has been extensively studied and can be represented using ultrafilters.
Consider $X=(\mathbb{Z},\mathcal{T})$, where $\mathcal{T}$ ...

**8**

votes

**5**answers

647 views

### Spaces of filters

This question arose more from curiosity than from an actual problem. There are situations when you embed some space $X$ in a set of filters on $X$, which inherits properties of $X$ or has even better ...

**8**

votes

**1**answer

368 views

### Commutative algebras whose bidual is commutative

Let $k$ be a commutative ring and $A$ a commutative $k$-algebra. Call $D(A) := \mathrm{Hom}_k(A,k)$ the dual of $A$ as a $k$-module, and $DD(A) := \mathrm{Hom}_k(D(A),k)$ the dual of the latter. Let ...

**8**

votes

**1**answer

506 views

### Controlling Ultrapowers

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∈M. Now let's say I'm going to pick some M-ultrafilter U on x. ...

**8**

votes

**0**answers

475 views

### A basic question on Stone-Cech compactification of $\mathbb{Z}$

Can the identity isomorphism on the additive group $\mathbb{Z}$ be extended to a non-identity semigroup isomorphism on $\beta\mathbb{Z}$, and still preserves $\beta\mathbb{Z}\setminus\mathbb{Z}$? ...

**8**

votes

**0**answers

450 views

### Existence (or non) of “definable” ultrafilters

This is a question which I suspect has an absurdly easy answer, but I'm not seeing it.
Let $\langle\cdot,\cdot\rangle:\omega^2\rightarrow\omega$ be your favorite pairing map (for me, this is the ...

**7**

votes

**1**answer

225 views

### Ultralimit versus partial limit

Let $\omega$ be a nonprincipal ultrafilter on $\mathbb N$.
A standard construction gives an $\omega$-limit, say $x_\omega$, for any bounded sequence $(x_n)$ of real numbers.
Namely, there is unique ...

**7**

votes

**2**answers

368 views

### Destroying the P-filter-property

It is known that if a forcing notion is proper, then every P-filter will generate a P-filter in the generic extension (see, e.g., Shelah, Proper and Improper Forcing, VI.5)
On the other hand, if we ...

**7**

votes

**3**answers

703 views

### Construction of a maximal ideal

Hello,
Let R denote the ring of continuous functions defined on the real line, let I in R be the ideal consisting of functions with compact support. Obviously, I is not maximal, and by Zorn's Lemma ...

**7**

votes

**1**answer

178 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 ...

**7**

votes

**2**answers

1k views

### Direct construction of the Stone-Čech compactification using ultrafilters?

If $X$ is a set (regarded as a discrete space), its Stone-Čech compactification can be identified with the set of ultrafilters on $X$ with its natural (Stone) topology. If $X$ is a general ...

**7**

votes

**1**answer

191 views

### A special c.c.c forcing notion and adding minimal generic reals

This question is related to my question "Forcing with c.c.c forcing notions, Cohen reals and Random reals".
A natural way to answer Prikry's conjecture is to build a c.c.c. forcing notion which adds ...

**7**

votes

**1**answer

389 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 ...

**7**

votes

**0**answers

106 views

### Extending a Ramsey filter

We take filter to mean filter on $\omega$ containing all cofinite sets. We say a filter $F$ is Ramsey if ZERO does not have a winning strategy in the following infinite game between the two players ...

**6**

votes

**3**answers

601 views

### Reference Request: Independence of the ultrafilter lemma from ZF

I'm looking for references for the following facts concerning the ultrafilter lemma (~ "there exist non-principal ultrafilters"):
The ultrafilter lemma is independent of ZF.
ZF + the ultrafilter ...

**6**

votes

**3**answers

350 views

### Is the product of ultrafilters cancellative?

Suppose that $\mathcal{U},\mathcal{V}$ are ultrafilters on sets. Recall that $\mathcal{U}\leq_{RK}\mathcal{V}$ (here we say $\mathcal{U}$ is Rudin-Keisler less than or equal to $\mathcal{V}$) iff for ...

**6**

votes

**1**answer

396 views

### Existence of non-principal ultrafilters on sets

Is it known to be consistent with ZF that there is no non-principal ultrafilter on any infinite set? (Feel free to use your favorite interpretation of "infinite" in this context.
If infinite just ...

**6**

votes

**1**answer

259 views

### Determinacy and definable ultrafilters

It is a simple consequence of AD that there are no non-principal ultrafilters on $\omega$: for $U$ an ultrafilter on $\omega$, consider the game $G_U$ where players I and II play natural numbers $x_0$ ...

**6**

votes

**0**answers

189 views

### Double ultrapower of the hyperfinite $II_1$-factor

Let $\omega$ be a free ultrafilter on the natural numbers and $R$ be the hyperfinite $II_1$-factor (the definition of $R$ is recalled in the comments).
Question: Does there exist another free ...

**5**

votes

**3**answers

188 views

### In $L$, does there exist a definable non-principal ultrafilter on $\mathbb{N}$

The axiom of constructibility $V=L$ leads to some very interesting consequences, one of which is that it becomes possible to give explicit constructions of some of the "weird" results of AC. For ...

**5**

votes

**1**answer

405 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

**1**answer

137 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" ...

**5**

votes

**1**answer

301 views

### How much $\beta \mathbb{N}$ is homogenous?

Let $p,q\in \beta \mathbb{N}\setminus \mathbb{N}$. Must always the spaces $\beta \mathbb{N}\setminus \{p\}$ and $\beta \mathbb{N}\setminus \{q\}$ be homeomorphic? If no, can we for each point $p\in ...

**5**

votes

**1**answer

104 views

### Shelah's proof that proper forcing preserves P-points

In Proper and Improper forcing, VI.5; Claim 5.1 part 1 is the following:
If $F$ is a P-point in $V$, $P$ is a proper forcing notion and
$\Vdash_P `` F$ generates an ultrafilter"
Then the ultrafilter ...

**5**

votes

**1**answer

300 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 ...

**5**

votes

**0**answers

251 views

### Boolean Prime Ideal Theorem and non-principal ultrafilters

Somewhat related to my other question Existence of non-principal ultrafilters on sets,
is it known whether it is consistent with ZF that every infinite set has a free (non-principal) ultrafilter, but ...

**4**

votes

**2**answers

762 views

### Are all countable, nonstandard models of arithmetic given by ultrapowers?

Countable models of PA fall into two categories: the standard one $(\omega, S)$ and the nonstandard ones (all the rest). The only way I've seen to construct a nonstandard model is through taking an ...

**4**

votes

**1**answer

626 views

### How can an ultrapower of a model of ZFC be “ill-founded” yet still satisfy ZFC?

My understanding (please correct me if I'm wrong) is that if you have some transitive set M which is an $\epsilon$-model of ZFC, and you take an ultrapower of it using an approprate ultrafilter, you ...

**4**

votes

**1**answer

181 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 ...

**4**

votes

**1**answer

282 views

### Kadison-Singer problem in exotic Hilbert spaces

The Kadison-Singer problem is considered in relation to the separable Hilbert space:
KS: Does every pure state on the diagonal (atomic) masa of $B(\ell_2)$ has a unique extension to $B(\ell_2)$?
...

**4**

votes

**1**answer

618 views

### Questions on ultrafilters

Hi, I know that there are models in ZFC where don't exist p-points, but I can't find (neither on internet) a proof that I understand, some of you could help me please?
Another question: I know that ...

**4**

votes

**2**answers

250 views

### Are there q-filters which are not ultrafilters?

I have just read that a selective ultrafilter must necessary be an ultrafilter. Is this also true for q-filters?
Im not sure if using CH for instance, we can follow the construction of a q-point but ...

**4**

votes

**1**answer

272 views

### What is known about the ultra-inverse limit?

Given a nonprincipal ultrafilter $\mu$ on $\mathbb{N}$ and a sequence of groups $G_i$, one can define its ultraproduct as:
$$ ^*\prod_{i\in \mathbb{N}}G_i:=\{(x_i)_{i \in \mathbb{N}}| x_i\in ...