Cross Alps Logic Seminar

logic

Audience:	Advanced learners
Seminar series time:	Every third Friday 15:00-16:00 in your time zone, UTC
Organizer:	Vincenzo Dimonte*
	*contact for this listing

Please contact the organizers for the link to the meeting

Upcoming talks

Past talks

Your time			Speaker	Title
Fri	Nov 07	15:00	Mathieu Hoyrup	Computable type: an overview
Fri	Mar 06	15:00	William Chan	TBA

Embed this schedule

Your time			Speaker	Title
Fri	Jun 13	14:00	Manlio Valenti	On the computational strength of a Hausdorff oracle
Fri	Jun 06	14:00	Benjamin Siskind	The status of Martin's Conjecture
Fri	May 09	14:00	Marcos Mazari-Armida	A Baer-like criterion for relative injective modules via model theory
Fri	Apr 04	14:00	Hugo Herbelin	On the logical structure of some choice, maximality, bar induction, and well-foundedness principles
Fri	Mar 07	15:00	Sumun Iyer	Extremely amenable groups of homeomorphisms
Fri	Jan 17	15:00	Jouko Väänänen	Categoricity arguments and their philosophical uses
Fri	Dec 06	15:00	Mai Gehrke	Introduction to Stone, Priestley, and the Omega-Point dualities and some generalisations
Fri	Nov 22	15:00	Raphael Carroy	A well-quasi-order for continuous functions
Fri	Jun 07	14:00	Lorenz Halbeisen	The Graph Embedding Property and its relation to the Prime Ideal Theorem
Fri	May 31	14:00	Mirna Dzamonja	Transfer principles in logic
Fri	May 03	14:00	Spencer Unger	Iterated ultrapower methods
Fri	Apr 05	14:00	Luca Motto Ros	Borel complexity of graph homomorphism
Fri	Mar 01	15:00	Simon Henry	Higher categorical language
Fri	Jan 19	15:00	Charles Steinhorn	O-minimality as a framework for tame mathematical economics
Wed	Jan 17	15:00	Jouko Väänänen	TBA
Fri	Dec 01	15:00	Zoltán Vidnyánszky	Homomorphisms in the choiceless world
Fri	Nov 03	15:00	Steffen Lempp	The complexity of the class of models of arithmetic
Fri	Jun 16	14:00	André Nies	Computably totally disconnected, locally compact groups
Fri	Jun 09	14:00	Ulrich Kohlenbach	Proof mining: Recent developments
Fri	May 19	14:00	Jacques Duparc	The Wadge order on the Cantor Space and on the Scott Domain
Fri	May 05	14:00	Dima Sinapova	Mutual stationarity and the failure of SCH
Fri	Apr 21	14:00	Márton Elekes	On various notions of universally Baire sets
Fri	Mar 31	14:00	Ludovic Patey	Canonical notions of forcing in Reverse Mathematics
Fri	Mar 17	15:00	Victor Selivanov	Boole vs Wadge: Comparing Basic Tools of Descriptive Set Theory
Fri	Mar 03	15:00	Dugald MacPherson	Uniform families of definable sets in finite structures
Fri	Jan 27	15:00	Katarzyna Kowalik	Reverse mathematics of some Ramsey-theoretic principles over a weak base theory
Fri	Jan 13	15:00	Vasco Brattka	Some fascinating topics in logic around reducibilities (UNESCO World Logic Day session)
Fri	Dec 02	15:00	Francesco Parente	Good ultrafilters and universality properties of forcing
Fri	Nov 18	08:00	Annalisa Conversano	Tools of o-minimality in the study of groups
Fri	Nov 04	15:00	Jacopo Emmenegger	Quotients and equality, (co)algebraically
Fri	Oct 21	14:00	Christian Rosendal	Amenability, optimal transport and complementation in Banach modules

Embed this schedule

Export series to