Fake reflection
We introduce a generalization of stationary set reflection which we call filter reflection, and
show it is compatible with the axiom of constructibility as well as with strong forcing axioms …
show it is compatible with the axiom of constructibility as well as with strong forcing axioms …
On -completeness of quasi-orders on
We prove under $ V= L $ that the inclusion modulo the non-stationary ideal is a $\Sigma_1^
1$-complete quasi-order in the generalized Borel-reducibility hierarchy ($\kappa>\omega $) …
1$-complete quasi-order in the generalized Borel-reducibility hierarchy ($\kappa>\omega $) …
[PDF][PDF] Finding the main gap in the Borel-reducibility hierarchy
M Moreno - Helsingin Yliopisto, 2017 - helda.helsinki.fi
This research was supported by the DOCTORAL PROGRAMME IN MATHEMATICS AND
STATISTICS (Domast), to which I want to express my gratitude. Without their support it would …
STATISTICS (Domast), to which I want to express my gratitude. Without their support it would …
[PDF][PDF] Tutorial on Generalized Descrptive Set Theory
M Moreno - 2023 - mathematik.univie.ac.at
This notes are based on a series of talks given at the Set Theory seminar of University of
Vienna. This notes are intended to be as close as possible to the transcripts of those …
Vienna. This notes are intended to be as close as possible to the transcripts of those …