Logic Colloquium 2022

M103

Location

Room M103 is located on the first floor of the Mars area. When entering the university, you are in the Sun. Go left to reach the Mars/Venus aisle, take the first corridor to your right and the first door to your left to reach M103. Image: path to M103.

Talks in this room:
Tuesday
 11:50 ! Live

Two computational clusters in ordinary mathematics.

Sam Sanders

 12:10 ! Live

Weak and strong versions of effective transfinite recursion.

Patrick Uftring

Wednesday
 16:30 ! Live

Formalizing the Appendix of Kelley's General Topology in the Naproche Proof Checker.

Peter Koepke

 16:50 ! Live

Unthreadability at aleph2.

Maxwell Levine

 17:10 ! Live

The phase transition for Harvey Friedman’s monotone Bolzano Weierstrass principle.

Andreas Weiermann

Thursday
 11:30 ! Live

Hyperarithmetical Worm Battles

Konstantinos Papafilippou

 11:50 ! Live

Proof Theory of Skew Non-Commutative MILL.

Cheng-Syuan Wan

 12:10 ! Live

The reverse mathematical strength of hyperations.

Philipp Provenzano

If you encounter any issues with this website, please get in touch with Léo Exibard.