2 papers
math.LO2026
More Derived Models in PFA
Derek Levinson, Nam Trang, Trevor Wilson
This paper makes significant progress towards resolving a conjecture relating strong forcing axioms like and the derived model at a limit of Woodin cardinals . In particu…
math.LO2025
Derived Models in PFA
Derek Levinson, Nam Trang
We discuss a conjecture of Wilson that under the proper forcing axiom, of the derived model at is below . We prove the conjecture holds for the old derived model.…