Set Theory Talks is a user on You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.
Set Theory Talks @SetTheoryTalks
image/svg+xml Follow

Wednesday seminar
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.… ...