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