Woodin Cardinals Are Inaccessible Set Theory Contraction by a Nonloop Preserves Matroids Discrete Mathematics Well-Foundedness Criterion for Countable Linear Measure Iterations Set Theory Sets of Ordinals Are Well-Ordered by Membership Logic Closure Under Union and Concatenation Discrete Mathematics Stone Space Compactness Theorem Logic Rank Principle Logic The Cohen Generic Real Is Total Set Theory Discrete Mathematics Area Combinatorics Subarea