Algorithmic complexity of structures and their equivalence relations

Informacje na temat projektu

ACOSE

Identyfikator umowy o grant: 101026834

DOI

10.3030/101026834

Projekt został zamknięty

Data podpisania przez KE 13 Marca 2021

Data rozpoczęcia 1 Września 2021

Data zakończenia 31 Sierpnia 2024

Finansowanie w ramach

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Koszt całkowity

€ 252 349,44

Wkład UE

€ 252 349,44

Koordynowany przez

TECHNISCHE UNIVERSITAET WIEN
Austria

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Peer reviewed articles (4)

Degrees of categoricity and treeable degrees

Autorzy: Barbara F. Csima and Dino Rosseger
Opublikowane w: Journal of Mathematical Logic, 2023, ISSN 0219-0613
Wydawca: Singapore University Press
DOI: 10.1142/s0219061324500028

A LOPEZ-ESCOBAR THEOREM FOR CONTINUOUS DOMAINS

Autorzy: NIKOLAY BAZHENOV, EKATERINA FOKINA, DINO ROSSEGGER, ALEXANDRA SOSKOVA, STEFAN VATEV
Opublikowane w: The Journal of Symbolic Logic, 2024, Strona(/y) 1-18, ISSN 0022-4812
Wydawca: Association for Symbolic Logic
DOI: 10.1017/jsl.2024.18

Degree spectra of analytic complete equivalence relations

Autorzy: Dino Rossegger
Opublikowane w: The Journal of Symbolic Logic, Numer 87(6), 2022, Strona(/y) 1663-1676, ISSN 0022-4812
Wydawca: Association for Symbolic Logic
DOI: 10.1017/jsl.2021.82

The structural complexity of models of arithmetic

Autorzy: Antonio Montalbán and Dino Rossegger
Opublikowane w: The Journal of Symbolic Logic, 2023, ISSN 0022-4812
Wydawca: 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

Autorzy: Meng-Che “Turbo” Ho, Khanh Le, Dino Rossegger
Opublikowane w: Lecture Notes in Computer Science, Twenty Years of Theoretical and Practical Synergies, Numer 14773, 2024, Strona(/y) 72-84
Wydawca: Springer Nature Switzerland
DOI: 10.1007/978-3-031-64309-5_7

Learning Families of Algebraic Structures from Text

Autorzy: Nikolay Bazhenov, Ekaterina Fokina, Dino Rossegger, Alexandra Soskova, Stefan Vatev
Opublikowane w: Lecture Notes in Computer Science, Twenty Years of Theoretical and Practical Synergies, Numer volume 14773, 2024, Strona(/y) 166-178
Wydawca: Springer Nature Switzerland
DOI: 10.1007/978-3-031-64309-5_14