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

Project Information

FINTOINF

Grant agreement ID: 101023298

DOI

10.3030/101023298

Project closed

EC signature date 16 March 2021

Start date 1 April 2021

End date 31 March 2023

Funded under

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Total cost

€ 196 707,84

EU contribution

€ 196 707,84

Coordinated by

CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS
France

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Peer reviewed articles (4)

On middle box products and paracompact cardinals

Author(s): David Buhagiar and Mirna Dzamonja
Published in: Annals of Pure and Applied Logic, Issue to appear, 2023, ISSN 0168-0072
Publisher: Elsevier BV

Formal- ising Ordinal Partition Relations Using Isabelle/HOL

Author(s): Mirna Dzamonja, Angeliki Koutsoukou-Argyraki and Lawrence C. Paulson FRS
Published in: Experimental Mathematics, Issue vol. 31 No. 2, 2022, Page(s) 383-400, ISSN 1058-6458
Publisher: A K Peters Ltd.
DOI: 10.1080/10586458.2021.1980464

Graphons arising from graphs definable over finite fields

Author(s): Mirna Džamonja, Ivan Tomašić
Published in: Colloquium Mathematicum, Issue vol. 169 No. 2, 2022, Page(s) 269-306, ISSN 0010-1354
Publisher: Institute of Mathematics, Polish Academy of Sciences
DOI: 10.4064/cm8395-1-2022

Big Ramsey degrees in ultraproducts of finite structures

Author(s): Dana Bartosova, Mirna Dzamonja, Rehana Patel and Lynn Scow
Published in: Annals of Pure and Applied Logic, 2024, ISSN 0168-0072
Publisher: Elsevier BV

Book chapters (1)

Multiverse and the Society

Author(s): Mirna Dzamonja
Published in: Handbook of the History and Philosophy of Mathematical Practice, 2023
Publisher: Springer Cham