Algorithmic complexity of structures and their equivalence relations

Información del proyecto

ACOSE

Identificador del acuerdo de subvención: 101026834

DOI

10.3030/101026834

Proyecto cerrado

Fecha de la firma de la CE 13 Marzo 2021

Fecha de inicio 1 Septiembre 2021

Fecha de finalización 31 Agosto 2024

Financiado con arreglo a

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coste total

€ 252 349,44

Aportación de la UE

€ 252 349,44

Coordinado por

TECHNISCHE UNIVERSITAET WIEN
Austria

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Peer reviewed articles (4)

Degrees of categoricity and treeable degrees

Autores: Barbara F. Csima and Dino Rosseger
Publicado en: Journal of Mathematical Logic, 2023, ISSN 0219-0613
Editor: Singapore University Press
DOI: 10.1142/s0219061324500028

A LOPEZ-ESCOBAR THEOREM FOR CONTINUOUS DOMAINS

Autores: NIKOLAY BAZHENOV, EKATERINA FOKINA, DINO ROSSEGGER, ALEXANDRA SOSKOVA, STEFAN VATEV
Publicado en: The Journal of Symbolic Logic, 2024, Página(s) 1-18, ISSN 0022-4812
Editor: Association for Symbolic Logic
DOI: 10.1017/jsl.2024.18

Degree spectra of analytic complete equivalence relations

Autores: Dino Rossegger
Publicado en: The Journal of Symbolic Logic, Edición 87(6), 2022, Página(s) 1663-1676, ISSN 0022-4812
Editor: Association for Symbolic Logic
DOI: 10.1017/jsl.2021.82

The structural complexity of models of arithmetic

Autores: Antonio Montalbán and Dino Rossegger
Publicado en: The Journal of Symbolic Logic, 2023, ISSN 0022-4812
Editor: 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

Autores: Meng-Che “Turbo” Ho, Khanh Le, Dino Rossegger
Publicado en: Lecture Notes in Computer Science, Twenty Years of Theoretical and Practical Synergies, Edición 14773, 2024, Página(s) 72-84
Editor: Springer Nature Switzerland
DOI: 10.1007/978-3-031-64309-5_7

Learning Families of Algebraic Structures from Text

Autores: Nikolay Bazhenov, Ekaterina Fokina, Dino Rossegger, Alexandra Soskova, Stefan Vatev
Publicado en: Lecture Notes in Computer Science, Twenty Years of Theoretical and Practical Synergies, Edición volume 14773, 2024, Página(s) 166-178
Editor: Springer Nature Switzerland
DOI: 10.1007/978-3-031-64309-5_14