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

Find our researchers

Choose a subject and find our researchers and their publications.

Mathematical logic

Part of the research area Algebra and Logic

Latest publications

Invariance and Definability, with and without Equality
Dennis Bonnay, Fredrik Engström
Notre Dame Journal of Formal Logic, Journal article 2018
Journal article

Iterated ultrapowers for the masses
Ali Enayat, Matt Kaufmann, Zachiri McKenzie
Archive for mathematical logic, Journal article 2017
Journal article

Essens, att sammanfalla och karaktärisering
Paul Kindvall Gorbow
Filosofisk Tidskrift, Journal article 2017
Journal article

Feferman's Forays into the Foundations of Category Theory
Ali Enayat, Paul Kindvall Gorbow, Zachiri McKenzie
Feferman on Foundations, Springer International Publishing, Chapter in book 2017
Chapter in book

Cut-free completeness for modal mu-calculus
Bahareh Afshari, Graham E. Leigh
32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Conference paper 2017
Conference paper

Dependence logic with generalized quantifiers: Axiomatizations
Fredrik Engström, Juha Kontinen, Jouko Väänänen
Journal of computer and system sciences, Journal article 2017
Journal article

Truth and Proof in the Long Run: Essays on Trial and-Error Logics
Martin Kaså
Göteborg, Acta Universitatis Gothoburgensis, Doctoral thesis 2017
Doctoral thesis

Marginalia on a theorem of Woodin
Rasmus Blanck, Ali Enayat
Journal of Symbolic Logic, Journal article 2017
Journal article

Page Manager: Webmaster|Last update: 8/24/2013
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?