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

CatModStab

Financiado

Categorical Model theory, Stability theory and applications

Model theory traditionally studies mathematical structures (models) which can be characterised by first-order logical axioms (a theory). However, a number of important mathematical concepts do not fit in this framework, so researc... ver más

30/06/2026

150K€

Presupuesto del proyecto: 150K€

Líder del proyecto

Masarykova univerzita No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Financiación concedida El organismo HORIZON EUROPE notifico la concesión del proyecto el día 2023-05-16

HORIZON-WIDERA-2022-TALENTS-04-01: Fostering balanced brain circulatio... ExpectedOutcome:This action will build on the MSCA Postdoctoral Fellowships 2022 action (HORIZON-MSC...

I+D

Cerrada hace 2 años

0% 100%

1 Participantes

150.44K€ | Lider

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

Proyectos interesantes

MTM2014-59178-P LOGICA MATEMATICA 47K€ Cerrado

MTM2017-86777-P LOGICA MATEMATICA 34K€ Cerrado

UCAN Unifying classicality and non-classicality 227K€ Cerrado

PID2020-116773GB-I00 LOGICA MATEMATICA 23K€ Cerrado

MTM2011-26840 TEORIA DE MODELOS Y APLICACIONES 47K€ Cerrado

MTM2008-01545 TEORIA DE MODELOS 45K€ Cerrado

Duración del proyecto: 37 meses Fecha Inicio: 2023-05-16
Fecha Fin: 2026-06-30

Líder del proyecto

Masarykova univerzita No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 150K€

Descripción del proyecto Model theory traditionally studies mathematical structures (models) which can be characterised by first-order logical axioms (a theory). However, a number of important mathematical concepts do not fit in this framework, so researchers have been increasingly interested to generalize successful techniques of model theory to other frameworks, such as continuous logic, positive logic and a very general category-theoretic approach. One of the deepest parts of model theory is stability theory, which has inspired a great deal of research with countless applications, even when limited to the traditional first-order framework. Stability theory can be studied through independence relations that tell us which parts of a given structure are related, and which are not. Such independence relations work especially well in the stable, simple and NSOP1 settings, which relate to the complexity of the structures involved. Modern formulations of independence relations allow for a clear translation to categorical language. We propose to build on pioneering work to generalize stability-theoretic tools for the simple and NSOP1 settings to the categorical framework. This overarching goal is split up in three objectives. (O1) Develop categorical independence, primarily in the unstable settings. (O2) Establish novel approaches to the long-standing stable forking conjecture. (O3) Found an enriched model theory and stability theory through enriched categories. This ambitious generalization will be achieved by combining my experience in modern model theory and stability theory, with the complementary expertise of my supervisor, John Bourke, and my advisors, who are world-leaders in categorical model theory and other categorical aspects relevant to this project, such as enriched category theory. On an international level this project will build a bridge between the model theory and category theory communities, thus enlarging my network and enhancing my prospects towards an academic career.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores