Longer Prikry Sequences
Explore advanced concepts in set theory, focusing on longer Prikry sequences and their implications in mathematical logic and forcing axioms.
Almost Disjoint Families in Natural Models of AD+ - Workshop on Determinacy, Inner Models and Forcing Axioms
Explore almost disjoint families in natural models of AD+, delving into determinacy, inner models, and forcing axioms in mathematics.
Ladder Mice in Set Theory
Explore ladder mice in mathematics with Farmer Schlutzenberg, delving into determinacy, inner models, and forcing axioms.
Martin's Maximum c*,++ in Pmax Extensions of Strong Models of Determinacy
Explore Martin's Maximum c*,++ in Pmax extensions of strong determinacy models, delving into advanced set theory concepts and their implications.
The HOD Conjecture and Its Failure
Explore the HOD conjecture's intricacies and its ultimate failure in set theory, delving into advanced mathematical concepts and their implications.
Unreachability in the Second Projective-Like Hierarchy
Explore unreachability in the second projective-like hierarchy with Derek Levinson's advanced mathematical analysis.
Chang's Conjecture and Mouse Reflection
Explore Chang's Conjecture and Mouse Reflection in mathematics, delving into advanced concepts from set theory and logic.
Stationary Reflection for אω1 +1
Explore stationary reflection for אω1 +1 in this advanced mathematical talk by Dima Sinapova, delving into determinacy, inner models, and forcing axioms.
Mathias Characterizations for Generics in Variants of Namba Forcing
Explore Mathias characterizations for generics in variants of Namba forcing, delving into advanced set theory concepts and their applications in mathematical logic.
Order-preserving Martin's Conjecture and Inner Model Theory
Explore order-preserving Martin's Conjecture and its connection to inner model theory in advanced mathematical logic and set theory.
Cardinality of the Set of Bounded Subsets of a Cardinal
Explore cardinal exponentiation and bounded subsets in Woodin's AD+ theory, applying insights to analyze cardinality below Theta.