Forcing, iterated ultrapowers, and Turing degrees
Forcing, iterated ultrapowers, and Turing degrees
About this book
The lecture notes in mathematical logic from the 2010 and 2011 Asian Initiative for Infinity Logic Summer Schools.
Details
- OL Work ID
- OL22317114W
Subjects
Forcing (Model theory)Model theorySymbolic and mathematical LogicUnsolvability (Mathematical logic)Logic, symbolic and mathematical