Generalised Tree Automata, Monadic Second Order Logic and Transfer Principles in Combinatorial Limits

Informacje na temat projektu

FINTOINF

Identyfikator umowy o grant: 101023298

DOI

10.3030/101023298

Projekt został zamknięty

Data podpisania przez KE 16 Marca 2021

Data rozpoczęcia 1 Kwietnia 2021

Data zakończenia 31 Marca 2023

Finansowanie w ramach

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Koszt całkowity

€ 196 707,84

Wkład UE

€ 196 707,84

Koordynowany przez

CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS
France

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 (4)

On middle box products and paracompact cardinals

Autorzy: David Buhagiar and Mirna Dzamonja
Opublikowane w: Annals of Pure and Applied Logic, Numer to appear, 2023, ISSN 0168-0072
Wydawca: Elsevier BV

Formal- ising Ordinal Partition Relations Using Isabelle/HOL

Autorzy: Mirna Dzamonja, Angeliki Koutsoukou-Argyraki and Lawrence C. Paulson FRS
Opublikowane w: Experimental Mathematics, Numer vol. 31 No. 2, 2022, Strona(/y) 383-400, ISSN 1058-6458
Wydawca: A K Peters Ltd.
DOI: 10.1080/10586458.2021.1980464

Graphons arising from graphs definable over finite fields

Autorzy: Mirna Džamonja, Ivan Tomašić
Opublikowane w: Colloquium Mathematicum, Numer vol. 169 No. 2, 2022, Strona(/y) 269-306, ISSN 0010-1354
Wydawca: Institute of Mathematics, Polish Academy of Sciences
DOI: 10.4064/cm8395-1-2022

Big Ramsey degrees in ultraproducts of finite structures

Autorzy: Dana Bartosova, Mirna Dzamonja, Rehana Patel and Lynn Scow
Opublikowane w: Annals of Pure and Applied Logic, 2024, ISSN 0168-0072
Wydawca: Elsevier BV

Book chapters (1)

Multiverse and the Society

Autorzy: Mirna Dzamonja
Opublikowane w: Handbook of the History and Philosophy of Mathematical Practice, 2023
Wydawca: Springer Cham