Duality for Finite Models: Relating Structure and Power

Informacje na temat projektu

D-FINED

Identyfikator umowy o grant: 837724

DOI

10.3030/837724

Projekt został zamknięty

Data podpisania przez KE 9 Kwietnia 2019

Data rozpoczęcia 1 Lutego 2020

Data zakończenia 31 Stycznia 2022

Finansowanie w ramach

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Koszt całkowity

€ 212 933,76

Wkład UE

€ 212 933,76

Koordynowany przez

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

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Peer reviewed articles (3)

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

Autorzy: Gehrke, Mai; Jakl, Tomáš; Reggio, Luca
Opublikowane w: Logical Methods in Computer Science, Numer Volume 18, Numer 1, 2022, Strona(/y) 1-16, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig
DOI: 10.46298/lmcs-18(1:16)2022

Beth definability and the Stone-Weierstrass Theorem

Autorzy: Luca Reggio
Opublikowane w: Annals of Pure and Applied Logic, Numer vol. 172, issue 8, 2021, Strona(/y) article no 102990, ISSN 0168-0072
Wydawca: Elsevier BV
DOI: 10.1016/j.apal.2021.102990

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

Autorzy: Metcalfe, George; Reggio, Luca
Opublikowane w: Journal of Symbolic Logic, Numer in press, 2022, ISSN 0022-4812
Wydawca: Association for Symbolic Logic
DOI: 10.1017/jsl.2022.1

Conference proceedings (2)

Arboreal Categories and Resources

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

Lov\'asz-Type Theorems and Game Comonads

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

Autorzy: Gehrke, Mai; Jakl, Tomas; Reggio, Luca
Opublikowane w: Outstanding Contributions to Logic: Samson Abramsky, 2022, ISSN 2211-2758
Wydawca: Springer