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.

List of past and future seminar schedules
Wintersemester 2013/14 Sommersemester 2014 Wintersemester 2014/15 Sommersemester 2015
Wintersemester 2015/16 Sommersemester 2016 Wintersemester 2016/17 Sommersemester 2017
Wintersemester 2017/18 Sommersemester 2018 Wintersemester 2018/19 Sommersemester 2019
Wintersemester 2019/20 Sommersemester 2020 Wintersemester 2020/21 Sommersemester 2021
Wintersemester 2021/22 Sommersemester 2022 Wintersemester 2022/23 Sommersemester 2023
Wintersemester 2023/24 Sommersemester 2024 Wintersemester 2024/25 Sommersemester 2025
Wintersemester 2025/26 Sommersemester 2026 Wintersemester 2026/27

Sommersemester 2015

The seminar regularly takes place on Wednesdays, 14:15 - 15:45 in room 233 (Geomatikum).

Date Speaker Titel Abstract Slides / Transcript
01.04.2015 Yurii Khomskii Full-splitting Miller trees and infinitely often equal reals, part 1
08.04.2015 Luca Incurvati
(Universiteit van Amsterdam) 		Conceptions of set
15.04.2015 Yurii Khomskii Full-splitting Miller trees and infinitely often equal reals, part 2
22.04.2015 Yurii Khomskii Full-splitting Miller trees and infinitely often equal reals, part 3
29.04.2015 Uwe Petersen
(Altonaer Stiftung für philosophische Grundlagenforschung) 		On levels of induction in a contraction free logic with unrestricted abstraction
06.05.2015 Alexander Block Multiverses
13.05.2015 Wolfgang Wohofsky On cofinalities of Marczewksi type ideals related to tree forcing notions transcript
20.05.2015 Ilya Sharankou Cardinal invariants for generalized Baire space
27.05.2015 Pfingstferien
03.06.2015 Ilya Sharankou An inner model for measurability II
(Seminar über weiterführende Themen aus der Mengenlehre) 		transcript
10.06.2015 Kein Seminar
17.06.2015 Lorenzo Galeotti
(Universiteit van Amsterdam) 		Real analysis in generalized Baire space
24.06.2015 Randall Holmes
(Boise State University) 		The Consistency Problem for Quine's New Foundation
01.07.2015 Nick de Hoog
(Universität Konstanz) 		Kulturen der mathematischen Forschung - ein Projektbericht
08.07.2015 Keith Weber
(Rutgers University) 		Proof as a cluster concept in mathematical practice slides