Proper and Improper Forcing
About this book
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the fifth publication in the Perspectives in Logic series, studies set-theoretic independence results (independence from the usual set-theoretic ZFC axioms), in particular for problems on the continuum. The author gives a complete presentation of the theory of proper forcing and its relatives, starting from the beginning and avoiding the metamathematical considerations. No prior knowledge of forcing is required. The book will enable a researcher interested in an independence result of the appropriate kind to have much of the work done for them, thereby allowing them to quote general results.
Frequently asked questions
- Essential is ideal for learners and professionals who enjoy exploring a wide range of subjects. Access the Essential Library with 800,000+ trusted titles and best-sellers across business, personal growth, and the humanities. Includes unlimited reading time and Standard Read Aloud voice.
- Complete: Perfect for advanced learners and researchers needing full, unrestricted access. Unlock 1.4M+ books across hundreds of subjects, including academic and specialized titles. The Complete Plan also includes advanced features like Premium Read Aloud and Research Assistant.
Please note we cannot support devices running on iOS 13 and Android 7 or earlier. Learn more about using the app.
Information
Table of contents
- Cover
- Half-title
- Series information
- Title page
- Copyright information
- Perspectives in Mathematical Logic
- Dedication
- Table of contents
- Introduction
- Notation
- Content by Subject
- Annotated Content
- I. Forcing, Basic Facts
- II. Iteration of Forcing
- III. Proper Forcing
- IV. On Oracle-c.c., the Lifting Problem of the Measure Algebra, and âP (Ï)/finite Has No Non-trivial Automorphismâ
- V. α-Properness and Not Adding Reals
- VI. Preservation of Additional Properties, and Applications
- VII. Axioms and Their Application
- VIII. Îș-pic and Not Adding Reals
- IX. Souslin Hypothesis Does Not Imply âEvery Aronszajn Tree Is Specialâ
- X. On Semi-Proper Forcing
- XI. Changing Cofinalities; Equi-Consistency Results
- XII. Improper Forcing
- XIII. Large Ideals on Ï[sub(1)]
- XIV. Iterated Forcing with Uncountable Support
- XV. A More General Iterable Condition Ensuring aleph[sub(1)] Is Not Collapsed
- XVI. Large Ideals on aleph[sub(1)] from Smaller Cardinals
- XVII. Forcing Axioms
- XVIII. More on Proper Forcing
- Appendix. On Weak Diamonds and the Power of Ext
- References
