Questions tagged [ultrafilters]
The ultrafilters tag has no usage guidance.
217
questions
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 ...
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 ...
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 ...
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 ...
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}$ ...
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)$ ...
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)$?
...
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 ...
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]...
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$. ...
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 ...
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 \...
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$ ...
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}$? ...
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 ...
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 ...
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 ...
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 ...
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-...
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 ...
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:}$...
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 ...
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 ...
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 ...
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 ...
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 $...
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 ...
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 ...
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 ...
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 ...
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-...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 \...
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 ...
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)$ ...
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 ...
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 ...
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 ...
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?
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{...
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 ...
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 ...
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-...