Mario Carneiro: System Introductions I - Lean
Explore the Lean theorem prover with Mario Carneiro in this introductory talk, covering its key features and applications in mathematical formalization.
Polynomial Functors Formalization Report
Explore the formalization of polynomial functors with Sina Hazratpour, delving into advanced mathematical concepts and their applications in functional programming.
Peculiarities of the Minimalist Foundation for Formal Mathematics
Explore the unique aspects of the Minimalist Foundation and its implications for formal mathematics in this insightful seminar presentation.
A Categorical Account of the Setoid Model
Explore a categorical perspective on the setoid model, delving into mathematical concepts and their implications in set theory and category theory.
Peculiarities of the Minimalist Foundation for Formal Mathematics
Explore the unique aspects of the Minimalist Foundation in formal mathematics, examining its peculiarities and implications for mathematical reasoning and proof construction.
Autoformalisation - Bridging the Gap Between Informal and Formal Proofs
Explore autoformalisation techniques to transform informal mathematical proofs into rigorous, machine-verifiable formal proofs, enhancing theorem-proving capabilities.
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.
Forcing and Consistency Properties in Set Theory
Explore forcing and consistency properties in set theory, delving into advanced mathematical concepts and their applications.
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.
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.
Taming the Monster of Independence in Mathematics
Explore approaches to settling seemingly independent mathematical problems, focusing on Gödel's incompleteness theorem and the Continuum Hypothesis.
Autoformalization - Ten Years into the Game
Explore past, present, and future approaches to autoformalization in mathematics, examining key developments and potential future directions in this evolving field.
Cueology of Proof
Explore the art and science of constructing mathematical proofs, delving into logical reasoning, problem-solving techniques, and the foundations of formal verification.