Online logic seminar

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 time			Speaker	Title
Thu	Oct 29	18:00	Adam Přenosil	Semisimplicity, Glivenko theorems, and the excluded middle
Thu	Nov 05	19:00	Farzaneh Derakhshan	TBA
Thu	Nov 12	19:00	Lynn Scow	TBA
Thu	Nov 19	19:00	Anush Tserunyan	TBA
Thu	Dec 03	19:00	Johanna Franklin	TBA
Thu	Jan 14	19:00	Aleksandra Kwiatkowska	TBA
Thu	Jan 21	19:00	Angeliki Koutsoukou-Argyraki	TBA
Thu	Feb 04	19:00	Peter Cholak	TBA

Embed this schedule

Your time			Speaker	Title
Thu	Oct 22	18:00	Steffen Lempp	The Turing Degrees: On the Order Dimension of and Embeddings into the Turing Degrees
Thu	Oct 15	18:00	John Baldwin	Towards a finer classification of Strongly minimal sets
Thu	Oct 08	18:00	Artem Chernikov	Idempotent Keisler measures
Thu	Oct 01	18:00	Victoria Noquez	The Sierpinski Carpet as a Final Coalgebra Obtained by Completing an Initial Algebra
Thu	Sep 24	18:00	Arno Pauly	How computability-theoretic degree structures and topological spaces are related
Thu	Sep 17	18:00	Alexander Berenstein	Expansions of geometric theories as measurable structures
Thu	Sep 10	18:00	Mirna Džamonja	On logics that make a bridge from the Discrete to the Continuous
Thu	Sep 03	18:00	Carl Mummert	The strength of König's edge coloring theorem
Thu	Aug 27	18:00	Dima Sinapova	Iteration, reflection, and Prikry forcing
Thu	Aug 20	18:00	Damir Dzhafarov	Milliken's tree theorem and computability theory
Thu	Aug 13	18:00	James Hanson	Strongly Minimal Sets in Continuous Logic
Thu	Aug 06	18:00	James Worrell	Decision problems in program analysis
Thu	Jul 30	18:00	Manuela Busaniche	Residuated Lattices: algebraic constructions related to substructural logics
Thu	Jul 23	18:00	Dana Bartošová	Dynamics of finite products of groups and of group extensions
Thu	Jul 16	18:00	Linda Brown Westrick	Borel combinatorics fail in HYP
Thu	Jul 09	18:00	Henry Towsner	Should we believe in nonstandard analysis?
Thu	Jul 02	18:00	Ruiyuan Chen	Stone duality and strong conceptual completeness for infinitary logic
Thu	Jun 25	18:00	Rodrigo Torres-Avilés	Topological Mixing and Linear Recurrence on SMART
Thu	Jun 18	18:00	Elaine Pimentel	A game model for proofs with costs
Thu	Jun 11	18:00	Samaria Montenegro Guzmán	Model Theory of Pseudo Real Closed Fields
Thu	Jun 04	18:00	William Brian	Limited-information strategies in Banach-Mazur games
Thu	May 28	18:00	Wesley Holliday	Extensions of choice-free Stone duality
Thu	May 21	18:00	Moshe Vardi	The automated-reasoning revolution: From theory to practice and back
Thu	May 14	18:00	Chris Porter	Randomness extraction from a computability-theoretic perspective
Thu	May 07	18:00	Rebecca Coulson	The Bipartite Diameter 3 Metrically Homogeneous Graphs of Generic Type: Their Ages and Their Almost Sure Theories
Thu	Apr 30	18:00	Margaret Thomas	Point counting and parameterizations
Thu	Apr 23	18:00	Mariya Soskova	Fragments of the Theory of Enumeration Degrees

Embed this schedule

Export series to