Till startsida
Sitemap
To content Read more abput 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

Marginalia on a theorem of Woodin
Rasmus Blanck, Ali Enayat
Journal of Symbolic Logic, 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

Finitary Proof Systems for Kozen’s μ
Bahareh Afshari, Graham E. Leigh
Mathematisches Forschungsinstitut Oberwolfach, Report 2016
Report

Flexibility in Fragments of Peano Arithmetic
Rasmus Blanck
Studies in Weak Arithmetics, Volume 3/ eds. Patrick Cégielski, Ali Enayat, Roman Kossak, Stanford, CSLI Publications, Chapter in book 2016
Chapter in book

Variations on a Visserian Theme
Ali Enayat
Liber Amicorum Alberti : a tribute to Albert Visser / Jan van Eijck, Rosalie Iemhoff and Joost J. Joosten (eds.) , London, College Publications, Chapter in book 2016
Chapter in book

A characterisation of Π₁-conservativity over IΣ₁
Rasmus Blanck
Journées sur les Arithmétiques Faibles 35, 6/6-7/6 2016, Lisbon, Portugal, Conference contribution 2016
Conference contribution

Automorphisms of models of set theory and extensions of NFU
Zachiri McKenzie
Annals of Pure and Applied Logic, Journal article 2015
Journal article

Flexible formulae and partial conservativity
Rasmus Blanck
Logic Colloquium 2015, 3-8 August 2015, Helsinki, Finland, Conference contribution 2015
Conference contribution

A Logic for Trial and Error Classifiers
Martin Kaså
Journal of Logic, Language and Information, Journal article 2015
Journal article

Reasoning with Bounded Cognitive Resources
Abdul Rahim Nizamani
Göteborg, University of Gothenburg, Doctoral thesis 2015
Doctoral thesis

Showing 1 - 9 of 9

Name Title Organization
Afshari, Bahareh Postdoctoral research fellow Department of Computer Science and Engineering
Afshari, Bahareh Postdoctoral research fellow Department of Computer Science and Engineering
Blanck, Rasmus PhD Student Department of Philosophy, Linguistics, Theory of Science
Coquand, Thierry Professor Department of Computer Science and Engineering
Enayat, Ali Professor Department of Philosophy, Linguistics, Theory of Science
Engström, Fredrik Researcher Department of Philosophy, Linguistics, Theory of Science
Kaså, Martin Lecturer Department of Philosophy, Linguistics, Theory of Science
Leigh, Graham Researcher Department of Philosophy, Linguistics, Theory of Science

Showing 1 - 9 of 9

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?