The Largest Suslin Axiom
Logic
2025-02-03 v3
Abstract
We develop the basic fine structure theory of the minimal model of the Largest Suslin Axiom. In particular, we prove that that the minimal model of the Largest Suslin Axiom satisfies the Mouse Set Conjecture, and that the Proper Forcing Axiom implies the minimal model of the Largest Suslin Axiom exists.
Keywords
Cite
@article{arxiv.2112.04396,
title = {The Largest Suslin Axiom},
author = {Grigor Sargsyan and Nam Trang},
journal= {arXiv preprint arXiv:2112.04396},
year = {2025}
}
Comments
This is the version that was sent to ASL, Lecture Notes in Logic