English

Reflection Properties of Ordinals in Generic Extensions

Logic 2023-11-22 v1

Abstract

We study the question of when a given countable ordinal α\alpha is Σn1\Sigma^1_n- or Πn1\Pi^1_n-reflecting in models which are neither PD\mathsf{PD} models nor the constructible universe, focusing on generic extensions of LL. We prove, amongst other things, that adding any number of Cohen or random reals, or forcing with Sacks forcing or any lightface Borel weakly homogeneous ccc forcing notion cannot change such reflection properties. Moreover we show that collapse forcing increases the value of the least reflecting ordinals but, curiously, to ordinals which are still smaller than the ω1\omega_1 of LL.

Keywords

Cite

@article{arxiv.2311.12533,
  title  = {Reflection Properties of Ordinals in Generic Extensions},
  author = {Juan P. Aguilera and Corey Bacal Switzer},
  journal= {arXiv preprint arXiv:2311.12533},
  year   = {2023}
}

Comments

23 pages, submitted