3 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 particul…
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. As…
math.LO2012
Determinacy in L(R,μ)
Nam Trang
Assume L(\mathbb{R},μ) satisfies ZF+DC+Θ>ω_2 + μis a normal fine measure on \powerset_{ω_1}(\mathbb{R}). The main result of this paper is the characterization theorem of L(\mathbb{…