9
votes
3answers
716 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
0answers
200 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 ...
19
votes
3answers
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 ...
10
votes
4answers
775 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 ...
4
votes
1answer
362 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 ...