M101 [M103]

Location

Room change

Room M103 being unavailable on Friday, talks have been moved to room M101. The Zoom room name is unchanged and mentioned in brackets: M103.

Room M101 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, and immediately take the door to the right to reach M101. Image: path to M101.

Talks in this room:

Friday

14:00 Live	1-Complete first-order mereological theories Hsing-Chien Tsai
14:20 Live	Intermediate Goodstein principles. Oriola Gjetaj
14:40 Live	The structural complexity of models of arithmetic. Dino Rossegger
15:00 Live	Coffee Break
15:20 Live	Formalizing assignment of types to terms in NFU Vedran Cacic
15:40 Live	Tarski's theorem about choice and the alternative axiomatic extension of NFU. Tin Adlesic
16:00 Live	Compactness and Types in Logics of Dependence. Davide Quadrellaro
16:20 Live	Coffee Break
16:30 Live	Countable ranks at the first and second projective levels. Philipp Schlicht
16:50 Live	Applications of the open dihypergraph dichotomy for generalized Baire spaces. Dorottya Sziraki
17:10 Live	Computability of finite simplicial complexes and homology Amir Djamel Eddine