Compactness and Incompactness in Higher Dimensional Combinatorics - Part 1
Explore higher dimensional combinatorics, focusing on compactness and incompactness concepts in set theory, with insights from Jing Zhang of the University of Toronto.
Universes in Set and Type Theory
Explore universes in set and type theory, examining their foundations, structures, and applications in mathematical logic and computer science.
Axiomatic Approach to Probability - Advanced Mathematics
Explore the axiomatic approach to probability, covering key concepts and problem-solving techniques in advanced mathematics for engineering and competitive exams.
The Endless Suffering of Power Sets - Understanding Set Theory
Explore power sets, their cardinality, and techniques for writing them. Learn about subsets and gain insights into this fundamental concept in set theory and mathematics.
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.
Squares, Scales and Lines in Set Theory - Todorcevic's Theorem and PCF Theory
Explore singular cardinals, square principles, and linear orders in set theory, examining Todorcevic's result and related PCF-theoretic principles.
Unreachability in the Second Projective-Like Hierarchy
Explore unreachability in the second projective-like hierarchy with Derek Levinson's advanced mathematical analysis.
Forcing and Consistency Properties in Set Theory
Explore forcing and consistency properties in set theory, delving into advanced mathematical concepts and their applications.
Characterizing Large Cardinals in Terms of Löwenheim-Skolem and Weak Compactness Properties
Explore characterizations of large cardinals using Löwenheim-Skolem and weak compactness properties in infinitary second-order logic, including recent work on Shelah cardinals.
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.
Separating Levels of Dependent Choice on Reals from Levels of Projective Determinacy - ESI Workshop
Explore the separation of dependent choice levels on reals from projective determinacy levels through a modified symmetric extension of L, based on joint work with Sandra Müller.
The Central Object in Mathematics: Lattices and Their Connections
Explore the fundamental "lattice" structure in mathematics, its connections to various topics, and its significance in pure mathematics research.
Foliations in Model Theory - Lecture 2
Explore foliations in model theory through advanced mathematical concepts and techniques. Deepen understanding of this specialized area within foliation theory.