Back to Search
Start Over
Monoidal Symmetric Models
- Publication Year :
- 2024
-
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.<br />Comment: 11 pages, 0 figures
- Subjects :
- Mathematics - Logic
03E55 (Primary) 03E25, 03E45 (Secondary)
Subjects
Details
- Database :
- arXiv
- Publication Type :
- Report
- Accession number :
- edsarx.2407.18330
- Document Type :
- Working Paper