Computability theory and applications

External homepage

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 14:00-15: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 timeSpeakerTitle
TueJun 0813:00Pavel SemukhinThe Membership Problem for 2x2 integer matrices
ThuJun 0301:00Liang YuSome consequences of TD and sTD.
MonMay 0320:30Andre NiesMaximal towers and ultrafilter bases in computability theory
TueApr 2016:00Vasco BrattkaThe Discontinuity Problem
MonApr 1920:30Noam GreenbergThe strength of Borel Wadge comparability
TueApr 1308:00David BelangerMaximal order types of well partial orders
TueApr 0608:00Merlin CarlComplexity and Decision Times for ITTMs - The Story of the Bold Conjecture
MonApr 0520:30Julia KnightDescribing structures and classes of structures
WedMar 3101:00Steffen LemppDecidability and Undecidability in the Enumeration Degrees
TueMar 2314:00Iskander KalimullinPunctual categoricity and degrees of punctual categoricity for finitely generated structures.
MonMar 1520:30Chris ConidisThe Reverse Mathematics of Noether's Decomposition Lemma
TueMar 0917:00Verónica BecherOpen questions on randomness and uniform distribution
TueMar 0213:00Luca San MauroClassifying word problems
MonMar 0121:30Kirsten EisenträgerA topological approach to undefinability in algebraic extensions of the rationals
TueFeb 2320:00Jeff HirstCurrent thoughts on Hindman’s Theorem
MonFeb 1521:30Verónica BecherNormal numbers and perfect necklaces
TueFeb 0913:00Victor SelivanovPrimitive recursive ordered fields and some applications
TueFeb 0215:00Mathieu HoyrupThe fixed-point property for represented spaces
MonFeb 0121:30Arno PaulyThe structure of Weihrauch degrees - what we know and what we don't know
TueJan 2615:00Giovanni SoldàRival-Sands principles in the Weihrauch degrees
TueJan 1909:00Emanuele FrittaionGeneric realizability for intuitionistic set theory
WedDec 1600:30Keita YokoyamaAutomorphism argument and reverse mathematics
TueDec 0821:00Linda Brown WestrickLuzin's (N) and randomness reflection
TueNov 2421:00Karen LangeComplexity of root-taking in power series fields & related problems
TueNov 1723:00Bjørn Kjos-HanssenA family of metrics connecting Jaccard distance to normalized information distance
TueNov 1021:00Paul ShaferRandomness notions and reverse mathematics
TueNov 1014:00Laurent BienvenuThe interplay between randomness and genericity
TueNov 0314:00Manlio ValentiOn the descriptive complexity of Fourier dimension and Salem sets
TueOct 2720:00Li Ling KoFickleness and bounding lattices in the recursively enumerable Turing degrees
TueOct 2014:00Alexandra SoskovaEffective embeddings and interpretations
WedOct 1401:00Chris ConidisNon-arithmetic algebraic constructions
TueOct 1320:00Leszek KołodziejczykReverse mathematics of combinatorial principles over a weak base theory
TueOct 0613:00Paul-Elliot Angles d'AuriacThe computable strength of Milliken's Tree Theorem and applications
TueSep 2920:00Christopher PorterEffective Dimension and the Intersection of Random Closed Sets
WedSep 2300:00Timothy McNichollWhich Lebesgue spaces are computably presentable?
TueSep 1520:00Justine MillerNoncomputable Coding, Density, and Stochasticity
TueSep 1513:00Alberto MarconeThe higher levels of the Weihrauch lattice
TueSep 0814:00Patrick UftringThe characterization of Weihrauch reducibility in systems containing $E$-$PA^\omega$ + $QF$-$AC^{0,0}$
TueSep 0120:00Patrick LutzPart 1 of Martin's Conjecture for Order Preserving Functions
WedAug 2601:00Andre NiesDiscovering structure within the class of K-trivial sets
TueAug 1820:00Joe MillerRedundancy of information: lowering effective dimension
TueAug 1114:00Jun Le GohComputing descending sequences in linear orderings
TueAug 0414:00Benoit MoninGenericity and randomness with ITTMs
TueJul 2821:00Andrew MarksPriority arguments in descriptive set theory
TueJul 2115:00Cristóbal RojasStatistical Chaos — a new barrier in the prediction/simulation of physical systems
TueJul 1420:00Mariya SoskovaPA relative to an enumeration oracle
WedJul 0801:00Rod DowneySacks' Splitting Theorem Re-examined (again)
TueJun 3014:00Amaury PoulyA Survey on Analog Models of Computation
TueJun 2320:00Sarah ReitzesReduction games, provability, and compactness
WedJun 1701:00Lu LiuThe coding power of products of partitions
TueJun 0914:00Nikolai BazhenovRogers semilattices in the analytical hierarchy
TueJun 0214:00Vittorio BardA local approach towards uniform Martin’s conjecture
WedMay 2701:00Dan TuretskyCoding in the automorphism group of a structure
TueMay 1920:00Denis HirschfeldtMinimal pairs in the generic degrees
WedMay 1301:00Matthew Harrison-TrainorThe tree of tuples of a structure
TueMay 0520:00Marta Fiori CaronesA theorem from Rival and Sands and reverse mathematics
TueApr 2812:00Julia KnightLimiting Density and Free Structures
TueApr 2114:00Theodore SlamanRecursion Theory and Diophantine Approximation
Embed this schedule
Export series to