3
votes
0answers
77 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 met …
2
votes
0answers
42 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 …
8
votes
3answers
529 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})$, …
3
votes
1answer
180 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 …
4
votes
1answer
157 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 ul …
0
votes
0answers
88 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 …
4
votes
1answer
255 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, \c …
2
votes
1answer
138 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 …
5
votes
1answer
277 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 …
2
votes
1answer
348 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)= …
4
votes
1answer
142 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.
Name …
6
votes
1answer
222 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 n …
9
votes
1answer
519 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 com …
19
votes
3answers
981 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 fi …
2
votes
1answer
113 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 …

