Finite Woodin Cardinals Give Projective Determinacy Fragments (Theorem # 7426)
Explore Further
Closure Properties of $H_\theta$ Under Pairing, Union, and Function Evaluation
Logic
Regular Expressions Produce Essentially Regular Languages
Discrete Mathematics
Adiprasito Huh Katz Log Concavity
Discrete Mathematics
Evaluation Recursion for Forcing Names
Set Theory
Knaster Property Implies the Countable Chain Condition
Set Theory
Bounding Number Is at Most the Dominating Number
Set Theory
Breuillard-Green-Tao Structure Theorem for Approximate Groups
Combinatorics
Models Generated by Bases in Strongly Minimal Theories
Logic
Discrete Mathematics
Area
Set Theory
Subarea