English

Determined Admissible Sets

Logic 2019-10-10 v2

Abstract

It is shown, from hypotheses in the region of ω2\omega^2 Woodin cardinals, that there is a transitive model of KP + ADR_\mathbb{R} containing all reals.

Cite

@article{arxiv.1907.00742,
  title  = {Determined Admissible Sets},
  author = {Juan P. Aguilera},
  journal= {arXiv preprint arXiv:1907.00742},
  year   = {2019}
}

Comments

15 pages

R2 v1 2026-06-23T10:08:37.635Z