|
03.04.2017
|
Yurii Khomskii (Hamburg)
|
Projective Maximal
Independent Families
|
|
|
|
10.04.2017
|
Wolfgang Wohofsky (Hamburg)
|
Any Laver forcing at uncountable kappa adds a kappa-Cohen real |
|
|
21.04.2017
Friday!
Room: 432
|
Giorgio Laguzzi (Freiburg)
|
Social welfare relations and irregular sets |
|
|
|
24.04.2017
|
Lorenzo Galeotti (Hamburg)
|
Order types of models of subsystems of PA |
|
|
|
15.05.2017
|
Otmar Spinas (Kiel)
|
Additivitäten und Kofinalitäten von Baumidealen
|
|
|
|
22.05.2017
|
Lorenzo Galeotti (Hamburg)
|
The Generalised Real Line and the Bolzano-Weierstrass Theorem
|
|
|
|
16.06.2017
|
Jörg Brendle (Kobe, Japan)
|
The Rearrangement Number
|
|
|
|
19.06.2017
|
Dirk Schlimm (Montréal & München)
|
Frege's Begriffsschrift notation: Design principles
and trade-offs
|
|
|
|
26.06.2017
|
Nick de Hoog (Konstanz)
|
Who proves by contradiction? A survey of proofs used in arXiv
|
|
|
|
28.06.2017
|
Karl Kuhlemann (Hannover)
|
Nichtstandardanalysis - nur eine Anwendung der Logik?
|
|
|
|
10.07.2017
|
Carl Bürger (Hamburg)
|
Decomposing Edge-Colored Graphs into Generalized Paths
|
|
|
