Computability theory and applications

logic

Nagoya University / Pennsylvania State University / Swansea University / TU Wien - Technische Universität Wien / University of Connecticut / Universität der Bundeswehr München / Université de Lyon / Victoria University of Wellington

Audience:	Researchers in the topic
Seminar series time:	Tuesday 09:00-10:00 in your time zone, UTC
Organizers:	Damir Dzhafarov, Vasco Brattka, Ekaterina Fokina, Ludovic Patey, Takayuki Kihara, Noam Greenberg, Arno Pauly, Linda Brown Westrick
	*contact for this listing

Description: Computability theory, logic

The goal of this endeavor is to run a seminar on the platform Zoom on a weekly basis, perhaps with alternating time slots each of which covers at least three out of four of Europe, North America, Asia, and New Zealand/Australia. While the meetings are always scheduled for Tuesdays, the timezone varies, so please refer to the calendar on the website for details about individual seminars.

Upcoming talks

Past talks

Your time			Speaker	Title
Tue	Apr 04	10:00	Juan Aguilera	Determinacy in Second-Order Arithmetic
Tue	Feb 21	14:00	Valentino Delle Rose	Computable PAC learning
Mon	Jan 30	20:00	Linus Richter	Co-analytic Counterexamples to Marstrand’s Projection Theorem
Mon	Nov 28	13:00	Clara Löh	$L^2$-Betti numbers and computability of reals
Wed	Apr 27	08:00	Stefan Vatev	Effective embeddings for classes of structures via enumeration operators
Mon	Apr 18	20:30	Jeff Hirst	Three views of LPO and LLPO
Tue	Apr 12	01:00	Alexander Melnikov	Primitive recursive mathematics
Mon	Apr 04	20:30	Jun Le Goh	Extensions of embeddings in the $\Sigma^0_2$ enumeration degrees
Wed	Mar 30	00:00	Valentina Harizanov	Computable isomorphism problem
Mon	Mar 21	20:30	Meng Che "Turbo" Ho	Zero-one laws for finitely presented structures
Wed	Mar 16	13:00	Rupert Hölzl	Rank and Randomness (Cancelled)
Tue	Mar 01	20:00	Peter Cholak	Old and new results on the computably enumerable sets
Mon	Feb 21	21:30	Ekaterina Fokina	Algorithmic learning of structures
Tue	Feb 15	01:00	Yue Yang	Strong minimal pair problem
Mon	Feb 07	21:30	Matthew Harrison-Trainor	Kolmogorov extractors and evenly-distributed hypergraphs
Tue	Feb 01	16:00	Emmanuel Rauzy	Computable analysis on the space of marked groups
Mon	Jan 24	21:30	Donald Stull	The dimension spectrum conjecture for lines
Tue	Jan 11	12:00	Matthew de Brecht	The category of quasi-Polish spaces as a represented space
Wed	Dec 15	09:00	Tin Lok Wong	Arithmetic under negated induction
Mon	Dec 06	21:30	Francesca Zaffora Blando	Algorithmic randomness and Bayesian convergence
Tue	Nov 30	20:00	Karen Seidel	Modelling binary classification
Mon	Nov 22	21:30	Elvira Mayordomo	Extending the reach of the point-to-set principle
Mon	Nov 08	21:30	Cristóbal Rojas	Computability of Harmonic Measure
Tue	Nov 02	20:00	Dino Rossegger	New examples of degrees of categoricity
Mon	Oct 25	21:00	Diego Rojas	Effective convergence notions for measures on the real line
Mon	Oct 25	20:30	Sarah Reitzes	Comparing induction and bounding principles over RCA0 and RCA*0
Mon	Oct 11	21:00	David Webb	TBA
Mon	Oct 11	20:30	Vittorio Cipriani	Cantor-Bendixson Theorem in the Weihrauch lattice
Tue	Oct 05	13:00	Takayuki Kihara	Lawvere-Tierney topologies for computability theorists
Mon	Sep 27	20:30	Benoit Monin	The computational content of Milliken’s tree theorem
Mon	Sep 13	21:00	Josiah Jacobsen-Grocott	A Characterization of the Strongly η-Representable Many-One Degrees
Mon	Sep 13	20:30	Rachael Alvir	Finitely α-generated Structures
Tue	Jun 08	13:00	Pavel Semukhin	The Membership Problem for 2x2 integer matrices
Thu	Jun 03	01:00	Liang Yu	Some consequences of TD and sTD.
Mon	May 03	20:30	Andre Nies	Maximal towers and ultrafilter bases in computability theory
Tue	Apr 20	16:00	Vasco Brattka	The Discontinuity Problem
Mon	Apr 19	20:30	Noam Greenberg	The strength of Borel Wadge comparability
Tue	Apr 13	08:00	David Belanger	Maximal order types of well partial orders
Tue	Apr 06	08:00	Merlin Carl	Complexity and Decision Times for ITTMs - The Story of the Bold Conjecture
Mon	Apr 05	20:30	Julia Knight	Describing structures and classes of structures
Wed	Mar 31	01:00	Steffen Lempp	Decidability and Undecidability in the Enumeration Degrees
Tue	Mar 23	14:00	Iskander Kalimullin	Punctual categoricity and degrees of punctual categoricity for finitely generated structures.
Mon	Mar 15	20:30	Chris Conidis	The Reverse Mathematics of Noether's Decomposition Lemma
Tue	Mar 09	17:00	Verónica Becher	Open questions on randomness and uniform distribution
Tue	Mar 02	13:00	Luca San Mauro	Classifying word problems
Mon	Mar 01	21:30	Kirsten Eisenträger	A topological approach to undefinability in algebraic extensions of the rationals
Tue	Feb 23	20:00	Jeff Hirst	Current thoughts on Hindman’s Theorem
Mon	Feb 15	21:30	Verónica Becher	Normal numbers and perfect necklaces
Tue	Feb 09	13:00	Victor Selivanov	Primitive recursive ordered fields and some applications
Tue	Feb 02	15:00	Mathieu Hoyrup	The fixed-point property for represented spaces
Mon	Feb 01	21:30	Arno Pauly	The structure of Weihrauch degrees - what we know and what we don't know
Tue	Jan 26	15:00	Giovanni Soldà	Rival-Sands principles in the Weihrauch degrees
Tue	Jan 19	09:00	Emanuele Frittaion	Generic realizability for intuitionistic set theory
Wed	Dec 16	00:30	Keita Yokoyama	Automorphism argument and reverse mathematics
Tue	Dec 08	21:00	Linda Brown Westrick	Luzin's (N) and randomness reflection
Tue	Nov 24	21:00	Karen Lange	Complexity of root-taking in power series fields & related problems
Tue	Nov 17	23:00	Bjørn Kjos-Hanssen	A family of metrics connecting Jaccard distance to normalized information distance
Tue	Nov 10	21:00	Paul Shafer	Randomness notions and reverse mathematics
Tue	Nov 10	14:00	Laurent Bienvenu	The interplay between randomness and genericity
Tue	Nov 03	14:00	Manlio Valenti	On the descriptive complexity of Fourier dimension and Salem sets
Tue	Oct 27	20:00	Li Ling Ko	Fickleness and bounding lattices in the recursively enumerable Turing degrees
Tue	Oct 20	14:00	Alexandra Soskova	Effective embeddings and interpretations
Wed	Oct 14	01:00	Chris Conidis	Non-arithmetic algebraic constructions
Tue	Oct 13	20:00	Leszek Kołodziejczyk	Reverse mathematics of combinatorial principles over a weak base theory
Tue	Oct 06	13:00	Paul-Elliot Angles d'Auriac	The computable strength of Milliken's Tree Theorem and applications
Tue	Sep 29	20:00	Christopher Porter	Effective Dimension and the Intersection of Random Closed Sets
Wed	Sep 23	00:00	Timothy McNicholl	Which Lebesgue spaces are computably presentable?
Tue	Sep 15	20:00	Justine Miller	Noncomputable Coding, Density, and Stochasticity
Tue	Sep 15	13:00	Alberto Marcone	The higher levels of the Weihrauch lattice
Tue	Sep 08	14:00	Patrick Uftring	The characterization of Weihrauch reducibility in systems containing $E$-$PA^\omega$ + $QF$-$AC^{0,0}$
Tue	Sep 01	20:00	Patrick Lutz	Part 1 of Martin's Conjecture for Order Preserving Functions
Wed	Aug 26	01:00	Andre Nies	Discovering structure within the class of K-trivial sets
Tue	Aug 18	20:00	Joe Miller	Redundancy of information: lowering effective dimension
Tue	Aug 11	14:00	Jun Le Goh	Computing descending sequences in linear orderings
Tue	Aug 04	14:00	Benoit Monin	Genericity and randomness with ITTMs
Tue	Jul 28	21:00	Andrew Marks	Priority arguments in descriptive set theory
Tue	Jul 21	15:00	Cristóbal Rojas	Statistical Chaos — a new barrier in the prediction/simulation of physical systems
Tue	Jul 14	20:00	Mariya Soskova	PA relative to an enumeration oracle
Wed	Jul 08	01:00	Rod Downey	Sacks' Splitting Theorem Re-examined (again)
Tue	Jun 30	14:00	Amaury Pouly	A Survey on Analog Models of Computation
Tue	Jun 23	20:00	Sarah Reitzes	Reduction games, provability, and compactness
Wed	Jun 17	01:00	Lu Liu	The coding power of products of partitions
Tue	Jun 09	14:00	Nikolai Bazhenov	Rogers semilattices in the analytical hierarchy
Tue	Jun 02	14:00	Vittorio Bard	A local approach towards uniform Martin’s conjecture
Wed	May 27	01:00	Dan Turetsky	Coding in the automorphism group of a structure
Tue	May 19	20:00	Denis Hirschfeldt	Minimal pairs in the generic degrees
Wed	May 13	01:00	Matthew Harrison-Trainor	The tree of tuples of a structure
Tue	May 05	20:00	Marta Fiori Carones	A theorem from Rival and Sands and reverse mathematics
Tue	Apr 28	12:00	Julia Knight	Limiting Density and Free Structures
Tue	Apr 21	14:00	Theodore Slaman	Recursion Theory and Diophantine Approximation

Embed this schedule

Export series to