Till startsida
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

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?