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 and feasible reducibility
Ali Enayat, Mateusz Łełyk, Bartosz Wcisło
Journal of Symbolic Logic, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

A Logic with Measurable Spaces for Natural Language Semantics
Jean-Philippe Bernardy, Rasmus Blanck, Aleksandre Maskharashvili
TbiLLC 2019: Thirteenth International Tbilisi Symposium on Language, Logic and Computation,16-20 September 2019., Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2019
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Representations of Lie algebras of vector fields on affine varieties
Y. Billig, V. Futorny, Jonathan Nilsson
Israel Journal of Mathematics, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

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

Visar 1 - 21 av 21

Namn Titel Organisation
Afshari, Bahareh Forskarassistent Datavetenskap (CS)
Berman, Robert Professor Avdelningen för algebra och geometri
Bernardy, Jean-Philippe Forskare Avdelningen för lingvistik, logik och vetenskapsteori
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 - 21 av 21

Visar 101 - 110 av 264

2013

Models of arithmetic, standardness and expansions
Fredrik Engström, Richard W. Kaye
Helsinki logic seminar, Helsinki 3 mars 2013, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2013
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Dependence Logic with Generalized Quantifiers: Axiomatizations
Fredrik Engström, Juha Kontinen, Jouko Väänänen
Logic, Language, Information, and Computation, Paper i proceeding 2013
Paper i proceeding

Dependence and Axiomatazations
Fredrik Engström
Logic seminar, Gothenburg, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2013
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

On logicality, invariance, and definability
Fredrik Engström
Intensionality in Mathematics, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2013
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

An adaptive finite element method for Fredholm integral equations of the first kind and its verification on experimental data
N. Koshev, Larisa Beilina
Central European Journal of Mathematics, Artikel i vetenskaplig tidskrift 2013
Artikel i vetenskaplig tidskrift

Limit points in the range of the commuting probability function on finite groups
Peter Hegarty
Journal of Group Theory, Artikel i vetenskaplig tidskrift 2013
Artikel i vetenskaplig tidskrift

Dependence logic with Generalized quantifiers: Axiomatizations
Fredrik Engström, Juha Kontinen, Jouko Väänänen
arXiv, Artikel i övriga tidskrifter 2013
Artikel i övriga tidskrifter

Characterizing quantifier extensions of dependence logic
Fredrik Engström, Juha Kontinen
Journal of Symbolic Logic, Artikel i vetenskaplig tidskrift 2013
Artikel i vetenskaplig tidskrift

2012

Transplendent models : Expansions omitting a type
Fredrik Engström, Richard W. Kaye
Notre Dame Journal of Formal Logic, Artikel i vetenskaplig tidskrift 2012
Artikel i vetenskaplig tidskrift

Visar 101 - 110 av 264

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?