Скачать
2025.07.29, Colin Geniet, Merge-width
Автор: IBS Discrete Mathematics Group
Загружено: 2025-07-29
Просмотров: 352
Описание:
Colin Geniet, Merge-width
July 29 Tuesday @ 4:30 PM - 5:30 PM KST
Room B332, IBS (기초과학연구원)
Colin Geniet
IBS Discrete Mathematics Group
https://colingeniet.com
This talk is an introduction to the recent notion of merge-width, proposed by Jan Dreier and Szymon Torúnczyk. I will give an overview of the context and motivations for merge-width, namely the first-order model checking problem, and present the definition, some examples, and some basic proof techniques with the example of χ-boundedness.
This is based on joint work with Marthe Bonamy.
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
