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

DEPENDENTCLASSES

Financiado

Cerrado

Model theory and its applications dependent classes

Model theory deals with general classes of structures (called models). Specific examples of such classes are: the class of rings or the class of algebraically closed fields. It turns out that counting the so-called complete types... ver más

28/02/2019

THE HEBREW UNIVERS...

2M€

Presupuesto del proyecto: 2M€

Líder del proyecto

THE HEBREW UNIVERSITY OF JERUSALEM 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 FP7 notifico la concesión del proyecto el día 2019-02-28 No tenemos la información de la convocatoria

0% 100% 100%

Información adicional privada

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

1 Participantes

THE HEBREW UNIVERSITY OF JER...

0.00€ | 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

CatModStab Categorical Model theory, Stability theory and applications 150K€ Cerrado

MTM2008-01545 TEORIA DE MODELOS 45K€ Cerrado

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

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

PGC2018-096872-B-I00 GRUPOS, ESTRUCTURA LOCAL-GLOBAL E INVARIANTES NUMERICOS 26K€ Cerrado

MTM2014-59178-P LOGICA MATEMATICA 47K€ Cerrado

Líder del proyecto

THE HEBREW UNIVERSITY OF JERUSALEM No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 2M€

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

Descripción del proyecto Model theory deals with general classes of structures (called models). Specific examples of such classes are: the class of rings or the class of algebraically closed fields. It turns out that counting the so-called complete types over models in the class has an important role in the development of model theory in general and stability theory in particular. Stable classes are those with relatively few complete types (over structures from the class); understanding stable classes has been central in model theory and its applications. Recently, I have proved a new dichotomy among the unstable classes: Instead of counting all the complete types, they are counted up to conjugacy. Classes which have few types up to conjugacy are proved to be so-called ``dependent'' classes (which have also been called NIP classes). I have developed (under reasonable restrictions) a ``recounting theorem'', parallel to the basic theorems of stability theory. I have started to develop some of the basic properties of this new approach. The goal of the current project is to develop systematically the theory of dependent classes. The above mentioned results give strong indication that this new theory can be eventually as useful as the (by now the classical) stability theory. In particular, it covers many well known classes which stability theory cannot treat.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores