2025/01/10 by Derek Levinson, Levinson, Derek, Nam Trang +1
Decision Sciences · Engineering · #03E45 (Primary) 03E60 Secondary #FOS: Mathematics #Logic (math.LO) #Real-time simulation and control systems #Simulation Techniques and Applications #Vehicle Dynamics and Control Systems
paper · pdf · doi:10.48550/arxiv.2501.05954
openalex publication_date 2025/01/10 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We discuss a conjecture of Wilson that under the proper forcing axiom, Θ0 of the derived model at κ is below κ+. We prove the conjecture holds for the old derived model. Assuming mouse capturing in the new derived model, the conjecture holds there as well. We also show Θ< κ+ in the case of the old derived model, and under additional hypotheses for the new derived model.