Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2013-08-15 14:34

Tipsa en vän
Utskriftsversion

Algebra och logik - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Hitta forskaren!

Välj ämne och hitta forskare och publikationer i vår forskningsdatabas.

Algebra och logik

Del av forskningsområdet Matematik

Senaste publikationer

Truth, Disjunction, and Induction
Ali Enayat, Fedor Pakhomov
Archive for mathematical logic, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

A JENSEN-ROHRLICH TYPE FORMULA FOR THE HYPERBOLIC 3-SPACE
Sebastian Herrero, Ö Imamoglu, A-M Von Pippich, Árpád Tóth
Transactions of the American Mathematical Society, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

From Monge–Ampère equations to envelopes and geodesic rays in the zero temperature limit
Robert Berman
Mathematische Zeitschrift, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

The skew-Maass lift I: The case of harmonic Maass-Jacobi forms
Martin Westerholt-Raum, O. K. Richter
Research in the Mathematical Sciences, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

Extended eigenvarieties for overconvergent cohomology
Christian Johansson, J. Newton
Algebra & Number Theory, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

Truth and feasible reducibility
Ali Enayat, Mateusz Łełyk, Bartosz Wcisło
Working paper 2019
Working paper

Varieties via their L-functions
D. W. Farmer, S. Koutsoliotas, Stefan Lemurell
Journal of Number Theory, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

On the positivity of the logarithmic cotangent bundle
D. Brotbek, Ya Deng
Annales De L Institut Fourier, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

Topological models of arithmetic
Ali Enayat, Joel David Hamkins, Bartosz Wcisło
Working paper 2018
Working paper

Visar 1 - 20 av 20

Namn Titel Organisation
Afshari, Bahareh Forskarassistent Datavetenskap (CS)
Berman, Robert Professor Avdelningen för algebra och geometri
Björklund, Michael Forskarassistent Avdelningen för Analys och sannolikhetsteori
Blanck, Rasmus Postdoktor Avdelningen för lingvistik, logik och vetenskapsteori
Coquand, Thierry Professor Datavetenskap (CS)
Enayat, Ali Professor Avdelningen för lingvistik, logik och vetenskapsteori
Engström, Fredrik Universitetslektor Institutionen för filosofi, lingvistik och vetenskapsteori
Helenius, Ola Forskare Nationellt Centrum för Matematikutbildning, NCM
Kaså, Martin Universitetslektor Institutionen för filosofi, lingvistik och vetenskapsteori
Kindvall Gorbow, Paul Postdoktor Avdelningen för lingvistik, logik och vetenskapsteori
Leigh, Graham Forskare Avdelningen för lingvistik, logik och vetenskapsteori
Persson, Daniel Docent Avdelningen för algebra och geometri
Stevens, Jan Universitetslektor Avdelningen för algebra och geometri
Stolin, Alexander Professor Avdelningen för algebra och geometri
Turowska, Lyudmila Bitr professor Avdelningen för Analys och sannolikhetsteori
Wulcan, Elizabeth Bitr professor Avdelningen för algebra och geometri

Visar 1 - 20 av 20

Visar 71 - 80 av 261

2015

A Model of Type Theory in Cubical Sets
Simon Huber
Göteborg, University of Gothenburg, Licentiatsavhandling 2015
Licentiatsavhandling

Flexibility and Π₁-conservativity
Rasmus Blanck
Bristol-Gothenburg-Oxford Logic and Set Theory Postgraduate Student Day, 22 April 2015, Bristol., Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2015
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

2014

Generating Comprehensible Explanations in Description Logic
Fredrik Engström, Abdul Rahim Nizamani, Claes Strannegård
27th International Workshop on Description Logics. Vienna, Austria, July 17-20, 2014, Paper i proceeding 2014
Paper i proceeding

Standard Models of Arithmetic
Ali Enayat
Idées Fixes : a Festschrift dedicated to Christian Bennet on the occasion of his 60th birthday / edited by Martin Kaså, Göteborg, University of Gothenburg, Kapitel i bok 2014
Kapitel i bok

On the Diameters of Commuting Graphs Arising from Random Skew-Symmetric Matrices
Peter Hegarty, Dmitrii Zhelezov
Combinatorics, probability & computing, Artikel i vetenskaplig tidskrift 2014
Artikel i vetenskaplig tidskrift

Computing residue currents of monomial ideals using comparison formulas
Richard Lärkäng, Elizabeth Wulcan
Bulletin des Sciences Mathématiques, Artikel i vetenskaplig tidskrift 2014
Artikel i vetenskaplig tidskrift

Maass Forms on GL(3) and GL(4)
David W. Farmer, Sally Koutsoliotas, Stefan Lemurell
International mathematics research notices, Artikel i vetenskaplig tidskrift 2014
Artikel i vetenskaplig tidskrift

Interpretations and mathematical logic: a tutorial
Ali Enayat
Proceedings of the Second Frontiers of Mathematics Meeting (Tehran, Iran), Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2014
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Non-embeddable 1-convex manifolds
Jan Stevens
Annales de l'Institut Fourier, Artikel i vetenskaplig tidskrift 2014
Artikel i vetenskaplig tidskrift

Two consequences of Kripke's lemma
Rasmus Blanck
Idées Fixes (ed. Martin Kaså), Göteborg, University of Gothenburg, Kapitel i bok 2014
Kapitel i bok

Visar 71 - 80 av 261

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2013-08-15
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?