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

Logic

Our research group in Logic employs rigorous mathematical methodology to investigate the Metamathematics of Foundational Systems (especially systems related to first and second order arithmetic, as well as Zermelo-Fraenkel set theory and its extensions), Axiomatic Theories of Truth, Logical Constants, and Dependence Logic.

More detailed information about our research group can be found in the list of recent publications of our group, and by visiting the homepages of our researchers, both available below.

News

  • [2015-12-05] Graham E. Leigh from Technische Universität Wien got appointed as Wallenberg Academy Fellow. We're very proud to welcome him to our department.  
  • [2015-12-05] It is now finalized that our department will be responsible for a new Master's Programme in Logic starting fall 2016. 
  • [2015-09-01] We welcome Paul Gorbow to our group as doctoral student.

 

Publications

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

1999

People

 

Page Manager: Monica Havström|Last update: 4/14/2017
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?