English

Coanalytic Ultrafilter Bases

Logic 2019-12-20 v1

Abstract

We study the definability of ultrafilter bases on ω\omega in the sense of descriptive set theory. As a main result we show that there is no coanalytic base for a Ramsey ultrafilter, while in LL we can construct Π11\Pi^1_1 P-point and Q-point bases. We also show that the existence of a Δn+11\mathbf\Delta^1_{n+1} ultrafilter is equivalent to that of a Πn1\mathbf\Pi^1_n ultrafilter base, for nωn \in \omega. Moreover we introduce a Borel version of the classical ultrafilter number and make some observations.

Keywords

Cite

@article{arxiv.1912.09138,
  title  = {Coanalytic Ultrafilter Bases},
  author = {Jonathan Schilhan},
  journal= {arXiv preprint arXiv:1912.09138},
  year   = {2019}
}
R2 v1 2026-06-23T12:50:52.142Z