English

Definable minimal collapse functions at arbitrary projective levels

Logic 2019-03-27 v1

Abstract

Using a non-Laver modification of Uri Abraham's minimal Δ31\varDelta^1_3 collapse function, we define a generic extension L[a]L[a] by a real aa, in which, for a given n3n\ge3, {a}\{a\} is a lightface Πn1\varPi^1_n singleton, aa effectively codes a cofinal map ωω1L\omega\to\omega_1^L minimal over LL, while every Σn1\varSigma^1_n set XωX\subseteq\omega 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

R2 v1 2026-06-22T20:55:07.677Z