Three views of LPO and LLPO
Jeff Hirst (Appalachian State University)
18 April 2022 – Video | Slides
(Joint session with the Midwest Computability Seminar)
Primitive recursive mathematics
Alexander Melnikov (Victoria University Wellington)
11 April 2022 – Video | Slides
Extensions of embeddings in the $\Sigma^0_2$ enumeration degrees
Jun Le Goh (University of Wisconsin)
4 April 2022 – Video | Slides
Computable isomorphism problem
Valentina Harizanov (George Washington University)
29 March 2022 – Video | Slides
Zero-one laws for finitely presented structures
Meng Che “Turbo” Ho (California State University Northridge)
21 March 2022 – Video | Slides
(Joint session with the Midwest Computability Seminar)
Old and new results on the computably enumerable sets
Peter Cholak (University of Notre Dame)
1 March 2022 – Video | Slides
Algorithmic learning of structures
Ekaterina Fokina (Vienna University of Technology)
21 February 2022 – Video | Slides
(Joint session with the Midwest Computability Seminar)
Strong minimal pair problem
Yua Yang (National University of Singapore)
15 February 2022 – Video | Slides
Kolmogorov extractors and evenly-distributed hypergraphs
Matthew Harrison-Trainor (University of Michigan)
7 February 2022 – Video | Slides
(Joint session with the Midwest Computability Seminar)
The dimension spectrum conjecture for lines
Donald Stull (Northwestern University)
24 January 2022 – Video | Slides
(Joint session with the Midwest Computability Seminar)
The category of quasi-Polish spaces as a represented space
Matthew de Brecht (Kyoto University)
11 January 2022 – Video | Slides
Arithmetic under negated induction
Tin Lok Wong (National University of Singapore)
15 December 2021 – Video | Slides
Algorithmic randomness and Bayesian convergence
Francesca Zaffora Blando (Carnegie Mellon University)
6 December 2021 – Video | Slides
(Joint session with the Midwest Computability Seminar)
Modelling binary classification
Karen Seidel (Hasso Plattner Institute)
30 November 2021 – Video | Slides
Extending the reach of the point-to-set principle
Elvira Mayordomo (University of Zaragoza)
22 November 2021 – Video | Slides
(Joint session with the Midwest Computability Seminar)
Computability of Harmonic Measure
Cristóbal Rojas (Pontifical Catholic University of Chile)
8 November 2021 – Video | Slides
(Joint session with the Midwest Computability Seminar)
New examples of degrees of categoricity
Dino Rossegger (UC Berkeley)
2 November 2021 – Video | Slides
Effective convergence notions for measures on the real line
Diego Rojas (Iowa State University)
25 October 2021 – Video | Slides
(Joint session with the Midwest Computability Seminar)
Comparing induction and bounding principles over RCA0 and RCA0*
Sarah Reitzes (University of Chicago)
25 October 2021 – Video | Slides
(Joint session with the Midwest Computability Seminar)
Under what reducibilities are KLR and MLR Medvedev equivalent?
David Webb (University of Hawaiʻi at Mānoa)
11 October 2021 – Video | Slides
(Joint session with the Midwest Computability Seminar)
Cantor-Bendixson Theorem in the Weihrauch lattice
Vittorio Cipriani (University of Udine)
11 October 2021 – Video | Slides
(Joint session with the Midwest Computability Seminar)
Lawvere-Tierney topologies for computability theorists
Takayuki Kihara (Nagoya University)
5 October 2021 – Video | Slides
The computational content of Milliken’s tree theorem
Benoît Monin (Créteil University)
27 September 2021 – Video | Slides
(Joint session with the Midwest Computability Seminar)
A Characterization of the Strongly η-Representable Many-One Degrees
Josiah Jacobsen-Grocott (University of Wisconsin)
13 September 2021 – Video | Slides
(Joint session with the Midwest Computability Seminar)
Finitely α-generated Structures
Rachael Alvir (University of Notre Dame)
13 September 2021 – Video | Slides
(Joint session with the Midwest Computability Seminar)
The Membership Problem for 2×2 integer matrices
Pavel Semukhin (University of Oxford)
8 June 2021 – Video | Slides
Some consequences of TD and sTD
Liang Yu (Nanjing University)
2 June 2021 – Video | Slides
Maximal towers and ultrafilter bases in computability theory
Andre Nies (Auckland University)
3 May 2021 – Video | Slides
(Joint session with the Midwest Computability Seminar)
The discontinuity problem
Vasco Brattka (Universität der Bundeswehr München)
20 April 2021 – Video | Slides
The strength of Borel Wadge comparability
Noam Greenberg (Victoria University of Wellington)
19 April 2021 – Video | Slides
(Joint session with the Midwest Computability Seminar)
Maximal order types of well partial orders
David Belanger (National University of Singapore)
13 April 2021 – Video | Slides
Complexity and Decision Times for ITTMs – The Story of the Bold Conjecture
Merlin Carl (Europa-Universität Flensburg)
6 April 2021 – Video | Slides
Describing structures and classes of structures
Julia Knight (University of Notre Dame)
5 April 2021 – Video | Slides
(Joint session with the Midwest Computability Seminar)
Decidability and Undecidability in the Enumeration Degrees
Steffen Lempp (University of Wisconsin-Madison)
30 March 2021 – Video | Slides
Punctual categoricity and degrees of punctual categoricity for finitely generated structures.
Iskander Kalimullin (Kazan Federal University)
22 March 2021 – Video | Slides
The Reverse Mathematics of Noether’s Decomposition Lemma
Chris Conidis (CUNY – College of Staten Island)
15 March 2021 – Video | Slides
(Joint session with the Midwest Computability Seminar)
Open questions on randomness and uniform distribution
Verónica Becher (Universidad de Buenos Aires)
9 March 2021 – Video | Slides
Classifying word problems
Luca San Mauro (Vienna University of Technology)
2 March 2021 – Video | Slides
A topological approach to undefinability in algebraic extensions of the rationals
Kirsten Eisenträger (The Pennsylvania State University)
1 March 2021 – Video | Slides
(Joint session with the Midwest Computability Seminar)
Current thoughts on Hindman’s Theorem
Jeff Hirst (Appalachian State University)
23 February 2021 – Video | Slides
Normal numbers and perfect necklaces
Verónica Becher (Universidad de Buenos Aires)
15 February 2021 – Video | Slides
(Joint session with the Midwest Computability Seminar)
Primitive recursive ordered fields and some applications
Victor Selivanov (Institute of Informatics Systems, Novosibirsk)
9 February 2021 – Video | Slides
The fixed-point property for represented spaces
Mathieu Hoyrup (LORIA)
2 February 2021 – Video | Slides
The structure of Weihrauch degrees – what we know and what we don’t know
Arno Pauly (Swansea University)
1 February 2021 – Video | Slides
(Joint session with the Midwest Computability Seminar)
Rival-Sands principles in the Weihrauch degrees
Giovanni Soldà (University of Leeds)
26 January 2021 – Video | Slides
Generic realizability for intuitionistic set theory
Emanuele Frittaion (TU Darmstadt)
19 January 2021 – Video | Slides
Automorphism argument and reverse mathematics
Keita Yokoyama (Japan Advanced Institute of Science and Technology)
15 December 2020 – Video | Slides
Luzin’s (N) and randomness reflection
Linda Brown Westrick (Pennsylvania State University)
8 December 2020 – Video | Slides
(Joint session with the Midwest Computability Seminar)
Complexity of root-taking in power series fields & related problems
Karen Lang (Wellesley College)
24 November 2020 – Video | Slides
(Joint session with the Midwest Computability Seminar)
A family of metrics connecting Jaccard distance to normalized information distance
Bjørn Kjos-Hanssen (University of Hawaii)
17 November 2020 – Video | Slides
Randomness notions and reverse mathematics
Paul Shafer (University of Leeds)
10 November 2020 – Video | Slides
(Joint session with the Midwest Computability Seminar)
The interplay between randomness and genericity
Laurent Bienvenu (Université de Bordeaux)
10 November 2020 – Video | Slides
On the descriptive complexity of Fourier dimension and Salem sets
Manlio Valenti (Università di Udine)
3 November 2020 – Video | Slides
Fickleness and bounding lattices in the recursively enumerable Turing degrees
Li Ling Ko (University of Notre Dame)
27 October 2020 – Video | Slides
(Joint session with the Midwest Computability Seminar)
Effective embeddings and interpretations
Alexandra Soskova (Sofia University)
20 October 2020 – Video | Slides
Non-arithmetic algebraic constructions
Chris Conidis (CUNY-College of Staten Island)
13 October 2020 – Video | Slides
Reverse mathematics of combinatorial principles over a weak base theory
Leszek Kołodziejczyk (University of Warsaw)
13 October 2020 – Video | Slides
(Joint session with the Midwest Computability Seminar)
The computable strength of Milliken’s Tree Theorem and applications
Paul-Elliot Anglès d’Auriac (University of Lyon)
6 October 2020 – Video | Slides
Effective Dimension and the Intersection of Random Closed Sets
Christopher Porter (Drake University)
29 September 2020 – Video | Slides
(Joint session with the Midwest Computability Seminar)
Which Lebesgue spaces are computably presentable?
Timothy McNicholl (Iowa State University)
22 September 2020 – Video | Slides
Noncomputable Coding, Density, and Stochasticity
Justin Miller (University of Notre Dame)
15 September 2020 – Video | Slides
(Joint session with the Midwest Computability Seminar)
The higher levels of the Weihrauch lattice
Alberto Marcone (Università di Udine)
15 September 2020 – Video | Slides
The characterization of Weihrauch reducibility in systems containing E-PAω + QF-AC0,0
Patrick Uftring (Technische Universität Darmstadt)
8 September 2020 – Video | Slides
Part 1 of Martin’s Conjecture for Order Preserving Functions
Patrick Lutz (UC Berkeley)
1 September 2020 – Video | Slides
(Joint session with the Midwest Computability Seminar)
Discovering structure within the class of K-trivial sets
Andre Nies (University of Auckland)
25 August 2020 – Video | Slides
Redundancy of information: lowering effective dimension
Joe Miller (UW Madison)
18 August 2020 – Video | Slides
(Joint session with the Midwest Computability Seminar)
Computing descending sequences in linear orderings
Jun Le Goh (UW Madison)
11 August 2020 – Video | Slides
Genericity and randomness with ITTMs
Benoit Monin (LACL/Créteil University)
4 August 2020 – Video | Slides
Priority arguments in descriptive set theory
Andrew Marks (UCLA)
28 July 2020 – Video | Slides
Statistical Chaos — a new barrier in the prediction/simulation of physical systems
Cristóbal Rojas (Universidad Andres Bello)
21 July 2020 – Video | Slides
PA relative to an enumeration oracle
Mariya Soskova (University of Wisconsin-Madison)
14 July 2020 – Video | Slides
Sacks’ Splitting Theorem Re-examined (again)
Rod Downey (Victoria University of Wellington)
7 July 2020 – Video | Slides
A Survey on Analog Models of Computation
Amaury Pouly (CNRS)
30 June 2020 – Video | Slides
Reduction games, provability, and compactness
Sarah Reitzes (University of Chicago)
23 June 2020 – Video | Slides
The coding power of product of partitions
Lu Liu (Central South University)
16 June 2020 – Video | Slides
Rogers semilattices in the analytical hierarchy
Nikolai Bazhenov (Sobolev Institute of Mathematics)
9 June 2020 – Video | Slides
A local approach towards uniform Martin’s conjecture
Vittorio Bard (Università degli Studi di Torino)
2 June 2020 – Video | Slides
Coding in the Automorphism Group of a Structure
Dan Turetsky (Victoria University of Wellington)
26 May 2020 – Video | Slides
Minimal Pairs in the Generic Degrees
Denis R. Hirschfeldt (University of Chicago)
19 May 2020 – Video | Slides
The Tree of Tuples of a Structure
Matthew Harrison-Trainor (Victoria University of Wellington & Massey University)
12 May 2020 – Video | Slides
A theorem from Rival and Sands and reverse mathematics
Marta Fiori Carones (LMU Munich)
5 May 2020 – Video | Slides
Limiting density and free structures
Julia Knight (Notre Dame)
28 April 2020 – Video | Slides
Recursion Theory and Diophantine Approximation
Ted Slaman (UC Berkeley)
21 April 2020 – Video | Slides
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.
This initiative is born out of the wish to organize something positive in the current situation where normal seminars, conferences and meeting activities are put on hold. If everything runs well, we might even like to continue this seminar series in the future.
|
Vasco Brattka Universität der Bundeswehr München |
|
Damir Dzhafarov University of Connecticut |
|
Ekaterina Fokina Technische Universität Wien |
|
Noam Greenberg Victoria University of Wellington |
|
Takayuki Kihara Nagoya University |
|
Ludovic Patey Institut Camille Jordan, Lyon |
|
Arno Pauly Swansea University |
|
Linda Brown Westrick Pennsylvania State University |
For questions, comments, or speaker suggestions, please email the organizing committee.
Subscribe to this calendar: ICAL
You can also find a list of upcoming talks on researchseminars.org.
To join the mailing list, please send an email LISTSERV@LISTSERV.UCONN.EDU as follows:
SUB CTA_SEMINAR-L YourFirstName YourLastName(Please substitute your first name for YourFirstName and your last name for YourLastName above.)
Note: If you are subscribing less than 24 hours prior to the start of a scheduled seminar talk, please email the organizers for a link to this talk.
All seminars take place on the online conference platform Zoom.
The Zoom link changes from week to week, and is always mailed out to our mailing list prior to that week’s talk..
Participants are asked to keep their microphone on mute during seminar sessions, unless they want to speak publicly in the seminar.
Please note that all seminar meetings are recorded unless otherwise noted.