ShelahShelahSaharon (Gerusalemme 1945) matematico e logico israeliano. Professore all’università di Gerusalemme e alla Rutgers University del New Jersey, è autore di numerosi lavori (più di 900, di [...] cui 500 scritti in collaborazione con 200 coautori) riguardanti soprattutto la teoria dei modelli e la teoria degli insiemi. Nel 2001 gli è stato conferito il Premio Wolf per la matematica ...
Leggi Tutto
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] , 1987.
Robinson 1979: Robinson, Abraham, Selected papers, New Haven-London, Yale University Press, I, 1979.
Shelah 1990: Shelah, Saharon, Classification theory and the number of non-isomorphic models, 2. ed., Amsterdam-London, North-Holland, 1990 ...
Leggi Tutto
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] studio sistematico del numero dei possibili modelli (a meno di isomorfismo) delle teorie, elementari e non. SaharonShelah sarà uno dei principali protagonisti del tentativo di sviluppare una teoria generale della classificazione dei modelli delle ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1981-1990
1981-1990
1981
Il sistema operativo MS-DOS. Tale sistema, realizzato dalla Microsoft e destinato a dominare nel suo settore, è utilizzato per la prima [...] la gravidanza, mediante amniocentesi o biopsia dei villi coriali.
1990
Teoria della classificazione. Il logico israeliano SaharonShelah pubblica la seconda edizione di Classification theory and the number of non-isomorphic models. In questo libro ...
Leggi Tutto
Categoricità
Silvio Bozzi
Concetto introdotto nel 1905 dal matematico Oscar Veblen e oggi al centro di gran parte dell’attuale teoria dei modelli. In termini generali, una teoria T formulata in un qualsiasi [...] e dotate di modelli infiniti). A questo scopo è stata sviluppata la teoria della stabilità, nella forma datale da SaharonShelah e poi in quella (stabilità geometrica) inaugurata dai lavori di Boris Zil’ber, Gregory Cherlin, Ehud Hrushowski e altri ...
Leggi Tutto