A Solovay-like model for singular generalized descriptive set theory

DOI10.1016/J.TOPOL.2022.108284MaRDI QIDQ6402522arXivFDO

Authors Vincenzo Dimonte

Publication date 19 June 2022

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45)

Abstract: Kunen's proof of the non-existence of Reinhardt cardinals opened up the research on very large cardinals, i.e., hypotheses at the limit of inconsistency. One of these large cardinals, I0, proved to have descriptive-set-theoretical characteristics, similar to those implied by the Axiom of Determinacy: if $lambda$ witnesses I0, then there is a topology for $V_{lambda+1}$ that is completely metrizable and with weight $lambda$ (i.e., it is a $lambda$-Polish space), and it turns out that all the subsets of $V_{lambda+1}$ in $L(V_{lambda+1})$ have the $lambda$-Perfect Set Property in such topology. In this paper, we find another generalized Polish space of singular weight $kappa$ of cofinality $omega$ such that all its subsets have the $kappa$-Perfect Set Property, and in doing this, we are lowering the consistency strength of such property from I0 to $kappa$ $heta$-supercompact, with $heta>kappa$ inaccessible.

This page was built for publication: A Solovay-like model for singular generalized descriptive set theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6402522)