Presentation on "FO=FO3 for linear orders with monotone binary relationss"

Dear Theorists,
on Thursday, June 22, 2023, Mr. Vincent Klimmer will give a lecture on "FO=FO3 for linear orders with monotone binary relations" in the research seminar of the Institute for Theoretical Computer Science. All interested are cordially invited to attend. We will meet at 11 am in room Z 2073.

Further information on the research seminar of the Institute for Theoretical Computer Science can be found here.