Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

ACOSE

Financiado

Cerrado

Algorithmic complexity of structures and their equivalence relations

We will investigate the algorithmic complexity of mathematical structures and its connection with notions of complexity studied in descriptive set theory at. The main subject area of the planned research is computable structure th... ver más

31/08/2024

TU WIEN

252K€

Presupuesto del proyecto: 252K€

Líder del proyecto

TECHNISCHE UNIVERSITAET WIEN No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Fecha límite participación Sin fecha límite de participación.

Ver 3 Participantes

Financiación concedida El organismo H2020 notifico la concesión del proyecto el día 2024-08-31

MSCA-IF-2020: Individual Fellowships

I+D

Cerrada hace 4 años

0% 100% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

3 Participantes

TU WIEN

252.35K€ | Lider

THE REGENTS OF THE UNIVERSIT...

LOS ANGELES UCLA SANTA BARBA...

165.27K€ | Participante

Proyectos interesantes

MTM2008-01545

Applied Physics

Data Science

45K€ Cerrado

MTM2011-26840

Applied Physics

Data Science

47K€ Cerrado

FEALORA

Applied Physics

Data Science

1M€ Cerrado

PGC2018-096872-B-I00

Applied Physics

Data Science

26K€ Cerrado

MTM2014-59178-P

Applied Physics

Data Science

47K€ Cerrado

APGRAPH

Applied Physics

Data Science

818K€ Cerrado

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Duración del proyecto: 41 meses Fecha Inicio: 2021-03-13
Fecha Fin: 2024-08-31

Líder del proyecto

TECHNISCHE UNIVERSITAET WIEN No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 252K€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto We will investigate the algorithmic complexity of mathematical structures and its connection with notions of complexity studied in descriptive set theory at. The main subject area of the planned research is computable structure theory — an area of logic concerning itself with the computational complexity of countable mathematical structures. Mathematicians usually consider structures up to some equivalence relation. For example, a number theorists works in the standard model of arithmetic, the natural numbers with addition and multiplication, but it is of little interest to him whether he works in the canonic representation or in some isomorphic copy as this does not impact his work. However, for computational matters the choice of representation is highly important. Therefore one usually measures the algorithmic complexity of a structure by its degree spectrum, the set of Turing degrees of structure equivalent to the structure under a given equivalence relation. Degree spectra are the main subject of investigation in computable structure theory. A natural way to think of degree spectra is as sets of subsets of the natural numbers, and these sets are studied in descriptive set theory. So far the relation between the descriptive complexity of a set and whether it can be a degree spectrum under a given equivalence relation has been overlooked. The goal of this project is to relate the descriptive complexity of sets with their realizability as degree spectra under some equivalence relation. We plan to obtain new results and develop new techniques which will be beneficial to both descriptive set theory and computable structure theory and hope to form a lasting connection between those fields. The fellowship will be carried out over 36 months, 24 months at the University of California, Berkeley under supervision of Prof. Antonio Montalbán and 12 months at TU Wien under the supervision of Professors Ekaterina Fokina and Matthias Baaz.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores