Видео 43
Просмотров 4 253

01/12/2023 - Zoltan Vidnyanszky "Homomorphisms in the choiceless world"

58:56

03/11/2023 - Cross-Alps Logic Seminar - speaker: Steffen Lempp

44:42

16/06/2023 - André Nies, "Computably totally disconnected, locally compact groups"

58:41

09/06/2023 - Ulrich Kohlenbach, "Proof mining: recent developments"

1:09:40

19/05/2023 - Jacques Duparc, "The Wadge order on the Cantor space and on the Scott domain"

1:14:32

05/05/2023 - Dima Sinapova, "Mutual stationarity and the failure of SCH"

1:05:26

01/03/2024 - Cross-Alps Logic Seminar (speaker: Simon Henry)

01/03/2024 - Cross-Alps Logic Seminar (speaker: Simon Henry)

Видео

01/12/2023 - Zoltan Vidnyanszky "Homomorphisms in the choiceless world"

58:56

01/12/2023 - Zoltan Vidnyanszky "Homomorphisms in the choiceless world"

Просмотров 30Год назад

Cross-Alps Logic Seminar recorded on the 1st of December 2023.

03/11/2023 - Cross-Alps Logic Seminar - speaker: Steffen Lempp

44:42

03/11/2023 - Cross-Alps Logic Seminar - speaker: Steffen Lempp

Просмотров 61Год назад

03/11/2023 - Cross-Alps Logic Seminar - speaker: Steffen Lempp

16/06/2023 - André Nies, "Computably totally disconnected, locally compact groups"

58:41

16/06/2023 - André Nies, "Computably totally disconnected, locally compact groups"

Просмотров 61Год назад

Cross-Alps Logic Seminar recorded on the 16th of June 2023.

09/06/2023 - Ulrich Kohlenbach, "Proof mining: recent developments"

1:09:40

09/06/2023 - Ulrich Kohlenbach, "Proof mining: recent developments"

Просмотров 230Год назад

Cross-Alps Logic Seminar recorded on the 9th of June 2023.

19/05/2023 - Jacques Duparc, "The Wadge order on the Cantor space and on the Scott domain"

1:14:32

19/05/2023 - Jacques Duparc, "The Wadge order on the Cantor space and on the Scott domain"

Просмотров 25Год назад

Cross-Alps Logic Seminar recorded on the 19th of May 2023.

05/05/2023 - Dima Sinapova, "Mutual stationarity and the failure of SCH"

1:05:26

05/05/2023 - Dima Sinapova, "Mutual stationarity and the failure of SCH"

Просмотров 45Год назад

Cross-Alps Logic Seminar recorded on the 5th of May 2023.

21/04/2023 - Márton Elekes, "On various notions of universally Baire sets"

1:07:37

21/04/2023 - Márton Elekes, "On various notions of universally Baire sets"

Просмотров 36Год назад

Cross-Alps Logic Seminar recorded on the 21st of April 2023.

31/03/2023 - Ludovic Patey, "Canonical notions of forcing in reverse mathematics"

57:36

31/03/2023 - Ludovic Patey, "Canonical notions of forcing in reverse mathematics"

Просмотров 92Год назад

Cross-Alps Logic Seminar recorded on the 31st of March 2023.

03/03/2023 - Dugald Macpherson, "Asymptotics of definable sets in finite structures"

1:05:47

03/03/2023 - Dugald Macpherson, "Asymptotics of definable sets in finite structures"

Просмотров 61Год назад

Cross-Alps Logic Seminar recorded on the 3rd of March 2023.

27/01/2023 - Katarzyna Kowalik, "Reverse mathematics of some Ramsey-theoretic principles"

1:18:04

27/01/2023 - Katarzyna Kowalik, "Reverse mathematics of some Ramsey-theoretic principles"

Просмотров 112Год назад

Cross-Alps Logic Seminar recorded on the 27th of January 2023.

13/01/2023 - Vasco Brattka, "Some fascinating topics in logic around reducibilities"

1:03:14

13/01/2023 - Vasco Brattka, "Some fascinating topics in logic around reducibilities"

Просмотров 63Год назад

Cross-Alps Logic Seminar recorded on the 13th of January 2023.

20/12/2022 - Gabriel Debs, "Some descriptive problems in the Euclidean plane"

52:25

20/12/2022 - Gabriel Debs, "Some descriptive problems in the Euclidean plane"

Просмотров 432 года назад

Descriptive set theory and combinatorics - Workshop Turin 2022.

20/12/2022 - Philipp Moritz Lücke, "Definable clubs"

52:54

20/12/2022 - Philipp Moritz Lücke, "Definable clubs"

Просмотров 492 года назад

Descriptive set theory and combinatorics - Workshop Turin 2022.

20/12/2022 - Mauro Di Nasso, "Ultrafilters and tensor pairs of nonstandard analysis"

51:41

20/12/2022 - Mauro Di Nasso, "Ultrafilters and tensor pairs of nonstandard analysis"

Просмотров 1242 года назад

Descriptive set theory and combinatorics - Workshop Turin 2022.

18/11/2022 - Annalisa Conversano, "Tools of o-minimality in the study of groups"

53:55

18/11/2022 - Annalisa Conversano, "Tools of o-minimality in the study of groups"

Просмотров 1252 года назад

18/11/2022 - Annalisa Conversano, "Tools of o-minimality in the study of groups"

04/11/2022 - Jacopo Emmenegger, "Quotients and equality, (co)algebraically"

53:55

04/11/2022 - Jacopo Emmenegger, "Quotients and equality, (co)algebraically"

Просмотров 512 года назад

04/11/2022 - Jacopo Emmenegger, "Quotients and equality, (co)algebraically"

21/10/2022 - C. Rosendal, "Amenability, optimal transport and complementation in Banach modules"

1:06:08

21/10/2022 - C. Rosendal, "Amenability, optimal transport and complementation in Banach modules"

Просмотров 332 года назад

21/10/2022 - C. Rosendal, "Amenability, optimal transport and complementation in Banach modules"

27/05/2022 - Takako Nemoto, "Determinacy of infinite games and reverse mathematics"

1:02:51

27/05/2022 - Takako Nemoto, "Determinacy of infinite games and reverse mathematics"

Просмотров 792 года назад

27/05/2022 - Takako Nemoto, "Determinacy of infinite games and reverse mathematics"

20/05/2022 - Alberto Marcone, "The transfinite Ramsey theorem"

1:21:10

20/05/2022 - Alberto Marcone, "The transfinite Ramsey theorem"

Просмотров 862 года назад

20/05/2022 - Alberto Marcone, "The transfinite Ramsey theorem"

13/05/2022 - Udayan Darji, "Descriptive complexity and local entropy"

55:33

13/05/2022 - Udayan Darji, "Descriptive complexity and local entropy"

Просмотров 442 года назад

13/05/2022 - Udayan Darji, "Descriptive complexity and local entropy"

18/03/2022 - Damir Dzhafarov, "The SRT^2_2 vs. COH problem"

1:38:33

18/03/2022 - Damir Dzhafarov, "The SRT^2_2 vs. COH problem"

Просмотров 582 года назад

18/03/2022 - Damir Dzhafarov, "The SRT^2_2 vs. COH problem"

11/03/2022 - Alessandro Andretta, "Sierpiński's partitions with Σ^1_2 pieces"

1:45:30

11/03/2022 - Alessandro Andretta, "Sierpiński's partitions with Σ^1_2 pieces"

Просмотров 822 года назад

11/03/2022 - Alessandro Andretta, "Sierpiński's partitions with Σ^1_2 pieces"

10/12/2021 - Jeff Hirst, "Reverse mathematics and Banach's theorem"

1:07:40

10/12/2021 - Jeff Hirst, "Reverse mathematics and Banach's theorem"

Просмотров 793 года назад

10/12/2021 - Jeff Hirst, "Reverse mathematics and Banach's theorem"

03/12/2021 - Gabriel Goldberg, "The optimality of Usuba's theorem"

1:38:17

03/12/2021 - Gabriel Goldberg, "The optimality of Usuba's theorem"

Просмотров 3323 года назад

03/12/2021 - Gabriel Goldberg, "The optimality of Usuba's theorem"

12/11/2021 - Sandra Müller, "Large Cardinals and Determinacy"

1:06:45

12/11/2021 - Sandra Müller, "Large Cardinals and Determinacy"

Просмотров 2233 года назад

12/11/2021 - Sandra Müller, "Large Cardinals and Determinacy"

05/11/2021 - Andy Zucker, "Big Ramsey degrees in binary free amalgamation classes"

1:21:51

05/11/2021 - Andy Zucker, "Big Ramsey degrees in binary free amalgamation classes"

Просмотров 563 года назад

05/11/2021 - Andy Zucker, "Big Ramsey degrees in binary free amalgamation classes"

11/06/2021 - Victoria Gitman, "The old and the new of virtual large cardinals"

1:22:08

11/06/2021 - Victoria Gitman, "The old and the new of virtual large cardinals"

Просмотров 723 года назад

11/06/2021 - Victoria Gitman, "The old and the new of virtual large cardinals"

28/05/2021 - Dana Bartosova, "Short exact sequences and universal minimal flows"

1:04:28

28/05/2021 - Dana Bartosova, "Short exact sequences and universal minimal flows"

Просмотров 673 года назад

28/05/2021 - Dana Bartosova, "Short exact sequences and universal minimal flows"

21/05/2021 - Linda Westrick, "Borel combinatorics fail in HYP"

41:22

21/05/2021 - Linda Westrick, "Borel combinatorics fail in HYP"

Просмотров 483 года назад

21/05/2021 - Linda Westrick, "Borel combinatorics fail in HYP"

LogicGroup