Skip to main content

Duality for Finite Models: Relating Structure and Power

Searching for OpenAIRE data...

Publications

A duality theoretic view on limits of finite structures: Extended version

Author(s): Gehrke, Mai; Jakl, Tomáš; Reggio, Luca
Published in: Logical Methods in Computer Science, Volume 18, Issue 1, 2022, Page(s) 1-16, ISSN 1860-5974
Publisher: Technischen Universitat Braunschweig
DOI: 10.46298/lmcs-18(1:16)2022

Beth definability and the Stone-Weierstrass Theorem

Author(s): Luca Reggio
Published in: Annals of Pure and Applied Logic, vol. 172, issue 8, 2021, Page(s) article no 102990, ISSN 0168-0072
Publisher: Elsevier BV
DOI: 10.1016/j.apal.2021.102990

A duality theoretic view on limits of finite structures: Extended version

Author(s): Gehrke, Mai; Jakl, Tomáš; Reggio, Luca
Published in: Logical Methods in Computer Science, Volume 18, Issue 1, 2022, Page(s) 1-16, ISSN 1860-5974
Publisher: Technischen Universitat Braunschweig
DOI: 10.46298/lmcs-18(1:16)2022

Model completions for universal classes of algebras: necessary and sufficient conditions

Author(s): Metcalfe, George; Reggio, Luca
Published in: Journal of Symbolic Logic, in press, 2022, ISSN 0022-4812
Publisher: Association for Symbolic Logic
DOI: 10.1017/jsl.2022.1

Arboreal Categories and Resources

Author(s): Abramsky, Samson; Reggio, Luca
Published in: Proceedings of the 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), 2021, Page(s) 115:1--115:20, ISBN 978-3-95977-195-5
Publisher: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/LIPIcs.ICALP.2021.115

Arboreal categories and resources

Author(s): Abramsky, Samson; Reggio, Luca
Published in: Proceedings of the 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), 2021, Page(s) 115:1--115:20, ISBN 978-3-95977-195-5
Publisher: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.icalp.2021.115

Lov\'asz-Type Theorems and Game Comonads

Author(s): Dawar, Anuj; Jakl, Tomáš; Reggio, Luca
Published in: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Page(s) 1-13, ISBN 978-1-6654-4895-6
Publisher: Association for Computing Machinery
DOI: 10.1109/lics52264.2021.9470609

A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures

Author(s): Gehrke, Mai; Jakl, Tomas; Reggio, Luca
Published in: Outstanding Contributions to Logic: Samson Abramsky, 2022, ISSN 2211-2758
Publisher: Springer