Definable minimal collapse functions at arbitrary projective levels
Logic
2019-03-27 v1
Abstract
Using a non-Laver modification of Uri Abraham's minimal collapse function, we define a generic extension by a real , in which, for a given , is a lightface singleton, effectively codes a cofinal map minimal over , while every set is still constructible.
Keywords
Cite
@article{arxiv.1707.07320,
title = {Definable minimal collapse functions at arbitrary projective levels},
author = {Vladimir Kanovei and Vassily Lyubetsky},
journal= {arXiv preprint arXiv:1707.07320},
year = {2019}
}
Comments
30 pages