Coanalytic ultrafilter bases

Archive for Mathematical Logic 61 (3-4):567-581 (2022)
  Copy   BIBTEX

Abstract

We study the definability of ultrafilter bases on \ 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 L we can construct \ P-point and Q-point bases. We also show that the existence of a \ ultrafilter is equivalent to that of a \ ultrafilter base, for \. Moreover we introduce a Borel version of the classical ultrafilter number and make some observations.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,752

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2021-11-04

Downloads
25 (#876,630)

6 months
14 (#224,604)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Tight Eventually Different Families.Vera Fischer & Corey Bacal Switzer - 2024 - Journal of Symbolic Logic 89 (2):697-723.

Add more citations

References found in this work

The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory.Kurt Gödel - 1940 - Princeton university press;: Princeton University Press;. Edited by George William Brown.
Δ12-sets of reals.Jaime I. Ihoda & Saharon Shelah - 1989 - Annals of Pure and Applied Logic 42 (3):207-223.
Infinite combinatorics and definability.Arnold W. Miller - 1989 - Annals of Pure and Applied Logic 41 (2):179-203.

View all 7 references / Add more references