Algorithmic complexity of structures and their equivalence relations

Project Information

ACOSE

Grant agreement ID: 101026834

DOI

10.3030/101026834

Project closed

EC signature date 13 March 2021

Start date 1 September 2021

End date 31 August 2024

Funded under

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Total cost

€ 252 349,44

EU contribution

€ 252 349,44

Coordinated by

TECHNISCHE UNIVERSITAET WIEN
Austria

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)

Degrees of categoricity and treeable degrees

Author(s): Barbara F. Csima and Dino Rosseger
Published in: Journal of Mathematical Logic, 2023, ISSN 0219-0613
Publisher: Singapore University Press
DOI: 10.1142/s0219061324500028

A LOPEZ-ESCOBAR THEOREM FOR CONTINUOUS DOMAINS

Author(s): NIKOLAY BAZHENOV, EKATERINA FOKINA, DINO ROSSEGGER, ALEXANDRA SOSKOVA, STEFAN VATEV
Published in: The Journal of Symbolic Logic, 2024, Page(s) 1-18, ISSN 0022-4812
Publisher: Association for Symbolic Logic
DOI: 10.1017/jsl.2024.18

Degree spectra of analytic complete equivalence relations

Author(s): Dino Rossegger
Published in: The Journal of Symbolic Logic, Issue 87(6), 2022, Page(s) 1663-1676, ISSN 0022-4812
Publisher: Association for Symbolic Logic
DOI: 10.1017/jsl.2021.82

The structural complexity of models of arithmetic

Author(s): Antonio Montalbán and Dino Rossegger
Published in: The Journal of Symbolic Logic, 2023, ISSN 0022-4812
Publisher: 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

Author(s): Meng-Che “Turbo” Ho, Khanh Le, Dino Rossegger
Published in: Lecture Notes in Computer Science, Twenty Years of Theoretical and Practical Synergies, Issue 14773, 2024, Page(s) 72-84
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-64309-5_7

Learning Families of Algebraic Structures from Text

Author(s): Nikolay Bazhenov, Ekaterina Fokina, Dino Rossegger, Alexandra Soskova, Stefan Vatev
Published in: Lecture Notes in Computer Science, Twenty Years of Theoretical and Practical Synergies, Issue volume 14773, 2024, Page(s) 166-178
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-64309-5_14