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.

Algebra and Logic

Part of the research area Mathematics

Latest publications

On the relationships between the geometric and the algebraic ideas in Duhre’s textbooks of mathematics, as reflected via Book II of Euclid’s Elements
Johanna Pejlare
“DIG WHERE YOU STAND” 4. Proceedings of the Fourth International Conference on the History of Mathematics Education, Roma, Edizioni Nuova Cultura, Conference paper 2017
Conference paper

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

Unifying the model theory of first-order and second-order arithmetic via WKL*_0
Ali Enayat, Tin Lok Wong
Annals of Pure and Applied Logic, Journal article 2017
Journal article

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

Reflecting on Truth
Graham E. Leigh
IfCoLog Journal of Logics and their Applications, Journal article 2016
Journal article

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

Showing 1 - 14 of 14

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
Helenius, Ola Researcher NCM
Kaså, Martin Lecturer Department of Philosophy, Linguistics, Theory of Science
Leigh, Graham Researcher Department of Philosophy, Linguistics, Theory of Science
Stevens, Jan Senior lecturer Algebra and Geometry

Showing 1 - 14 of 14

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?