M209

Location

Room M208 is located on the second floor of the Mars area. When entering the university, you are in the Sun. Go left to reach the Mars/Venus aisle. Then, take the stairs and go to the right. Take the door to the left, and enter M208 on your right (second door). Image: path to M209.

Talks in this room:

Monday

14:00 Live	Reverse Mathematics and Combinatorial Principles - Ackermann Function and Reverse Mathematics Wei Wang
14:30 Live	Reverse Mathematics and Combinatorial Principles - The strength of versions of Mycielski’s Theorem Denis Hirschfeldt
15:00 Live	Coffee Break
15:20 Live	Reverse Mathematics and Combinatorial Principles - On the strength of some first-order problems corresponding to Ramseyan principles Giovanni Soldà
15:50 Live	Reverse Mathematics and Combinatorial Principles - A non speed-up result for the chain-antichain principle over a weak base theory Katarzyna W. Kowalik
16:20 Live	Coffee Break
16:30 Live	Reverse Mathematics and Combinatorial Principles - The computability of the Artin-Rees Lemma and Krull Intersection Theorem Chris Conidis
17:00 Live	Reverse Mathematics and Combinatorial Principles - Recursive coloring without Δ₃⁰ witness for Hindman theorem Yuke Liao

Tuesday

11:30 Live	Normalization for epsilon calculus. Elio La Rosa
11:50 Live	On an ecumenical natural deduction with stoup. Elaine Pimentel
12:10 Live	On extracting variable Herbrand disjunctions. Andrei Sipos
14:00 Live	Proof Theory and Ordinal Analysis - From interpolation to proofs Bahareh Afshari
14:30 Live	Proof Theory and Ordinal Analysis - Noetherian Gödel Logics David Fernandez-Duque
15:00 Live	Coffee Break
15:20 Live	Proof Theory and Ordinal Analysis - The admissible extension of subsystems of second order arithmetic Gerhard Jaeger
15:50 Live	Proof Theory and Ordinal Analysis - Isominimal realizations of patterns Gunnar Wilken
16:20 Live	Coffee Break
16:30 Live	Proof Theory and Ordinal Analysis - The Π₂¹-spectrum conjecture Juan P. Aguilera
17:00 Live	Proof Theory and Ordinal Analysis - On the Constructive Constructible Universe Richard Matthews

Wednesday

11:30 Live	Computer Science Logic - Alternating (In)Dependence-Friendly Logic ‡ Fabio Mogavero
12:00 Live	Computer Science Logic - On the dynamics of cut-elimination for circular and non-wellfounded proofs Alexis Saurin
14:00 Live	Computer Science Logic - Sequent calculi with restricted cuts for non-classical logics Revantha Ramanayake
14:30 Live	Computer Science Logic - Should Type Theory replace Set Theory as the Foundation of Mathematics? Thorsten Altenkirch
15:00 Live	Coffee Break
15:20 Live	Computer Science Logic - Proofs, circuits, and total search problems Susanna F. de Rezende
15:50 Live	Computer Science Logic - On the Power of Symmetric Linear Programs Joanna Ochremiak
16:20 Live	Coffee Break
16:30 Live	Foundations of team semantics. Fredrik Engstrom
16:50 Live	Dimension in team semantics. Jouko Väänänen
17:10 Live	The logic E-Mingle and its Routley-Meyer semantics. Gemma Robles

Thursday

11:30

Stability of generalized Johnson graphs

Bjarki Geir Benediktsson

11:50

Properties of lattices of existential formulas of Jonsson beautiful pairs.

Olga Ulbrikht

12:10

Syntactic and semantic similarities of hybrids of classes of the Jonsson spectrum of Jonsson quasivariety of the class K.

Nazerke Mussina

Friday

14:00 Live	Arbitrary Abstraction and Logicality. Ludovica Conti
14:20 Live	Truth-theoretic determinacy revisited. Pablo Dopico
14:40 Live	Between the Model-Theoretic and the Axiomatic Method of Characterizing Mathematical Truth Michal Godziszewski
15:00 Live	Coffee Break
15:20 Live	The relevance of the incompleteness theorems with Hilbert's concrete proof theory. Yong Cheng
15:40 Live	Two halves of disjunctive correctness. Cezary Cieśliński
16:00 Live	Reformulating supervaluational theory of truth. Daichi Hayashi
16:20 Live	Coffee Break
16:30 Live	Forcing without AC and the Axiom of Dependent Choice Jonathan Schilhan
16:50 Live	Sequent Calculus for non-Fregean Boolean theory WB. Agata Tomczyk