Mirna Džamonja: Higher order versions of the logic of chains close

Dear all,

The seminar meets on Wednesday June 20th at 11:00 in the Institute of
Mathematics CAS, Zitna 25, seminar room, 3rd floor, front building.

Program: Mirna Džamonja — Higher order versions of the logic of chains
close

First order logic of chains was discovered by Carol Karp and revisited
in recent work of Dz. with Jouko Vaananen. The results have shown that
the logic, defined through a singular cardinal of countable cofinality,
behaves very much like the first order logic. In our new joint work, we
study higher order versions of the logic of chains and their fragments
to defend the thesis that in this context we can also recover
similarities with the ordinary logic. We also discuss the idea of
infinite computation.

Best,
David

Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.

This site uses Akismet to reduce spam. Learn how your comment data is processed.