Failures of square in Pmax extensions of Chang models
Logic
2021-05-04 v1
Abstract
We show that the statements and both fail in the extension of a variation of the Chang model introduced by Sargsyan.
Cite
@article{arxiv.2105.00322,
title = {Failures of square in Pmax extensions of Chang models},
author = {Paul B. Larson and Grigor Sargsyan},
journal= {arXiv preprint arXiv:2105.00322},
year = {2021}
}