58:49Adrian Mathias: Linking descriptive set theory to symbolic dynamics, part I
A 59-minute video from NYLogic: “Adrian Mathias: Linking descriptive set theory to symbolic dynamics, part I”.
NYLogic
554 subscribers on YouTube
Shorts, livestreams, trailers and promos are never listed. Unless a curator approved this channel in full, only individually picked videos appear.
58:49
1:08:27Adrian Mathias: Linking descriptive set theory to symbolic dynamics, part II
A 68-minute video from NYLogic: “Adrian Mathias: Linking descriptive set theory to symbolic dynamics, part II”.
1:30:03Albert Visser: Interpreters as a species of Consistoids
A 90-minute video from NYLogic: “Albert Visser: Interpreters as a species of Consistoids”.
49:27Albert Visser: Restricted Completions
A 49-minute video from NYLogic: “Albert Visser: Restricted Completions”.
1:30:18Alessandro Berarducci: Provability logic: models within models in Peano Arithmetic
A 90-minute video from NYLogic: “Alessandro Berarducci: Provability logic: models within models in Peano Arithmetic”.
1:15:55Alexei Miasnikov: First-order classification and non-standard models
A 76-minute video from NYLogic: “Alexei Miasnikov: First-order classification and non-standard models”.
1:21:45Alexei Miasnikov: Rich Structures and Weak Second Order Logic
A 82-minute video from NYLogic: “Alexei Miasnikov: Rich Structures and Weak Second Order Logic”.
1:05:00Ali Enayat: Tarski's undefinability of truth theorem strikes again
A 65-minute video from NYLogic: “Ali Enayat: Tarski's undefinability of truth theorem strikes again”.
1:05:41Ali Enayat: Tarski's undefinability of truth theorem strikes again, Part II
A 66-minute video from NYLogic: “Ali Enayat: Tarski's undefinability of truth theorem strikes again, Part II”.
1:13:36Ali Enayat: Tightness, solidity, and internal categoricity
A 74-minute video from NYLogic: “Ali Enayat: Tightness, solidity, and internal categoricity”.
1:18:23Ali Enayat: Tightness, solidity, and internal categoricity Part II
A 78-minute video from NYLogic: “Ali Enayat: Tightness, solidity, and internal categoricity Part II”.
1:25:28Andreas Blass: Do These Ultrafilters exist? Part II: Not Tukey Top
A 85-minute video from NYLogic: “Andreas Blass: Do These Ultrafilters exist? Part II: Not Tukey Top”.
1:08:43Andreas Blass: Do these ultrafilters exist, I: preservation by forcing
A 69-minute video from NYLogic: “Andreas Blass: Do these ultrafilters exist, I: preservation by forcing”.
1:07:47Andreas Lietz: Forcing ``NS_{\omega_1} is \omega_1-dense'' from large cardinals (part I)
A 68-minute video from NYLogic: “Andreas Lietz: Forcing ``NS_{\omega_1} is \omega_1-dense'' from large cardinals (part I)”.
59:20Andrew Brooke-Taylor: Categorifying Borel reducibility
A 59-minute video from NYLogic: “Andrew Brooke-Taylor: Categorifying Borel reducibility”.
1:20:59Andrés Cordón Franco: Induction and collection up to definable elements...
A 81-minute video from NYLogic: “Andrés Cordón Franco: Induction and collection up to definable elements...”.
1:15:22Andrés Villaveces: Two logics, and their connections with large cardinals
A 75-minute video from NYLogic: “Andrés Villaveces: Two logics, and their connections with large cardinals”.
1:16:33Andrés Villaveces: Two logics, and their connections with large cardinals (part II).
A 77-minute video from NYLogic: “Andrés Villaveces: Two logics, and their connections with large cardinals (part II).”.
1:16:56Arseniy Sheydvasser: Are higher-rank arithmetic groups uniformly bi-interpretable with arithmetic?
A 77-minute video from NYLogic: “Arseniy Sheydvasser: Are higher-rank arithmetic groups uniformly bi-interpretable with arithmetic?”.
1:08:19Athar Abdul-Quader: Pathologically defined subsets of models of CT-
A 68-minute video from NYLogic: “Athar Abdul-Quader: Pathologically defined subsets of models of CT-”.
1:15:26Athar Abdul-Quader: Representations of lattices
A 75-minute video from NYLogic: “Athar Abdul-Quader: Representations of lattices”.
1:17:03Athar Abdul-Quader: Representations of lattices Part II
A 77-minute video from NYLogic: “Athar Abdul-Quader: Representations of lattices Part II”.
1:22:18Bartosz Wcisło: Model theoretic characterizations of truth: Part II
A 82-minute video from NYLogic: “Bartosz Wcisło: Model theoretic characterizations of truth: Part II”.
1:03:38Bartosz Wcisło: Satisfaction classes with the full collection scheme
A 64-minute video from NYLogic: “Bartosz Wcisło: Satisfaction classes with the full collection scheme”.
1:15:18Bartosz Wcisło: Satisfaction classes with the full collection scheme, Part II
A 75-minute video from NYLogic: “Bartosz Wcisło: Satisfaction classes with the full collection scheme, Part II”.
1:08:24Bartosz Wcisło: Saturation properties for propositionally sound satisfaction classes
A 68-minute video from NYLogic: “Bartosz Wcisło: Saturation properties for propositionally sound satisfaction classes”.
41:30Bellaouar Djamel: Some generalizations on the representation of unlimited natural numbers
A 42-minute video from NYLogic: “Bellaouar Djamel: Some generalizations on the representation of unlimited natural numbers”.
43:05Benjamin Goodman: The extender algebra
A 43-minute video from NYLogic: “Benjamin Goodman: The extender algebra”.
1:06:21Brent Cody: Higher derived topologies
A 66-minute video from NYLogic: “Brent Cody: Higher derived topologies”.
58:46Brent Cody: Sparse analytic systems
A 59-minute video from NYLogic: “Brent Cody: Sparse analytic systems”.
1:02:58Calliope Ryan-Smith: The axiom of extendable choice
A 63-minute video from NYLogic: “Calliope Ryan-Smith: The axiom of extendable choice”.
1:17:37Carolin Antos: 'algebraic' vs. 'non-algebraic': new impulses for the universe/multiverse debate?
A 78-minute video from NYLogic: “Carolin Antos: 'algebraic' vs. 'non-algebraic': new impulses for the universe/multiverse debate?”.
1:31:25Cezary Cieśliński: On the principle of Disjunctive Correctness
A 91-minute video from NYLogic: “Cezary Cieśliński: On the principle of Disjunctive Correctness”.
1:14:50Chris Lambie-Hanson: squares, ultrafilters and forcing axioms
A 75-minute video from NYLogic: “Chris Lambie-Hanson: squares, ultrafilters and forcing axioms”.
1:35:45Corey Switzer: Projective well-orders and other beautiful pathologies
A 96-minute video from NYLogic: “Corey Switzer: Projective well-orders and other beautiful pathologies”.
1:02:34Corey Switzer: Tight maximal eventually different families
A 63-minute video from NYLogic: “Corey Switzer: Tight maximal eventually different families”.