Algorithmic complexity of structures and their equivalence relations

Projektinformationen

ACOSE

ID Finanzhilfevereinbarung: 101026834

DOI

10.3030/101026834

Projekt abgeschlossen

EK-Unterschriftsdatum 13 März 2021

Startdatum 1 September 2021

Enddatum 31 August 2024

Finanziert unter

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Gesamtkosten

€ 252 349,44

EU-Beitrag

€ 252 349,44

Koordiniert durch

TECHNISCHE UNIVERSITAET WIEN
Austria

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Peer reviewed articles (4)

Degrees of categoricity and treeable degrees

Autoren: Barbara F. Csima and Dino Rosseger
Veröffentlicht in: Journal of Mathematical Logic, 2023, ISSN 0219-0613
Herausgeber: Singapore University Press
DOI: 10.1142/s0219061324500028

A LOPEZ-ESCOBAR THEOREM FOR CONTINUOUS DOMAINS

Autoren: NIKOLAY BAZHENOV, EKATERINA FOKINA, DINO ROSSEGGER, ALEXANDRA SOSKOVA, STEFAN VATEV
Veröffentlicht in: The Journal of Symbolic Logic, 2024, Seite(n) 1-18, ISSN 0022-4812
Herausgeber: Association for Symbolic Logic
DOI: 10.1017/jsl.2024.18

Degree spectra of analytic complete equivalence relations

Autoren: Dino Rossegger
Veröffentlicht in: The Journal of Symbolic Logic, Ausgabe 87(6), 2022, Seite(n) 1663-1676, ISSN 0022-4812
Herausgeber: Association for Symbolic Logic
DOI: 10.1017/jsl.2021.82

The structural complexity of models of arithmetic

Autoren: Antonio Montalbán and Dino Rossegger
Veröffentlicht in: The Journal of Symbolic Logic, 2023, ISSN 0022-4812
Herausgeber: 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

Autoren: Meng-Che “Turbo” Ho, Khanh Le, Dino Rossegger
Veröffentlicht in: Lecture Notes in Computer Science, Twenty Years of Theoretical and Practical Synergies, Ausgabe 14773, 2024, Seite(n) 72-84
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-64309-5_7

Learning Families of Algebraic Structures from Text

Autoren: Nikolay Bazhenov, Ekaterina Fokina, Dino Rossegger, Alexandra Soskova, Stefan Vatev
Veröffentlicht in: Lecture Notes in Computer Science, Twenty Years of Theoretical and Practical Synergies, Ausgabe volume 14773, 2024, Seite(n) 166-178
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-64309-5_14