DEPENDENTCLASSES
Model theory and its applications: dependent classes
| Coordinatore | THE HEBREW UNIVERSITY OF JERUSALEM.
Spiacenti, non ci sono informazioni su questo coordinatore. Contattare Fabio per maggiori infomrazioni, grazie. |
| Nazionalità Coordinatore | Israel [IL] |
| Totale costo | 1˙748˙000 € |
| EC contributo | 1˙748˙000 € |
| Programma | FP7-IDEAS-ERC
Specific programme: "Ideas" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013) |
| Code Call | ERC-2013-ADG |
| Funding Scheme | ERC-AG |
| Anno di inizio | 2014 |
| Periodo (anno-mese-giorno) | 2014-03-01 - 2019-02-28 |
Partecipanti
| # | ||||
|---|---|---|---|---|
| 1 |
THE HEBREW UNIVERSITY OF JERUSALEM.
Organization address
address: GIVAT RAM CAMPUS contact info |
IL (JERUSALEM) | hostInstitution | 1˙748˙000.00 |
| 2 |
THE HEBREW UNIVERSITY OF JERUSALEM.
Organization address
address: GIVAT RAM CAMPUS contact info |
IL (JERUSALEM) | hostInstitution | 1˙748˙000.00 |
Mappa
Word cloud
Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.
Obiettivo del progetto (Objective)
'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.'