Publications HAL

2023

Article dans une revue

titre
Substitution Principle and semidirect products
auteur
Célia Borlido, Mai Gehrke
article
Mathematical Structures in Computer Science, 2023, 33 (6), pp.486-535. ⟨10.1017/S0960129523000294⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03795685/file/BoGepr.pdf BibTex
titre
Stone duality for spectral sheaves and the patch monad
auteur
Clemens Berger, Mai Gehrke
article
Journal of Pure and Applied Algebra, 2023, 227 (6), pp.107306. ⟨10.1016/j.jpaa.2022.107306⟩
Accès au bibtex
https://arxiv.org/pdf/2202.00084 BibTex
titre
STONE DUALITY FOR SPECTRAL SHEAVES AND THE PATCH MONAD
auteur
Clemens Berger, Mai Gehrke
article
Journal of Pure and Applied Algebra, In press, 227 (6), pp.107306. ⟨10.1016/j.jpaa.2022.107306⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03863117/file/BeGe22.pdf BibTex

Chapitre d'ouvrage

titre
A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures
auteur
Mai Gehrke, Tomáš Jakl, Luca Reggio
article
Samson Abramsky on Logic and Structure in Computer Science and Beyond, A. Palmigiano and M. Sadrzadeh (eds.), Springer Series., 25, Springer International Publishing, pp.129-158, 2023, Outstanding Contribution to Logic,, ⟨10.1007/978-3-031-24117-8_4⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03795820/file/Gehrke%2C%20Jakl%2C%20Reggio%20-%20A%20Cook%27s%20tour%20of%20duality%20in%20logic.pdf BibTex

Ouvrages

titre
Topological duality for distributive lattices, and applications
auteur
Mai Gehrke, Samuel van Gool
article
Cambridge University Press, In press
Accès au bibtex
BibTex

2022

Article dans une revue

titre
A duality theoretic view on limits of finite structures: Extended version
auteur
Mai Gehrke, Tomáš Jakl, Luca Reggio
article
Logical Methods in Computer Science, 2022, Volume 18, Issue 1, ⟨10.46298/lmcs-18(1:16)2022⟩
Accès au bibtex
https://arxiv.org/pdf/2012.09975 BibTex

Chapitre d'ouvrage

titre
Topological Duality and Algebraic Completions
auteur
Mai Gehrke
article
Hiroakira Ono on Substructural Logics, 23, Springer International Publishing, pp.143-184, 2022, Outstanding Contributions to Logic, ⟨10.1007/978-3-030-76920-8_4⟩
Accès au bibtex
BibTex

2021

Article dans une revue

titre
Priestley duality for MV-algebras and beyond
auteur
Wesley Fussner, Mai Gehrke, Samuel van Gool, Vincenzo Marra
article
Forum Mathematicum, 2021, 33 (4), pp.899-921. ⟨10.1515/forum-2020-0115⟩
Accès au bibtex
BibTex

Proceedings/Recueil des communications

titre
Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings
auteur
Luigi Santocanale, Uli Fahrenberg, Mai Gehrke, Michael Winter
article
U. Fahrenberg, M. Gehrke, L. Santocanale, and M. Winter. Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Nov 2021, Marseille, France. 13027, Springer, 2021, Lecture Notes in Computer Science
Accès au bibtex
BibTex

2020

Article dans une revue

titre
Quantifiers on languages and codensity monads
auteur
Mai Gehrke, Daniela Petrişan, Luca Reggio
article
Mathematical Structures in Computer Science, 2020, 30 (10), pp.1054-1088. ⟨10.1017/S0960129521000074⟩
Accès au bibtex
https://arxiv.org/pdf/1702.08841 BibTex
titre
A DUALITY THEORETIC VIEW ON LIMITS OF FINITE STRUCTURES
auteur
Mai Gehrke, Tomáš Jakl, Luca Reggio
article
Logical Methods in Computer Science, 2020
Accès au texte intégral et bibtex
https://hal.science/hal-03863184/file/GJR2022.pdf BibTex

Communication dans un congrès

titre
A duality theoretic view on limits of finite structures
auteur
Mai Gehrke, Tomáš Jakl, Luca Reggio
article
Foundations of Software Science and Computation Structures. FoSSaCS 2020, Goubault-Larrecq J., König B., Apr 2020, Dublin, Ireland. pp.299-318, ⟨10.1007/978-3-030-45231-5_16⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02405359/file/paper.pdf BibTex

2019

Article dans une revue

titre
Difference hierarchies and duality with an application to formal languages
auteur
Célia Borlido, Mai Gehrke, Andreas Krebs, Howard Straubing
article
Topology and its Applications, 2019
Accès au texte intégral et bibtex
https://hal.science/hal-02413264/file/BGKS-r10.pdf BibTex

2018

Article dans une revue

titre
Canonical extensions: an algebraic approach to Stone duality
auteur
Mai Gehrke
article
Algebra Universalis, 2018, 79 (3), ⟨10.1007/s00012-018-0544-6⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02405249/file/MG-JonssonTribute.pdf BibTex
titre
Uniform Birkhoff
auteur
Mai Gehrke, Michael Pinsker
article
Journal of Pure and Applied Algebra, 2018, 222 (5), pp.1242-1250. ⟨10.1016/j.jpaa.2017.06.016⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02405510/file/uniformbirkhoff.pdf BibTex
titre
Sheaves and duality
auteur
Mai Gehrke, Sam van Gool
article
Journal of Pure and Applied Algebra, 2018
Accès au texte intégral et bibtex
https://hal.science/hal-02405303/file/GvG2017.pdf BibTex

2016

Article dans une revue

titre
STONE DUALITY, TOPOLOGICAL ALGEBRA, AND RECOGNITION
auteur
Mai Gehrke
article
Journal of Pure and Applied Algebra, 2016
Accès au texte intégral et bibtex
https://hal.science/hal-00859717/file/Ge2015.pdf BibTex
titre
Ultrafilters on words for a fragment of logic
auteur
Mai Gehrke, Andreas Krebs, Jean-Eric Pin
article
Theoretical Computer Science, 2016, ⟨10.1016/j.tcs.2015.08.007⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01244496/file/GKP14.pdf BibTex

2014

Article dans une revue

titre
DISTRIBUTIVE ENVELOPES AND TOPOLOGICAL DUALITY FOR LATTICES VIA CANONICAL EXTENSIONS
auteur
Mai Gehrke, Samuel van Gool
article
Order, 2014, 31 (3), pp.435-461. ⟨10.1007/s11083-013-9311-7⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00861044/file/latticeduality-revised.pdf BibTex

Communication dans un congrès

titre
From Ultrafilters on Words to the Expressive Power of a Fragment of Logic
auteur
Mai Gehrke, Andreas Krebs, Jean-Eric Pin
article
Descriptional Complexity of Formal Systems 2014, Department of Mathematics and Statistics, University of Turku, Aug 2014, Turku, Finland. pp.138-149, ⟨10.1007/978-3-319-09704-6_13⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01247632/file/DCFS2014.pdf BibTex

2012

Communication dans un congrès

titre
Loader and Urzyczyn Are Logically Related
auteur
Sylvain Salvati, Giulio Manzonetto, Mai Gehrke, Henk Barendregt
article
ICALP, 2012, Warwick, France. pp.364-376
Accès au texte intégral et bibtex
https://hal.science/hal-00959623/file/BGMS.pdf BibTex

2010

Communication dans un congrès

titre
A Topological Approach to Recognition
auteur
Mai Gehrke, Serge Grigorieff, Jean-Eric Pin
article
ICALP 2010, Jul 2010, Bordeaux, France. pp.151 - 162, ⟨10.1007/978-3-642-14162-1_13⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01101846/file/ICALP2010.pdf BibTex

2008

Communication dans un congrès

titre
Duality and equational theory of regular languages
auteur
Mai Gehrke, Serge Grigorieff, Jean-Eric Pin
article
ICALP 2008, Jul 2008, Reykjavik, Iceland. pp.246-257
Accès au texte intégral et bibtex
https://hal.science/hal-00340803/file/DualityWeb.pdf BibTex