Online logic seminar

External homepage

logic

Audience: Researchers in the topic
Seminar series time: Thursday 18:00-19:00 in your time zone, UTC
Organizer: Wesley Calvert*
*contact for this listing

Description: Seminar on all areas of mathematical logic

Upcoming talks
Past talks
Your timeSpeakerTitle
ThuOct 2918:00Adam PřenosilSemisimplicity, Glivenko theorems, and the excluded middle
ThuNov 0519:00Farzaneh DerakhshanTBA
ThuNov 1219:00Lynn ScowTBA
ThuNov 1919:00Anush TserunyanTBA
ThuDec 0319:00Johanna FranklinTBA
ThuJan 1419:00Aleksandra KwiatkowskaTBA
ThuJan 2119:00Angeliki Koutsoukou-ArgyrakiTBA
ThuFeb 0419:00Peter CholakTBA
Embed this schedule
Your timeSpeakerTitle
ThuOct 2218:00Steffen LemppThe Turing Degrees: On the Order Dimension of and Embeddings into the Turing Degrees
ThuOct 1518:00John BaldwinTowards a finer classification of Strongly minimal sets
ThuOct 0818:00Artem ChernikovIdempotent Keisler measures
ThuOct 0118:00Victoria NoquezThe Sierpinski Carpet as a Final Coalgebra Obtained by Completing an Initial Algebra
ThuSep 2418:00Arno PaulyHow computability-theoretic degree structures and topological spaces are related
ThuSep 1718:00Alexander BerensteinExpansions of geometric theories as measurable structures
ThuSep 1018:00Mirna DžamonjaOn logics that make a bridge from the Discrete to the Continuous
ThuSep 0318:00Carl MummertThe strength of König's edge coloring theorem
ThuAug 2718:00Dima SinapovaIteration, reflection, and Prikry forcing
ThuAug 2018:00Damir DzhafarovMilliken's tree theorem and computability theory
ThuAug 1318:00James HansonStrongly Minimal Sets in Continuous Logic
ThuAug 0618:00James WorrellDecision problems in program analysis
ThuJul 3018:00Manuela BusanicheResiduated Lattices: algebraic constructions related to substructural logics
ThuJul 2318:00Dana BartošováDynamics of finite products of groups and of group extensions
ThuJul 1618:00Linda Brown WestrickBorel combinatorics fail in HYP
ThuJul 0918:00Henry TowsnerShould we believe in nonstandard analysis?
ThuJul 0218:00Ruiyuan ChenStone duality and strong conceptual completeness for infinitary logic
ThuJun 2518:00Rodrigo Torres-AvilésTopological Mixing and Linear Recurrence on SMART
ThuJun 1818:00Elaine PimentelA game model for proofs with costs
ThuJun 1118:00Samaria Montenegro GuzmánModel Theory of Pseudo Real Closed Fields
ThuJun 0418:00William BrianLimited-information strategies in Banach-Mazur games
ThuMay 2818:00Wesley HollidayExtensions of choice-free Stone duality
ThuMay 2118:00Moshe VardiThe automated-reasoning revolution: From theory to practice and back
ThuMay 1418:00Chris PorterRandomness extraction from a computability-theoretic perspective
ThuMay 0718:00Rebecca CoulsonThe Bipartite Diameter 3 Metrically Homogeneous Graphs of Generic Type: Their Ages and Their Almost Sure Theories
ThuApr 3018:00Margaret ThomasPoint counting and parameterizations
ThuApr 2318:00Mariya SoskovaFragments of the Theory of Enumeration Degrees
Embed this schedule
Export series to