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