CUNY New York City College of Technology
Coding information into the structure of the universe is a forcing technique with many applications in set theory. To carry out it out, we a need a property that: i) can be easily switched on or off at (e.g.) each regular cardinal in turn, and ii) is robust with regards both to small and to highly-closed forcing. GCH coding, controlling the success or failure of the GCH at each cardinal in turn, is the most widely used, and for good reason: there are simple forcings that turn it on and off, and it is easily seen to be unaffected by small or highly-closed forcing. However, it does have limitations – most obviously, GCH coding is of necessity incompatible with the GCH itself. In this talk I will present an alternative coding using the property Diamond*, a variant of the classic Diamond. I will discuss Diamond* and demonstrate that it satisfies the requirements for coding while preserving the GCH.
Although the basic techniques for controlling Diamond* have been known for some time, to my knowledge the first use of Diamond* as a coding axiom was by Andrew Brooke-Taylor in his work on definable well-orders of the universe. I will follow the excellent exposition presented in his dissertation.
Jonas Reitz is an associate professor of mathematics at the CUNY New York City College of Technology. He received his PhD in 2006 under the supervision of Joel David Hamkins. His research interests include forcing, the set-theoretic multiverse, and set-theoretic geology.