Mai Gehrke
IMAPP - Institute for Mathematics, Astrophysics
and Particle Physics
FNWI - Faculteit der Natuurwetenschappen, Wiskunde en Informatica
Postbus 9010
6500
GL
The
Office:
HG03.720,
Heyendaalseweg 135,
6525 AJ
Phone:
+31 (0)24 365 3220
Fax:
+31 (0)24 365 2140
E-mail: M.Gehrke@math.ru.nl
Vita | Publication list | Algebra
and Logic seminar | Mathematics
Colloquium
I
am an editor of the Houston Journal of
Mathematics. For submission requirements please refer to the Information for Authors.
I
am Professor of Algebra at
Mathematically and
Computationally Relevant Dualities, NWO funded research project with Bart
Jacobs, Sam van Gool, and Jorik
Mandemaker.
Some
recent papers:
Canonical extension and
canonicity via DCPO presentations, with Jacob Vosmaer.
Submitted to Journal of
Theoretical Computer Science.
Stone Duality and the Recognisable Languages over an Algebra.
Alexander Kurz, Marina Lenisa, Andrzej Tarlecki (Eds.): Algebra and Coalgebra
in Computer Science, (CALCO 2009) Lecture
Notes in Computer Science 5728
(2009), 236-250.
Free Heyting
Algebras: Revisited, with Nick Bezhanishvili. Alexander Kurz, Marina Lenisa, Andrzej Tarlecki (Eds.): Algebra
and Coalgebra in Computer Science, (CALCO 2009) Lecture Notes in Computer Science 5728 (2009), 251-266.
Distributive
Lattice-Structured Ontologies. Alexander Kurz, Marina Lenisa, Andrzej Tarlecki (Eds.): Algebra and Coalgebra
in Computer Science, (CALCO 2009) Lecture
Notes in Computer Science 5728
(2009), 267-283.
Canonical extensions for congruential logics with the deduction theorem, with
Ramon Jansana and Alessandra Palmigiano.
Submitted to Annals of
Pure and Applied Logic.
Duality and equational theory of regular languages, with Serge Grigorieff and Jean-Eric Pin, to apear
in 35th ICALP (2008), Lecture
Notes in Computer Science 5125, Part 2, 246-257. This paper won
the Best
ICALP paper award in Track B at European Association for Theoretical
Computer Science annual meeting, ICALP 2008.
Canonical extensions and
completions of posets and lattices, with H. A.
Priestley, Reports on Mathematical Logic 43 (2008), 133–152.
Canonical extensisons of double quasioperator
algebras: an algebraic perspective on duality for certain algebras with binary
operations, with H. A. Priestley, J. Pure Appl.
Algebra 209 (2007), 269-290.
Duality for double quasioperator algebras via their canonical extensions,
with H. A. Priestley, Studia Logica 86
(2007), 31-68.
Complete congruences on topologies and down-set lattices, with
Marcel Erne and Ales Pultr, In: J. Martinez (Ed.), Ordered
Algebraic Structures
2006, Appl. Cat. Structures 15 (2007) 163–184.
Teaching:
Model Theory –
Course to be taught spring 2010 in Mastermath.
Lattice
Theory – Course to be taught fall 2009 at RU.
Universal Algebra
– Course to be taught spring 2009 at RU.
Outreach:
For
the Nijmeegse 2-daagse, fall 2009, Dion Coumans, Lorijn
van Rooijen gave a course based on materials we
made together.
In
spring 2009, Dion Coumans, Marleen Kock, and I did a project on
Sierpinski’s Triangle in two classes at
Upcoming
events:
Dagstuhl Seminar, Coalgebraic
Logics,
Logic Colloquium 2010, Paris
Past
events:
TANCL’07 –
Algebraic and Topological Methods in Non-Classical Logics III and its
associated workshops,
Arbeitstagung Allgemeine Algebra
– Lecture on Canonical extensions, duality theory, and Formal Concept Analysis,
November 2-4, 2007, TU Darmstadt, Germany.
Second
Indian Winter School on Logic – Course on
Algebraic Logic, January 14-26, 2008, IIT
LINZ 2008,
Foundations of Lattice-Valued Mathematics with Applications to Algebra and
Topology – Lecture, 12-16 February, 2008,
DIAMANT/EIDMA Symposium – Lecture,
29-30 May, 2008,
ManyVal'08, Applications of topological
dualities to measure theory in algebraic many-valued logic – Lecture, May
19-21, 2008, Milano, Italy.
E.W.Beth
Centenary Minisymposium on Mathematical Logic,
5th European Congress of Mathematics (5ECM),
Lecture: Duality theory as a Rosetta Stone for relational semantics, July 15,
Visiting
Professorship, PPS, Université
de Paris Diderot –
BLAST 2008, Lecture: Duality for MV-algebras, 6-10 August,
2008,
Sheaves in Geometry and Quantum Theory,
a three-day workshop on the interplay between logic,
topology/geometry and quantum theory, 3-5 September 2008.
AiML 2008,
Advances in Modal Logic, Lecture: Using duality
theory to export methods from modal logic, 9-12 September,
Duality between two
worlds, invited talk, Parallelle
Werelden, Muziekgebouw aan 't IJ
in
Workshop on Algebraic Logic
ICLA 2009, Program Committee, January 7-11 2009.
Algebra and Geometry
Seminar, An overview of canonical extensions of lattices,
Laboratoire de Mathematiques Nicolas Oresme,
Duality,
Oratie, Radboud Universiteit, Nijmgen, NL, March
12 2009.
Leiden Mathematics Colloquium, Duality as a Rosetta Stone,
Van Melsen Prijs, Opening of
ceremony, FNWI, Radboud Universiteit,
Semantics Colloquium, Relational semantics for substructural
logic, Nijmegen Center for Semantics, Radboud Universiteit, Nijmegen, NL, May 12, 2009.
Mathematical
Logic in the Netherlands 2009 (MLNL09), Organiser, Radboud
Universiteit,
AAA78, Arbeitstagung
Allgemeine Algebra 78, Advances in topological
duality theory,
Topology, Algebra, and Categories in
Logics 2009 (TACL), Program Committee,
Seventh Panhellenic Logic Symposium
(PLS7), Invited talk,
Conference on Algebra and Coalgebra in Computer Science 2009 (CALCO), Invited
talk,
8th International Tbilisi
Symposium on Language, Logic, and Computation, Tutorial on Logic,
My
favourite mathematician (by the Wiskundemeisjes)