English

A Solovay-like model for singular generalized descriptive set theory

Logic 2022-06-22 v1

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λ+1V_{\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λ+1V_{\lambda+1} in L(Vλ+1)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 θ\theta-supercompact, with θ>κ\theta>\kappa inaccessible.

Keywords

Cite

@article{arxiv.2206.09442,
  title  = {A Solovay-like model for singular generalized descriptive set theory},
  author = {Vincenzo Dimonte},
  journal= {arXiv preprint arXiv:2206.09442},
  year   = {2022}
}
R2 v1 2026-06-24T11:56:35.117Z