Publication | Closed Access
Descriptive set theory and definable forcing
50
Citations
0
References
2004
Year
Cardinal InvariantsEngineeringIntroduction DefinableAutomated ReasoningPhilosophy Of LogicFormal MethodsModel TheoryFoundation Of MathematicsHigher-order LogicSemanticsLogical FormalismDescriptive Set TheoryComputability Theory
Introduction Definable forcing adding a single real The countable support iterations Other forcings Applications Examples of cardinal invariants The syntax of cardinal invariants Effective descriptive set theory Large cardinals.