| Monday 9 December 2024 | |
| Events for day: Thursday 28 November 2024 |
| 09:00 - 17:00 Workshop Repetitive Transcranial Magnetic Stimulation (rTMS) School COGNITIVE SCIENCES Repetitive Transcranial Magnetic Stimulation (rTMS) - Workshop ... 14:00 - 16:00 Mathematical Logic Weekly Seminar Model Theory of Tame Classes of Finite Structures School MATHEMATICS The class of finite structures is a notoriously ill-behaved one from the point of view of model theory. In the early years of this century, this led to the study of subclasses of this class which exhibit better behaviour. The focus was on classes defined by the sparsity of their underlying Gaifman graph. Such sparse classes were shown to be well-behaved in model-theoretic and algorithmic terms. The good behaviour discussed there focused on two aspects: that such classes show preservation properties that fail on the class of finite structures, and evaluation of first-order formulas is algorithmically tractable in such classes. A common t ... |