2 papers
math.LO2025
Generalized Descriptive Set Theory and Classification Theory
Sy-David Friedman, Tapani Hyttinen, Vadim Kulikov
Descriptive set theory is mainly concerned with studying subsets of the space of all countable binary sequences. In this paper we study the generalization where countable is replac…
math.LO2025
Good projective witnesses
Vera Fischer, Sy David Friedman, David Schrittesser +1
We develop a new forcing notion for adjoining self-coding cofinitary permutations and use it to show that consistently, the minimal cardinality of a maxima…