Gap forcing: generalizing the Levy-Solovay theorem
逻辑
2007-05-23 v1
摘要
The landmark Levy-Solovay Theorem limits the kind of large cardinal embeddings that can exist in a small forcing extension. Here I announce a generalization of this theorem to a broad new class of forcing notions. One consequence is that many of the forcing iterations most commonly found in the large cardinal literature create no new weakly compact cardinals, measurable cardinals, strong cardinals, Woodin cardinals, strongly compact cardinals, supercompact cardinals, almost huge cardinals, huge cardinals, and so on.
引用
@article{arxiv.math/9901108,
title = {Gap forcing: generalizing the Levy-Solovay theorem},
author = {Joel David Hamkins},
journal= {arXiv preprint arXiv:math/9901108},
year = {2007}
}
备注
10 pages. The full technical details of the theorem announced in the this paper can be found in math.LO/9808011. The author's home page is at http://www.math.csi.cuny.edu/~hamkins