Call for Papers – CCA 2020

Call for Papers Seventeenth International Conference on       Computability and Complexity in Analysis (CCA 2020) September … More

Zoom Talk by Harrington

Dear all,    A talk about Harrington’s notes on “the hyperdegrees of reals in pruducts of uncountable Σ11 sets ” … More

A sad message

Today, April 14, my former teacher, and for many years, colleague and friend, Jens Erik Fenstad, passed away after a … More

Online Logic Seminar

Dear Colleagues, You are invited to the new Online Logic Seminar. This seminar will be held weekly on Thursdays, 1pm … More

Logic Colloquium 2020

Logic Colloquium 2020 Call for Papers July 13-18, 2020, Poznań, Poland* The Logic Colloquium is the European Summer Meeting … More