#матлог #учёба #спецсеминар

Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)

Monday, 18 May, 18:30 MSK

We have a talk of Przemysław Wałęga (Oxford), who will explain the classical "Tarski preservation theorem", which says that first-order formulas that preserve their value under taking substructures (e.g., like the formula defining a partial order) are precisely formulas that are equivalent to universal formulas. Additionally, the plan is to discuss what happens with all these in the modal logic.