If we got a permission, we put here slides from talks given
at
the conference.
More to come.
- Zofia Adamowicz, Small initial segments and consistency
- Andrés Cordón-Franco and Francisco Félix Lara-Martín, On local induction and collection principles, Part I: Basic notions and applications to reflection principles
- Andrés Cordón-Franco and Francisco Félix Lara-Martín, On local induction and collection principles, Part II: Inference rules and applications to parameter free induction
- Paola D'Aquino, Recursively saturated real closed fields
- Ali Enayat, Self-embeddings of models of arithmetic, redux
- Ali Enayat and Albert Visser, A tutorial, part I: Sequential theories
- Ali Enayat and Albert Visser, A tutorial, part II:Full satisfaction classes in a general setting
- Aleksander Ivanov and Barbara Majcher-Iwanow, Polish G-spaces of continuous structures
- Richard Kaye, Counting external sets in models of arithmetic
- Leszek Kołodziejczyk, A pesky theory of bounded arithmetic
- Roman Kossak, Automorphisms and cofinal extensions
- Marcin Mostowski, Truth in the limit
- Roman Murawski, Zygmunt Ratajczyk and Henryk Kotlarski
- Michael Rathjen, Well ordering principles, omega and beta models
- Denis Richard, Nézondet's p-destinies for theories with two and three quantifiers, The five missing numbers,
- Zenon Sadowski, Characterizing the existence of optimal proof systems and complete sets for promise classes
- Sam Sanders, Nonstandard analysis: a new way to compute
- Albert Visser, Peano downstairs
- Tin Lok Wong, Axiom schema for a model of arithmetic with a cut
- Konrad Zdanowski, The strength of Ramsey theorem for coloring ω-large sets