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

Informations projet

FINTOINF

N° de convention de subvention: 101023298

DOI

10.3030/101023298

Projet clôturé

Date de signature de la CE 16 Mars 2021

Date de début 1 Avril 2021

Date de fin 31 Mars 2023

Financé au titre de

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coût total

€ 196 707,84

Contribution de l’UE

€ 196 707,84

Coordonné par

CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS
France

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Peer reviewed articles (4)

On middle box products and paracompact cardinals

Auteurs: David Buhagiar and Mirna Dzamonja
Publié dans: Annals of Pure and Applied Logic, Numéro to appear, 2023, ISSN 0168-0072
Éditeur: Elsevier BV

Formal- ising Ordinal Partition Relations Using Isabelle/HOL

Auteurs: Mirna Dzamonja, Angeliki Koutsoukou-Argyraki and Lawrence C. Paulson FRS
Publié dans: Experimental Mathematics, Numéro vol. 31 No. 2, 2022, Page(s) 383-400, ISSN 1058-6458
Éditeur: A K Peters Ltd.
DOI: 10.1080/10586458.2021.1980464

Graphons arising from graphs definable over finite fields

Auteurs: Mirna Džamonja, Ivan Tomašić
Publié dans: Colloquium Mathematicum, Numéro vol. 169 No. 2, 2022, Page(s) 269-306, ISSN 0010-1354
Éditeur: Institute of Mathematics, Polish Academy of Sciences
DOI: 10.4064/cm8395-1-2022

Big Ramsey degrees in ultraproducts of finite structures

Auteurs: Dana Bartosova, Mirna Dzamonja, Rehana Patel and Lynn Scow
Publié dans: Annals of Pure and Applied Logic, 2024, ISSN 0168-0072
Éditeur: Elsevier BV

Book chapters (1)

Multiverse and the Society

Auteurs: Mirna Dzamonja
Publié dans: Handbook of the History and Philosophy of Mathematical Practice, 2023
Éditeur: Springer Cham