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

FINTOINF

Financiado

Cerrado

Generalised Tree Automata Monadic Second Order Logic and Transfer Principles in...

Generalised Tree Automata Monadic Second Order Logic and Transfer Principles in Combinatorial Limits The project will concentrate on two main directions (MD), which are connected through them both relying on Monadic Second Order (MSO) and its variants. (MD 1) Shelah's conjecture. In his celebrated 1975 paper Shelah proved that... ver más

31/03/2023

CNRS

197K€

Presupuesto del proyecto: 197K€

Líder del proyecto

CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE... 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.

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

MSCA-IF-2020: Individual Fellowships

I+D

Cerrada hace 4 años

0% 100%

Información adicional privada

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

1 Participantes

CNRS

196.71K€ | Lider

Proyectos interesantes

MTM2014-59178-P

Applied Physics

Data Science

47K€ Cerrado

LocalGlobal

Data Science

Applied Physics

2M€ Cerrado

MTM2011-26840

Applied Physics

Data Science

47K€ Cerrado

GRANT

Data Science

Applied Physics

1M€ Cerrado

Function Fields

Data Science

Applied Physics

1M€ Cerrado

CoCoSym

Data Science

Applied Physics

1M€ 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: 24 meses Fecha Inicio: 2021-03-16
Fecha Fin: 2023-03-31

Líder del proyecto

CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE... No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 197K€

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

Descripción del proyecto The project will concentrate on two main directions (MD), which are connected through them both relying on Monadic Second Order (MSO) and its variants. (MD 1) Shelah's conjecture. In his celebrated 1975 paper Shelah proved that the monadic second order theory (MSO) of the real order is undecidable. He conjectured in his Conjecture 7B that Conjecture: MSO of the real order where the second order quantifier ranges only over Borel sets, is decidable. In spite of important efforts on this question in both mathematics and computer science community, the conjecture is still open. Many strategies, including the one suggested by Shelah in his paper (to use Borel determinacy) have been tried. We propose to study this question using the recent methods of the generalised descriptive set theory and the generalised automata that we intend to develop. This is novel and might lead to important advances and the solution. (MD2) Countable combinatorial limits. Since the work of Lovasz and others in his group around 2006, a new area of discrete mathematics emerged: the combinatorial limits. This fast growing area aroused much interest and found many applications Its first development was that of a graphon, which is an uncountable limit of a sequence of finite graphs, but there have been several others. It is always important to understand the transfer properties of statements between the sequence forming the limit and the limit itself. The question has been considered through ultrapowers and through topology and Stone's pairings. None suffices for the transfer of MSO sentence. We propose to study that transfer through the novel notion of a countable model where the notion of satisfaction has been changed so that the countable model reflects the structure of the sequence of finite models that were used to obtain the uncountable combinatorial limit. In this sense we obtain a countable combinatorial limit which we study using the methods of finite model theory.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores