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 41 - 50 av 261

2017

Numerical Linear Algebra: Theory and Applications
Larisa Beilina, Evgenii Karchevskii, Mikhail Karchevskii
Springer, Bok 2017
Bok

On the optimal regularity of weak geodesics in the space of metrics on a polarized manifold
Robert Berman
Analysis Meets Geometry. (Trends in Mathematics). Andersson M., Boman J., Kiselman C., Kurasov P., Sigurdsson R. (eds), Springer, Kapitel i bok 2017
Kapitel i bok

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

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

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, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

Marginalia on a theorem of Woodin
Rasmus Blanck, Ali Enayat
Journal of Symbolic Logic, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

2016

Studies in Weak Arithmetics
Patrick Cegielski, Ali Enayat, Roman Kossak
Stanford, California, USA, CSLI Publications, Samlingsverk 2016
Samlingsverk

Reflecting on Truth
Graham E. Leigh
IfCoLog Journal of Logics and their Applications, Artikel i vetenskaplig tidskrift 2016
Artikel i vetenskaplig tidskrift

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

Visar 41 - 50 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?