Monoidal Symmetric Models
Logic
2024-07-29 v1
Abstract
We develop a new method of interpreting large cardinal axioms as giving rise to topological symmetries of the universe of sets, similar to the construction of Fraenkel-Mostowski-Specker models. This allows us to define a "symmetric" inner model construction. In this vein, we use Fraenkel-Mostowski-Specker type stabiliser arguments to deduce the Kunen inconsistency, as well as resolving an open problem of Rogers.
Keywords
Cite
@article{arxiv.2407.18330,
title = {Monoidal Symmetric Models},
author = {Dianthe Basak},
journal= {arXiv preprint arXiv:2407.18330},
year = {2024}
}
Comments
11 pages, 0 figures