
arXiv: math/9808011
Many of the most common reverse Easton iterations found in the large cardinal context, such as the Laver preparation, admit a gap at some small delta in the sense that they factor as P*Q, where P has size less than delta and Q is forced to be delta-strategically closed. In this paper, generalizing the Levy-Solovay theorem, I show that after such forcing, every embedding j:V[G]-->M[j(G)] in the extension which satisfies a mild closure condition is the lift of an embedding j:V-->M in the ground model. In particular, every ultrapower embedding in the extension lifts an embedding from the ground model and every measure in the extension which concentrates on a set in the ground model extends a measure in the ground model. It follows that gap forcing cannot create new weakly compact cardinals, measurable cardinals, strong cardinals, Woodin cardinals, strongly compact cardinals, supercompact cardinals, almost huge cardinals, huge cardinals, and so on.
16 pages. Submitted to the Journal of Mathematical Logic. The up-dated version includes an expanded introduction, which sets the main theorem in the historical context of the Levy-Solovay Theorem, and various other small improvements
Other aspects of forcing and Boolean-valued models, Large cardinals, 03E55, forcing extension, FOS: Mathematics, forcing iterations, Mathematics - Logic, Logic (math.LO), 03E55; 03E40, large cardinal embeddings, 03E40
Other aspects of forcing and Boolean-valued models, Large cardinals, 03E55, forcing extension, FOS: Mathematics, forcing iterations, Mathematics - Logic, Logic (math.LO), 03E55; 03E40, large cardinal embeddings, 03E40
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 57 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
