Questions tagged [ultrafilters]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
5 votes
0 answers
311 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 ...
Valerio Capraro's user avatar
1 vote
1 answer
431 views

an elementary substructure of a natural numbers ultrapower

Hi I'm looking for an elementary substructure of a natural numbers ultrapower with a free ultrafilter over a numerable set also must not be isomorphism between the elementary substructure and any ...
user20143's user avatar
7 votes
1 answer
216 views

Are irrational multiples of central sets again central?

Let me begin by giving the relevant definitions. A set $A \subset \mathbb{N}$ is said to be central if and only if there exists a topological system $(X,T)$ (with $X$ a compact metric space, $T$ a ...
Jakub Konieczny's user avatar
10 votes
0 answers
306 views

How much do idempotent ultrafilters generate in terms of semigroups?

It is known that the set of ultrafilters on, say, the natural numbers $\mathbb{N}$, can naturally be endowed with the structure of a compact topological left semigroup (which fails to be anything ...
Jakub Konieczny's user avatar
20 votes
3 answers
2k 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}$ ...
Jackson Walters's user avatar
2 votes
0 answers
129 views

Compactness-like property for universal generalization?

Hi all! I have the following problem. Suppose I have a sequence of models $M_1,M_2,...$, all of which have the same countable domain (call it $D$). $x_1,x_2,...$ is a well-ordering of $D$. $\phi(x)$ ...
Nick Thomas's user avatar
4 votes
1 answer
461 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)$? ...
Bojan Kwitek's user avatar
4 votes
1 answer
369 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 ...
Tomasz Kania's user avatar
  • 11.3k
2 votes
1 answer
280 views

Dimension of An Ultraproduct Field as a Vector Space over Another Ultraproduct Field

Suppose $F \subseteq K$ are fields with $G$ an ultrafilter on an infinite set $X$. If $F^{\ast}$ and $K^{\ast}$ represent the ultraproducts respectively of $F$ and $K$, it is easy to see that $[K : F]...
Shankman's user avatar
4 votes
1 answer
651 views

special extremally disconnected spaces with only finite isolated points

We Know that a cardinal $\kappa$ is measurable if there is a set $X$ with cardinal $\kappa$ and a {0,1}-measure $\mu: P(X) \rightarrow ${$0,1$} so that for all $x \in X$, $\mu(x)=0$ and $\mu(X)=1$. ...
Ali Reza's user avatar
  • 1,778
12 votes
1 answer
965 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 ...
Anton Petrunin's user avatar
6 votes
1 answer
370 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 \...
Slavoj Žižek's user avatar
10 votes
1 answer
636 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$ ...
Noah Schweber's user avatar
11 votes
0 answers
743 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}$? ...
Alvin's user avatar
  • 895
2 votes
1 answer
169 views

Whether the result that an ultraproduct which satisfies ACCP is automatically a field generalizes to ultrafilters on larger indexing sets

Let $F$ be an ultrafilter on some set $X$, $R$ an integral domain and $R_F$ the resulting ultraproduct ring. For an element $(a)$ in the product ring of $R$ indexed by $X$, denote its equivalence ...
Shankman's user avatar
16 votes
1 answer
2k 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 ...
Noah Schweber's user avatar
12 votes
0 answers
664 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 ...
Noah Schweber's user avatar
4 votes
1 answer
342 views

Lattice of differences between ultrafilters

Consider two ultrafilters, $U$ and $V$, on the same cardinal $\kappa$. Let $D(U, V)=\lbrace X\subseteq \kappa: X\in U-V\rbrace$; clearly $D(U, V)$ is a lattice under $\subseteq, \cap, \cup $ since the ...
Noah Schweber's user avatar
2 votes
1 answer
226 views

A Q-point not Ramsey

May I ask where can I read the example of a q-point which is not Ramsey. I'm especially looking for a coloring of the set of two element subsets of $\mathbb{N}$ without a homogeneous set in the q-...
Silva's user avatar
  • 21
5 votes
0 answers
1k views

Mathias forcing with Ramsey ultrafilters, and Cohen reals [closed]

Edit/update: One reason this question never received an answer is because it was founded on a faulty premise! The Blaszczyk-Shelah paper I mentioned below does not prove that Mathias forcing with a ...
Justin Palumbo's user avatar
1 vote
2 answers
239 views

Ultrafilter and contracting maps

I was trying to construct some element with specific properties in an ultraproduct and it boils down to a question which seems relatively natural but leaves me perfectly clueless. $\textbf{Question:}$...
ARG's user avatar
  • 4,342
7 votes
2 answers
750 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 ...
lesnikow's user avatar
  • 235
4 votes
1 answer
544 views

Does ultrafilter have measure one?

Define a new product measure on cantor space as follows:u({0})=a,u({1})=1-a,where a$\in$(0,1/2]. Does any ultrafiter U hasn't measure one? When a=1/2,I know U hasn't measue one.I guess neither when ...
Jialiang He's user avatar
2 votes
2 answers
344 views

Ultrafilters over vector spaces

Perhaps my question is naive, but let me try. Take a (real or complex) vector space $V$ and consider an ideal $\mathcal{I}$ of subsets of $V$ with the following property (call it (*)): for each ...
Jan Veselý's user avatar
4 votes
1 answer
215 views

closed set and z-ultrafilter on normal space

Let $X$ be a completely regular, Hausdorff topological space and let $\cal F$ be a $z$-ultrafilter on $X$. Then for each zero set $W$ in $X$, either $W\in \cal F$ or there exists $Z\in \cal F$ such ...
Douglas Somerset's user avatar
0 votes
2 answers
295 views

ultrafilters' succession

hi I'n looking for a increasing and bounded ultrafilters' succession in natural numbers with Rudin-Keisler order, actually I need to prove there is that succession the idea is $U_1,U_2,....$ with $...
user20143's user avatar
5 votes
0 answers
402 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 ...
Stefan Geschke's user avatar
8 votes
1 answer
984 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 ...
Stefan Geschke's user avatar
4 votes
2 answers
273 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 ...
Andy's user avatar
  • 41
7 votes
2 answers
2k 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 ...
Will's user avatar
  • 178
7 votes
2 answers
2k views

Product of ultrafilters, is it an ultrafilter?

Let $a$ and $b$ are filters. The product $a\times b$ is defined as the filter (on the set of pairs) induced by the base $\{ A\times B | A\in a, B\in b \}$. It is simple to show that product of a non-...
porton's user avatar
  • 739
12 votes
3 answers
1k 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 ...
Adam Bjorndahl's user avatar
1 vote
0 answers
241 views

Defining filters in closure algebras: reference request

A closure algebra C is a boolean algebra B together with a unary closure operator, and additional axioms, the Kuratowski axioms, that the closure operator must satisfy. (The Wikipedia article prefers ...
MikeC's user avatar
  • 327
26 votes
2 answers
2k views

Axiom of choice: ultrafilter vs. Vitali set

It is well known that from a free (non-principal) ultrafilter on $\omega$ one can define a non-measurable set of reals. The older example of a non-measurable set is the Vitali set, a set of ...
Stefan Geschke's user avatar
22 votes
3 answers
2k 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 ...
Tom Leinster's user avatar
  • 27.2k
10 votes
2 answers
550 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 ...
Peter Krautzberger's user avatar
1 vote
1 answer
320 views

About ordering and equivalence of filters

Let $U$ is a set. I will speak about filters on this set. If $f$ is a function and $a$ is a filter then I define $f \left[ a \right]$ as the filter whose base is $\lbrace f[A] | A \in a \rbrace$. I ...
porton's user avatar
  • 739
22 votes
2 answers
1k 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 ...
16 votes
4 answers
2k 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 \...
Amit Kumar Gupta's user avatar
8 votes
6 answers
1k 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 ...
5 votes
1 answer
416 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 ...
Amit Kumar Gupta's user avatar
5 votes
1 answer
451 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)$ ...
Amit Kumar Gupta's user avatar
4 votes
1 answer
981 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 ...
Berry's user avatar
  • 269
10 votes
3 answers
2k 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 ...
Greg Graviton's user avatar
11 votes
2 answers
668 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 ...
JSE's user avatar
  • 19.1k
1 vote
3 answers
1k views

Is the Rudin-Keisler order of ultrafilters linear?

Is the Rudin-Keisler order of ultrafilters linear? Is it a well ordering?
porton's user avatar
  • 739
4 votes
1 answer
241 views

cardinality of local bases in the non-standard reals

Given a index set $S$ together with a ultrafilter $\mu$ on $S$ (such that no set of cardinality $< |S|$ has measure $1$). Let the ordered field $\mathbb{R}(S,\mu)$ denote the ultrapower of $\mathbb{...
HenrikRüping's user avatar
7 votes
3 answers
890 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 ...
user11895's user avatar
13 votes
2 answers
3k 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 ...
Qiaochu Yuan's user avatar
6 votes
1 answer
632 views

Which properties of ultrafilters on countable sets hold for filters in general?

Background/motivation: I'm investigating the construction of models for a first-order modal system (S5) as products of classical models. Since ultraproducts are all classical models and I need non-...
MikeC's user avatar
  • 327