IPM Calendar 
Friday 13 December 2024   Today  
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 ...