Duality for Finite Models: Relating Structure and Power

Informazioni relative al progetto

D-FINED

ID dell’accordo di sovvenzione: 837724

DOI

10.3030/837724

Progetto chiuso

Data della firma CE 9 Aprile 2019

Data di avvio 1 Febbraio 2020

Data di completamento 31 Gennaio 2022

Finanziato da

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Costo totale

€ 212 933,76

Contributo UE

€ 212 933,76

Coordinato da

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

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Peer reviewed articles (3)

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

Autori: Gehrke, Mai; Jakl, Tomáš; Reggio, Luca
Pubblicato in: Logical Methods in Computer Science, Numero Volume 18, Numero 1, 2022, Pagina/e 1-16, ISSN 1860-5974
Editore: Technischen Universitat Braunschweig
DOI: 10.46298/lmcs-18(1:16)2022

Beth definability and the Stone-Weierstrass Theorem

Autori: Luca Reggio
Pubblicato in: Annals of Pure and Applied Logic, Numero vol. 172, issue 8, 2021, Pagina/e article no 102990, ISSN 0168-0072
Editore: Elsevier BV
DOI: 10.1016/j.apal.2021.102990

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

Autori: Metcalfe, George; Reggio, Luca
Pubblicato in: Journal of Symbolic Logic, Numero in press, 2022, ISSN 0022-4812
Editore: Association for Symbolic Logic
DOI: 10.1017/jsl.2022.1

Conference proceedings (2)

Arboreal Categories and Resources

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

Lov\'asz-Type Theorems and Game Comonads

Autori: Dawar, Anuj; Jakl, Tomáš; Reggio, Luca
Pubblicato in: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Pagina/e 1-13, ISBN 978-1-6654-4895-6
Editore: 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

Autori: Gehrke, Mai; Jakl, Tomas; Reggio, Luca
Pubblicato in: Outstanding Contributions to Logic: Samson Abramsky, 2022, ISSN 2211-2758
Editore: Springer