ML Seminar: Forschungsseminar Mathematische Logik
This is the website of the research seminar
(Forschungsseminar) of the Mathematical Logic Group (Bereich Mathematische Logik und
interdisziplinäre Anwendungen der Logik, ML) in the
Department of Mathematics at the University of Hamburg.
The ML Seminar is a virtual joint meeting of STiHaC, the
set theory groups in Hamburg and Cambridge.
Sommersemester 2017
The seminar took place on
Mondays, 14:15 - 15:45, in room 434 (Geomatikum).
|
|
| Date |
Speaker |
Title |
Abstract |
Slides / Transcript |
|
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
|
|
|
|
