Countable reductions, Borel equivalence relations - Russell Miller

preview_player
Показать описание

  1. Computability
Рекомендации по теме
Countable reductions, Borel 1:02:36

Countable reductions, Borel equivalence relations - Russell Miller

Effectivizing the theory 0:56:21

Effectivizing the theory of Borel equivalence relations - Luca San Mauro (Sapienza University Rome)

Assaf Shani - 0:24:06

Assaf Shani - Borel equivalence relations and symmetric models

An introduction to 0:58:58

An introduction to Borel reducibility II - Matthew Harrison-Trainor

An introduction to 0:58:50

An introduction to Borel reducibility I - Matthew Harrison-Trainor

Polishable equivalence relations 1:03:48

Polishable equivalence relations

Longyun Ding: On 0:49:38

Longyun Ding: On equivalence relations induced by Polish groups #ICBS2024

Borel equivalence relation 0:01:16

Borel equivalence relation

An introduction to 0:49:48

An introduction to the theory of Borel complexity of classification problems

Tutorial on AD+ 1:37:58

Tutorial on AD+ 3

Andrew Brooke-Taylor: Categorifying 0:59:20

Andrew Brooke-Taylor: Categorifying Borel reducibility

Borel order dimension 0:52:21

Borel order dimension - Dilip Raghavan (NUS)

Classification Strength of 0:49:07

Classification Strength of Polish Groups I: Involving $S_\infty$ - ArXiv:2304.00139

Gianluca Paolini: Torsion-free 0:52:07

Gianluca Paolini: Torsion-free Abelian groups are Borel complete

The strength of 0:58:46

The strength of Borel Wadge comparability - Noam Greenberg (Victoria University of Wellington)

Andrew Brooke-Taylor - 0:29:06

Andrew Brooke-Taylor - Borel reducibility and category theory

Prof. Ekaterina Fokina 0:57:02

Prof. Ekaterina Fokina | Classification problem for effective structures

Sam Coskey: Classification 1:12:51

Sam Coskey: Classification of countable models of ZFC

08/01/2021 - Filippo 1:45:50

08/01/2021 - Filippo Calderoni, 'The Borel structure on the space of left-orderings'

Tutorial on AD+1 1:29:42

Tutorial on AD+1

Classifying word problems 0:54:22

Classifying word problems - Luca San Mauro (Vienna University of Technology)

A local approach 0:53:15

A local approach towards uniform Martin’s conjecture - Vittorio Bard (Torino)

True stages and 0:50:40

True stages and hyperarithmetic isomorphisms

Konrad Deka (Jagiellonian 1:28:32

Konrad Deka (Jagiellonian University, Cracow)