Duality for Finite Models: Relating Structure and Power

Información del proyecto

D-FINED

Identificador del acuerdo de subvención: 837724

DOI

10.3030/837724

Proyecto cerrado

Fecha de la firma de la CE 9 Abril 2019

Fecha de inicio 1 Febrero 2020

Fecha de finalización 31 Enero 2022

Financiado con arreglo a

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coste total

€ 212 933,76

Aportación de la UE

€ 212 933,76

Coordinado por

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

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Peer reviewed articles (3)

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

Autores: Gehrke, Mai; Jakl, Tomáš; Reggio, Luca
Publicado en: Logical Methods in Computer Science, Edición Volume 18, Edición 1, 2022, Página(s) 1-16, ISSN 1860-5974
Editor: Technischen Universitat Braunschweig
DOI: 10.46298/lmcs-18(1:16)2022

Beth definability and the Stone-Weierstrass Theorem

Autores: Luca Reggio
Publicado en: Annals of Pure and Applied Logic, Edición vol. 172, issue 8, 2021, Página(s) article no 102990, ISSN 0168-0072
Editor: Elsevier BV
DOI: 10.1016/j.apal.2021.102990

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

Autores: Metcalfe, George; Reggio, Luca
Publicado en: Journal of Symbolic Logic, Edición in press, 2022, ISSN 0022-4812
Editor: Association for Symbolic Logic
DOI: 10.1017/jsl.2022.1

Conference proceedings (2)

Arboreal Categories and Resources

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

Lov\'asz-Type Theorems and Game Comonads

Autores: Dawar, Anuj; Jakl, Tomáš; Reggio, Luca
Publicado en: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Página(s) 1-13, ISBN 978-1-6654-4895-6
Editor: 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

Autores: Gehrke, Mai; Jakl, Tomas; Reggio, Luca
Publicado en: Outstanding Contributions to Logic: Samson Abramsky, 2022, ISSN 2211-2758
Editor: Springer