Extensions with the approximation and cover properties have no new large cardinals
Logic
2014-11-18 v2
Abstract
If an extension Vbar of V satisfies the delta approximation and cover properties for classes and V is a class in Vbar, then every suitably closed embedding j:Vbar to Nbar in Vbar with critical point above delta restricts to an embedding j|V:V to N amenable to the ground model V. In such extensions, therefore, there are no new large cardinals above delta. This result extends work in math.LO/9808011.
Keywords
Cite
@article{arxiv.math/0307229,
title = {Extensions with the approximation and cover properties have no new large cardinals},
author = {Joel David Hamkins},
journal= {arXiv preprint arXiv:math/0307229},
year = {2014}
}
Comments
25 pages. While preserving the main ideas, the new version makes a number of changes in presentation, such as a new title and reorganized order of results, and corrects an issue concerning definable classes and amenability