Specializing Wide Aronszajn Trees without Adding Reals

28 May 2020  ·  Switzer Corey Bacal ·

We show that under certain circumstances wide Aronszajn trees can be specialized iteratively without adding reals. We then use this fact to study forcing axioms compatible with CH and list some open problems.

PDF Abstract

Code
Add Remove Mark official

No code implementations yet. Submit your code now

Categories

Logic
Contact us on: hello@paperswithcode.com . Papers With Code is a free resource with all data licensed under CC-BY-SA.
Terms Data policy Cookies policy