Set Theory: An Introduction to Independence Proofs

2010

216 citations recorded by the source corpus.

Subfields: Theoretical Computer Science

View Paper: https://www.semanticscholar.org/paper/5db0af0b68a7ba76f0a213e001e60cc118504f3a

Citations in the corpus

• Proof Theory (2017, methodology): “Axioms for set theory can be found in any introductory set theory textbook, such as [22].”
• Generalized Descriptive Set Theory and Classification Theory (2012, unknown): “That is why there is a nice P-name τ for a function (see [22]) such that φ(∪G, τG, u, v) whenever G is P-generic over M .”