My main page has moved to the LIAFA




Mai Gehrke                             

Algebra & Logic

IMAPP – Institute for Mathematics, Astrophysics and Particle Physiscs

FNWI – Faculteit der Natuurwetenschappen, Wiskunde en Informatica


Visiting address: Huygens building, Room HG03.064

Heyendaalseweg 135, 6525 AJ Nijmegen, NL


Postal address: P.O. Box 9010, 6500 GL Nijmegen, NL

+31 24 365 3220 (office), +31 24 3652140 (fax)


Algebra and Logic seminar   |    Mathematics Colloquium




Submissions to the Houston Journal of Mathematics in general algebra and logic are welcome. For submission requirements please refer to the Information for Authors.


Onderzoeksschool Logica  - New webpages


Upcoming Events:

Topology, Algebra, and Categories in Logic (TACL 2011), 25-30 July, Marseille

36th International Symposium on Mathematical Foundations of Computer Science (MFCS 2011), 22-26 August 2011, Warsaw

Ordered Groups and Lattices in Algebraic Logic, 20-23 September 2011, Tbilisi

Concept Lattices and their Applications, 17-21 October 2011, Nancy


Recent papers:


-       Duality and recognition, Invited paper for MFCS 2011. To be published in Lecture Notes in Computer Science 6907.


-       Generalised Kripke semantics for the Lambek-Grishin calculus, with Anna Chernilovskaya and Lorijn van Rooijen, submitted to the Logic Journal of the IGPL.


-       Delta1-completions of a poset, with Ramon Jansana and Alessandra Palmigiano, submitted to Order.


-       Canonical extension and canonicity via DCPO presentations, with Jacob Vosmaer, Journal of Theoretical Computer Science 412 (25), 2714-2723, 2011. doi:10.1016/j.tcs.2010.12.032.


-       A view of canonical extensions, with Jacob Vosmaer, in N. Bezhanishvili and L. Spada (eds) TbiLLC 2009, LNAI 6618, 77-100, 2011.


-       Finitely generated free Heyting algebras via Birkhoff duality and coalgebra, with Nick Bezhanishvili, to appear in Logical Methods in Computer Science.


-       A topological approach to recognition, with Serge Grigorieff and Jean-Eric Pin, Samson Abramsky et al. (Eds.):  Automata, Languages and Programming, 37th International Colloquium (ICALP 2010), Lecture Notes in Computer Science 6199(2), Springer 2010,151-162.


-       Canonical extensions for congruential logics with the deduction theorem, with Ramon Jansana and Alessandra Palmigiano, Annals of Pure and Applied Logic 161 (2010), 1502-1519.


-       Distributive lattice-structured ontologies, with Hans Bruun and Dion Coumans, In A. Kurz et al.(Eds.): Algebra and Coalgebra in Computer Science (CALCO 2009), Lecture Notes in Computer Science 5728 (2009), 267–283.


-       Stone Duality and the Recognisable Languages over an Algebra, in Kurz et al. (Eds.): Algebra and Coalgebra in Computer Science (CALCO 2009) Lecture Notes in Computer Science 5728 (2009), 236–250.



Universal Algebra – Spring  2011






Sam van Gool

Dion Coumans

Jacob Vosmaer

Candida Palma (dissertation)

Hideo Nagahashi

Alex Pogel



Lorijn van Rooijen (paper with Anna Cherlinovskaya)

Mirte Dekkers (thesis)




Hanne Kause (thesis)

Ruud van der Weide (thesis)

Abel Planting (thesis)

Bram Westerbaan (thesis)


Anna Chernilovskaya (AiMLÕ08 extended abstract)


Recent outreach activities:

High school project on the Sierpinski triangle: description, pictures

Minicourse for high school students on the Place Value System and barcodes



Pictures of my kids.                                                                                                                                               



My inaugural speech on duality




Past Events:

TANCLÕ07 – Algebraic and Topological Methods in Non-Classical Logics III and its associated workshops,

Oxford, 4-12 August. Pictures from the workshops by Juergen Koslowski: group, other.

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 Kanpur, India.

LINZ 2008, Foundations of Lattice-Valued Mathematics with Applications to Algebra and Topology – Lecture, 12-16 February, 2008, Linz, Austria.

DIAMANT/EIDMA Symposium – Lecture, 29-30 May, 2008, Leiden, the Netherlands.

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, Amsterdam, Netherland.

Visiting Professorship,  PPS, Universitˇ de Paris Diderot – Paris 7, July 2008.

BLAST 2008, Lecture: Duality for MV-algebras, 6-10 August, 2008, Boulder, Colorado.

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, Nancy, France.

Duality between two worlds, invited talk, Parallelle Werelden, Muziekgebouw aan 't IJ in Amsterdam, NL, 8 December 2008.

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, Caen, France, January 27 2009.

Duality, Oratie, Radboud Universiteit, Nijmgen, NL, March 12 2009.

Leiden Mathematics Colloquium, Duality as a Rosetta Stone, Leiden University, Leiden, NL, April 2, 2009.

Van Melsen Prijs, Opening of ceremony, FNWI, Radboud Universiteit, Nijmegen, NL, April 3, 2009.

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, Nijmegen, NL, May 25-26 2009.

AAA78, Arbeitstagung Allgemeine Algebra 78, Advances in topological duality theory, Bern, Switzerland, June 11-14, 2009.

Topology, Algebra, and Categories in Logics 2009 (TACL), Program Committee, Amsterdam, NL, July 7-11 2009.

Seventh Panhellenic Logic Symposium (PLS7), Invited talk, Patras, Greece, July 15-19 2009.

Conference on Algebra and Coalgebra in Computer Science 2009 (CALCO), Invited talk, Udine, Italy September 6-10 2009.

8th International Tbilisi Symposium on Language, Logic, and Computation, Tutorial on Logic, Tbilisi, Georgia, September 21-25, 2009.

Dagstuhl Seminar, Coalgebraic Logics, Schloss Dagstuhl, Germany, December 6-9, 2009.

MLNL 2010, 27-28 May 2010, Utrecht

DIAMANT/EIDMA Symposium Spring 2010, 27-28 May 2010, Nunspeet

Sˇminaire Complexitˇ, Logique et Informatique, Groupe de Logique, 1 june, Paris

Sˇminaire de lÕinstitut Gaspard-Monge, 22 juin, Marne-la-Vallˇe

ICALP 2010, July 5-10, 2010, Bordeaux

Tbilisi Topology Workshop 2010, June 8-10, 2010, Tbilisi

Logic Colloquium 2010, July 25-31, Paris

Categorical information flow in quantum physics and linguistics, 29-31 October 2010, CompLab, Oxford

Logique, catˇgories, sˇmantique, 12-13 November 2010, Bordeaux

DIAMANT/EIDMA Symposium, 25-26 November 2010, Lunteren

Workshop on Modal Logic and Stone Duality, 13 December 2010, ILLC, Amsterdam

PhDs in Logic III, 17-18 February 2011, Brussels

Workshop on Universal models, 24 February 2011, Amsterdam

Mathematics Colloquium, Korteweg-de Vries Institute, UvA, 20 April 2011, Amsterdam

Mathematical Logic in the Netherlands 2011 (MLNL11), Rijksuniversiteit Groningen, Groningen, NL, May 19-20 2011.

European Women in Mathematics Summer School, 6-10 June 2011, Leiden

Second International Conference in Order, Algebra and Logics, 6 - 10 June 2011, Krakow





My favourite mathematician (by the Wiskundemeisjes)