Skip to main content

Notes on Improper Forcing

  • Chapter
  • 558 Accesses

Part of the Lecture Notes in Mathematics book series (LNM,volume 940)

Abstract

In X we prove general theorems on semi-proper forcing notions, and iterations. We use them by iterating several forcing, one of them, and an important one, is Namba forcing. But to show Namba forcing is semi-proper, we need essentially that 2 is in a large cardinal which was collapsed to 2 (more exactly — a consequence of this on Galvin games). In XI we take great trouble to use a notion considerably more complicated than semi-properness which is satisfied by Namba forcing. However it was not clear whether all this is necessary as we do not exclude the possibility that Namba forcing is always semi-proper, or at least some other forcing, fulfilling the main function of Namba forcing (i.e., making the cofinality of 2 to ω without collapsing 1). But we prove in 1.2 here, that: there is such semi-proper forcing, iff Namba forcing is semi-proper, iff player II wins Gm({ 1},ω, 2) (a game similar to Galvin games) and, in 1.3, that this implies Chang conjecture. Now it is well known that Chang conjecture implies 0# exists, so e.g., in ZFC we cannot prove the existence of such semi-proper forcing.

Keywords

  • Boolean Algebra
  • Winning Strategy
  • Regular Cardinal
  • Force Notion
  • Stationary Subset

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   74.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and Permissions

Copyright information

© 1982 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Shelah, S. (1982). Notes on Improper Forcing. In: Proper Forcing. Lecture Notes in Mathematics, vol 940. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-21543-2_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-21543-2_12

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-11593-9

  • Online ISBN: 978-3-662-21543-2

  • eBook Packages: Springer Book Archive