Let X be an infinite set and let and denote the propositions “every filter on X can be extended to an ultrafilter” and “X has a free ultrafilter”, respectively. We denote by the Stone space of the Boolean algebra of all subsets of X. We show: For every well‐ordered cardinal number ℵ, (ℵ) iff (2ℵ). iff “ is a continuous image of ” iff “ has a free open ultrafilter ” iff “every countably infinite subset of has a limit point”. (...) implies “every open filter on extends to an open ultrafilter” implies “has an open ultrafilter” implies It is relatively consistent with that (ω) holds, whereas (ω) fails. In particular, none of the statements given in (2) implies (ω). (shrink)

Ultrafilters play a significant role in model theory to characterize logics having various compactness and interpolation properties. They also provide a general method to construct extensions of first-order logic having these properties. A main result of this paper is that every class $\Omega $ of uniform ultrafilters generates a $\Delta $ -closed logic ${\mathcal {L}}_\Omega $. ${\mathcal {L}}_\Omega $ is $\omega $ -relatively compact iff some $D\in \Omega $ fails to be $\omega _1$ -complete iff ${\mathcal {L}}_\Omega $ does not (...) contain the quantifier “there are uncountably many.” If $\Omega $ is a set, or if it contains a countably incomplete ultrafilter, then ${\mathcal {L}}_\Omega $ is not generated by Mostowski cardinality quantifiers. Assuming $\neg 0^\sharp $ or $\neg L^{\mu }$, if $D\in \Omega $ is a uniform ultrafilter over a regular cardinal $\nu $, then every family $\Psi $ of formulas in ${\mathcal {L}}_\Omega $ with $|\Phi |\leq \nu $ satisfies the compactness theorem. In particular, if $\Omega $ is a proper class of uniform ultrafilters over regular cardinals, ${\mathcal {L}}_\Omega $ is compact. (shrink)

We introduceself-divisibleultrafilters, which we prove to be precisely those$w$such that the weak congruence relation$\equiv _w$introduced by Šobot is an equivalence relation on$\beta {\mathbb Z}$. We provide several examples and additional characterisations; notably we show that$w$is self-divisible if and only if$\equiv _w$coincides with the strong congruence relation$\mathrel {\equiv ^{\mathrm {s}}_{w}}$, if and only if the quotient$(\beta {\mathbb Z},\oplus )/\mathord {\mathrel {\equiv ^{\mathrm {s}}_{w}}}$is a profinite group. We also construct an ultrafilter$w$such that$\equiv _w$fails to be symmetric, and describe the interaction between the (...) aforementioned quotient and the profinite completion$\hat {{\mathbb Z}}$of the integers. (shrink)

We show that MAκ implies that each collection of Pc-points of size at most κ which has a Pc-point as an RK upper bound also has a Pc-point as an RK lower bound.