Talk 18 may
6 views
Skip to first unread message
kozmath
May 16, 2026, 9:27:33 AM (3 days ago) May 16
to Kolmogorov seminar on complexity, Przemyslaw Walega
Dear participants of the Kolmogorov seminar,
Next Monday, 18 May, 18:30 MSK (17:30 Paris time) zoom link:
https://us06web.zoom.us/j/84203550652?pwd=azOmtrm5wrHFaE4aVeuqhzHHF57hKd.1
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.
Best,
Next Monday, 18 May, 18:30 MSK (17:30 Paris time) zoom link:
https://us06web.zoom.us/j/84203550652?pwd=azOmtrm5wrHFaE4aVeuqhzHHF57hKd.1
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.
Best,
Sasha
Sent with Proton Mail secure email.
Reply all
Reply to author
Forward
0 new messages