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

The Logic Seminar 2019

The logic seminar takes place on alternate Fridays between 10:15 and 12:00 at Olof Wijksgatan 6 in room T340 (unless otherwise stated).

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

Autumn 2019 Logic Seminar Schedule

6 September (Room T340)
Speaker: Ali Enayat
Title: Some recent news about truth theories
Abstract: This talk is an expanded version of the talk I recently presented at the Logic Colloquium 2019 (Prague). I will report on the following two recent developments in the axiomatic study of truth theories. Item (1) resulted from my collaboration with Fedor Pakhomov (Steklov Institute, Moscow); while item (2) arose from my joint work with Mateusz Łełyk and Bartosz Wcisło (both from the University of Warsaw).
(1) The nonconservativity of CT^-[PA] + DC over PA, where CT^-[PA] is the extension of PA (Peano arithmetic) with CT^- (compositional theory of truth without extra induction), and DC is the axiom stating that a finite disjunction is true iff one of its disjuncts is true.
(2) Feasible reducibility of certain truth theories (including CT^-[PA]) to PA. A corollary of this result is that such truth theories exhibit at most polynomial speed-up over PA.

20 September (Room T340)

4 October (T340)
Speaker: Moa Johansson (Chalmers)

18 October (T340)

1 November (T340)

15 November (T340)
Speaker: Anton Broberg (FLoV)

29 November (T340)
Speaker: Ana Maria Mora Marquez (FLoV)

 

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: 9/3/2019
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?