Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

The Logic Seminar 2018

The logic seminar takes place on alternate Thursdays between 13:15 and 15:00 at Olof Wijksgatan 6 in room T 307 (unless otherwise stated).

The archive of older seminars (starting 2005) is divided into two web pages: 2005-2013 Logic Seminars and 2014-2017

Spring 2018 Logic Seminar Schedule

25 Jan: Informal Seminar. Room: T 340

8 Feb: Rasmus Blanck (FLoV). Room: T340!
Hierarchical incompleteness and arithmetically definable fragments of arithmetic
Abstract: There has been a recent interest in hierarchical generalisations of classic incompleteness results: at least two papers on the topic were published in 2017. In this talk, I will argue that such results are often easily obtained by replacing certain principles used in the proofs by their corresponding hierarchical versions, while the essence of the arguments remain the same. After introducing about a dozen of these (quite familiar) principles, I use them to prove a handful of hierarchical incompleteness results effectively subsuming those of the two aforementioned papers.

22 Feb: 

8 Mar: Claes Strannegård (Chalmers). Room: T340!

22 Mar:

5 Apr: Gerhard Jäger (Bern)

19 Apr: Peter Dybjer (Chalmers)

3 May:

31 May:

Mailing list

There is a mailing list used for spreading information about the logic seminar. Please use the above link to subscribe to it.

 

Page Manager: Monica Havström|Last update: 1/31/2018
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?