Algorithmic complexity of structures and their equivalence relations

Informazioni relative al progetto

ACOSE

ID dell’accordo di sovvenzione: 101026834

DOI

10.3030/101026834

Progetto chiuso

Data della firma CE 13 Marzo 2021

Data di avvio 1 Settembre 2021

Data di completamento 31 Agosto 2024

Finanziato da

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Costo totale

€ 252 349,44

Contributo UE

€ 252 349,44

Coordinato da

TECHNISCHE UNIVERSITAET WIEN
Austria

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)

Degrees of categoricity and treeable degrees

Autori: Barbara F. Csima and Dino Rosseger
Pubblicato in: Journal of Mathematical Logic, 2023, ISSN 0219-0613
Editore: Singapore University Press
DOI: 10.1142/s0219061324500028

A LOPEZ-ESCOBAR THEOREM FOR CONTINUOUS DOMAINS

Autori: NIKOLAY BAZHENOV, EKATERINA FOKINA, DINO ROSSEGGER, ALEXANDRA SOSKOVA, STEFAN VATEV
Pubblicato in: The Journal of Symbolic Logic, 2024, Pagina/e 1-18, ISSN 0022-4812
Editore: Association for Symbolic Logic
DOI: 10.1017/jsl.2024.18

Degree spectra of analytic complete equivalence relations

Autori: Dino Rossegger
Pubblicato in: The Journal of Symbolic Logic, Numero 87(6), 2022, Pagina/e 1663-1676, ISSN 0022-4812
Editore: Association for Symbolic Logic
DOI: 10.1017/jsl.2021.82

The structural complexity of models of arithmetic

Autori: Antonio Montalbán and Dino Rossegger
Pubblicato in: The Journal of Symbolic Logic, 2023, ISSN 0022-4812
Editore: 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

Autori: Meng-Che “Turbo” Ho, Khanh Le, Dino Rossegger
Pubblicato in: Lecture Notes in Computer Science, Twenty Years of Theoretical and Practical Synergies, Numero 14773, 2024, Pagina/e 72-84
Editore: Springer Nature Switzerland
DOI: 10.1007/978-3-031-64309-5_7

Learning Families of Algebraic Structures from Text

Autori: Nikolay Bazhenov, Ekaterina Fokina, Dino Rossegger, Alexandra Soskova, Stefan Vatev
Pubblicato in: Lecture Notes in Computer Science, Twenty Years of Theoretical and Practical Synergies, Numero volume 14773, 2024, Pagina/e 166-178
Editore: Springer Nature Switzerland
DOI: 10.1007/978-3-031-64309-5_14