Duality for Finite Models: Relating Structure and Power

Projektinformationen

D-FINED

ID Finanzhilfevereinbarung: 837724

DOI

10.3030/837724

Projekt abgeschlossen

EK-Unterschriftsdatum 9 April 2019

Startdatum 1 Februar 2020

Enddatum 31 Januar 2022

Finanziert unter

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Gesamtkosten

€ 212 933,76

EU-Beitrag

€ 212 933,76

Koordiniert durch

THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
United Kingdom

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Peer reviewed articles (3)

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

Autoren: Gehrke, Mai; Jakl, Tomáš; Reggio, Luca
Veröffentlicht in: Logical Methods in Computer Science, Ausgabe Volume 18, Ausgabe 1, 2022, Seite(n) 1-16, ISSN 1860-5974
Herausgeber: Technischen Universitat Braunschweig
DOI: 10.46298/lmcs-18(1:16)2022

Beth definability and the Stone-Weierstrass Theorem

Autoren: Luca Reggio
Veröffentlicht in: Annals of Pure and Applied Logic, Ausgabe vol. 172, issue 8, 2021, Seite(n) article no 102990, ISSN 0168-0072
Herausgeber: Elsevier BV
DOI: 10.1016/j.apal.2021.102990

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

Autoren: Metcalfe, George; Reggio, Luca
Veröffentlicht in: Journal of Symbolic Logic, Ausgabe in press, 2022, ISSN 0022-4812
Herausgeber: Association for Symbolic Logic
DOI: 10.1017/jsl.2022.1

Conference proceedings (2)

Arboreal Categories and Resources

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

Lov\'asz-Type Theorems and Game Comonads

Autoren: Dawar, Anuj; Jakl, Tomáš; Reggio, Luca
Veröffentlicht in: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Seite(n) 1-13, ISBN 978-1-6654-4895-6
Herausgeber: Association for Computing Machinery
DOI: 10.1109/lics52264.2021.9470609

Book chapters (1)

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

Autoren: Gehrke, Mai; Jakl, Tomas; Reggio, Luca
Veröffentlicht in: Outstanding Contributions to Logic: Samson Abramsky, 2022, ISSN 2211-2758
Herausgeber: Springer