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

Informazioni relative al progetto

FINTOINF

ID dell’accordo di sovvenzione: 101023298

DOI

10.3030/101023298

Progetto chiuso

Data della firma CE 16 Marzo 2021

Data di avvio 1 Aprile 2021

Data di completamento 31 Marzo 2023

Finanziato da

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Costo totale

€ 196 707,84

Contributo UE

€ 196 707,84

Coordinato da

CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS
France

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

On middle box products and paracompact cardinals

Autori: David Buhagiar and Mirna Dzamonja
Pubblicato in: Annals of Pure and Applied Logic, Numero to appear, 2023, ISSN 0168-0072
Editore: Elsevier BV

Formal- ising Ordinal Partition Relations Using Isabelle/HOL

Autori: Mirna Dzamonja, Angeliki Koutsoukou-Argyraki and Lawrence C. Paulson FRS
Pubblicato in: Experimental Mathematics, Numero vol. 31 No. 2, 2022, Pagina/e 383-400, ISSN 1058-6458
Editore: A K Peters Ltd.
DOI: 10.1080/10586458.2021.1980464

Graphons arising from graphs definable over finite fields

Autori: Mirna Džamonja, Ivan Tomašić
Pubblicato in: Colloquium Mathematicum, Numero vol. 169 No. 2, 2022, Pagina/e 269-306, ISSN 0010-1354
Editore: Institute of Mathematics, Polish Academy of Sciences
DOI: 10.4064/cm8395-1-2022

Big Ramsey degrees in ultraproducts of finite structures

Autori: Dana Bartosova, Mirna Dzamonja, Rehana Patel and Lynn Scow
Pubblicato in: Annals of Pure and Applied Logic, 2024, ISSN 0168-0072
Editore: Elsevier BV

Book chapters (1)

Multiverse and the Society

Autori: Mirna Dzamonja
Pubblicato in: Handbook of the History and Philosophy of Mathematical Practice, 2023
Editore: Springer Cham