Embeddings, projections, and Easton’s lemma

Type: Article
Publication Date: 2025-02-28
Citations: 0
DOI: https://doi.org/10.14712/24647055.2025.4

Abstract

We survey some lesser-known facts concerning properties of embeddings and projections between forcing notions. We will also state some generalizations of Easton’s lemma. To our knowledge, many of these facts have not been published, so we include their proofs for the benefit of the reader.

Locations

  • AUC PHILOSOPHICA ET HISTORICA

Similar Works

Action Title Date Authors
+
Iterated Forcing and Elementary Embeddings 2009-12-09 James Cummings
+
Strong axioms of infinity and elementary embeddings 1978-02-01 Robert M Solovay William N. Reinhardt Akihiro Kanamori
+
Extensions of Kripke's embedding theorem 1975-09-01 Jonathan Stavi
+
Strong embeddings and $2$-isomorphism 2016-01-01 Rani Hod An Huang Mark Kempton Shing‐Tung Yau
+
Embedding Characterizations for Collectionwise Normality and Expandability 1975-01-01 Jeremy C. Smith
+
Extensions and transitivity 2005-08-04
+
Remarks on reflection principles, large cardinals, and elementary embeddings 1974-01-01 W. N. Reinhardt
+
On Sacks forcing and the Sacks property 2007-11-02 Stefan Geschke Sandra Quickert
+
Prikry-Type Forcings 2009-12-09 Moti Gitik
+
Embeddings and Extensions of Embeddings in the Degrees 2017-02-17 Manuel Lerman
+
Extensions, automorphisms, and definability 2000-01-01 Robert I. Soare
+
Some results in forcing. 1987-01-01 Tadatoshi. Miyamoto
+
Ramsey-Theory and Forcing Extensions 1994-05-01 Péter Komjáth
+
Topologically pure extensions 2001-01-01 Peter Loth
Some problems and techniques in set-theoretic topology 2011-01-01 Franklin D. Tall
+
Some applications of almost disjoint forcing 1970-01-01 Ronald Björn Jensen R. M. Solovay
Evaluation maps, restriction maps, and compactness 1998-01-01 Elizabeth M. Bator Paul Lewis James Philip Ochoa
+
Forcing with quotients 2008-08-26 Michael Hrušák Jindřich Zapletal
+
Embeddings and Extensions of Embeddings in the Degrees 1983-01-01 Manuel Lerman
+
10 Further results. 10.1 Forcing notions and large cardinals 1999-12-31 W. Hugh Woodin

Cited by (0)

Action Title Date Authors