Algorithmic complexity of structures and their equivalence relations

Informations projet

ACOSE

N° de convention de subvention: 101026834

DOI

10.3030/101026834

Projet clôturé

Date de signature de la CE 13 Mars 2021

Date de début 1 Septembre 2021

Date de fin 31 Août 2024

Financé au titre de

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coût total

€ 252 349,44

Contribution de l’UE

€ 252 349,44

Coordonné par

TECHNISCHE UNIVERSITAET WIEN
Austria

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)

Degrees of categoricity and treeable degrees

Auteurs: Barbara F. Csima and Dino Rosseger
Publié dans: Journal of Mathematical Logic, 2023, ISSN 0219-0613
Éditeur: Singapore University Press
DOI: 10.1142/s0219061324500028

A LOPEZ-ESCOBAR THEOREM FOR CONTINUOUS DOMAINS

Auteurs: NIKOLAY BAZHENOV, EKATERINA FOKINA, DINO ROSSEGGER, ALEXANDRA SOSKOVA, STEFAN VATEV
Publié dans: The Journal of Symbolic Logic, 2024, Page(s) 1-18, ISSN 0022-4812
Éditeur: Association for Symbolic Logic
DOI: 10.1017/jsl.2024.18

Degree spectra of analytic complete equivalence relations

Auteurs: Dino Rossegger
Publié dans: The Journal of Symbolic Logic, Numéro 87(6), 2022, Page(s) 1663-1676, ISSN 0022-4812
Éditeur: Association for Symbolic Logic
DOI: 10.1017/jsl.2021.82

The structural complexity of models of arithmetic

Auteurs: Antonio Montalbán and Dino Rossegger
Publié dans: The Journal of Symbolic Logic, 2023, ISSN 0022-4812
Éditeur: Association for Symbolic Logic
DOI: 10.1017/jsl.2023.43

Book chapters (2)

Algorithmic Aspects of Left-Orderings of Solvable Baumslag–Solitar Groups via its Dynamical Realization

Auteurs: Meng-Che “Turbo” Ho, Khanh Le, Dino Rossegger
Publié dans: Lecture Notes in Computer Science, Twenty Years of Theoretical and Practical Synergies, Numéro 14773, 2024, Page(s) 72-84
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-64309-5_7

Learning Families of Algebraic Structures from Text

Auteurs: Nikolay Bazhenov, Ekaterina Fokina, Dino Rossegger, Alexandra Soskova, Stefan Vatev
Publié dans: Lecture Notes in Computer Science, Twenty Years of Theoretical and Practical Synergies, Numéro volume 14773, 2024, Page(s) 166-178
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-64309-5_14