Bulletin of Symbolic Logic
- Bull. Symbolic Logic
- Volume 5, Number 2 (1999), 264-272.
Gap Forcing: Generalizing the Lévy-Solovay Theorem
The Lévy-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.
Bull. Symbolic Logic, Volume 5, Number 2 (1999), 264-272.
First available in Project Euclid: 20 June 2007
Permanent link to this document
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Hamkins, Joel David. Gap Forcing: Generalizing the Lévy-Solovay Theorem. Bull. Symbolic Logic 5 (1999), no. 2, 264--272. https://projecteuclid.org/euclid.bsl/1182353622