Definable subsets of the generalized Cantor and Baire spaces
Logic and Set Theory Seminar
23rd May 2023, 1:30 pm – 2:30 pm
Cotham House, G2
Generalized descriptive set theory (GDST) aims at developing a higher analogue of classical descriptive set theory in which ω is replaced with an uncountable cardinal κ in all definitions and relevant notions. In the literature on GDST it is often required that κ<κ = κ, a condition equivalent to κ regular and 2<κ = κ. In contrast, in this paper we use a more general approach and develop in a uniform way the basics of GDST for cardinals κ still satisfying 2<κ = κ but independently of whether they are regular or singular. This allows us to retrieve as a special case the known results for regular κ, but it also uncovers their analogues when κ is singular. We also discuss some new phenomena specifically arising in the singular context (such as the existence of two distinct yet related Borel hierarchies), and obtain some results which are new also in the setup of regular cardinals, such as the existence of unfair Borel∗ codes for all Borel∗ sets. This is joint work with Luca Motto Ros. The zoom link for this talk is https://bristol-ac-uk.zoom.us/j/93185058773.
Comments are closed.