Duality for Finite Models: Relating Structure and Power

Informations projet

D-FINED

N° de convention de subvention: 837724

DOI

10.3030/837724

Projet clôturé

Date de signature de la CE 9 Avril 2019

Date de début 1 Février 2020

Date de fin 31 Janvier 2022

Financé au titre de

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coût total

€ 212 933,76

Contribution de l’UE

€ 212 933,76

Coordonné par

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

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Peer reviewed articles (3)

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

Auteurs: Gehrke, Mai; Jakl, Tomáš; Reggio, Luca
Publié dans: Logical Methods in Computer Science, Numéro Volume 18, Numéro 1, 2022, Page(s) 1-16, ISSN 1860-5974
Éditeur: Technischen Universitat Braunschweig
DOI: 10.46298/lmcs-18(1:16)2022

Beth definability and the Stone-Weierstrass Theorem

Auteurs: Luca Reggio
Publié dans: Annals of Pure and Applied Logic, Numéro vol. 172, issue 8, 2021, Page(s) article no 102990, ISSN 0168-0072
Éditeur: Elsevier BV
DOI: 10.1016/j.apal.2021.102990

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

Auteurs: Metcalfe, George; Reggio, Luca
Publié dans: Journal of Symbolic Logic, Numéro in press, 2022, ISSN 0022-4812
Éditeur: Association for Symbolic Logic
DOI: 10.1017/jsl.2022.1

Conference proceedings (2)

Arboreal Categories and Resources

Auteurs: Abramsky, Samson; Reggio, Luca
Publié dans: 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
Éditeur: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/LIPIcs.ICALP.2021.115

Lov\'asz-Type Theorems and Game Comonads

Auteurs: Dawar, Anuj; Jakl, Tomáš; Reggio, Luca
Publié dans: 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
Éditeur: 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

Auteurs: Gehrke, Mai; Jakl, Tomas; Reggio, Luca
Publié dans: Outstanding Contributions to Logic: Samson Abramsky, 2022, ISSN 2211-2758
Éditeur: Springer