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ù [...] vale a dire generato da una singola formula. Modelli └0-saturi e atomici ci permettono di caratterizzare le teorie ω-categoriche, come mostrato dal teorema di Ryll-Nardzewski per cui una teoria completa è ω-categorica se ha un numero finito di n-tipi ...
Leggi Tutto
sostituzione
sostituzióne [Der. del lat. substitutio -onis "atto ed effetto del sostituire", dal part. pass. substitutus di substituere "sostituire", comp. di sub "sotto" e statuere "collocare"] [ALG] [...] : v. sali fusi: V 99 c. ◆ [MCQ] S. minimale: v. gauge, teorie di: II 843 b. ◆ [FSD] S. trasversale: v. semiconduttori misti: V 151 in una molecola un atomo o gruppo atomico viene sostituito da un altro atomo o gruppo atomico (sostituente). ◆ ...
Leggi Tutto
atomo
àtomo s. m. [dal lat. atŏmus, gr. ἄτομος «indivisibile», comp. di ἀ- priv. e tema di τέμνω «tagliare»]. – 1. a. Nella filosofia naturale dell’antichità, nell’àmbito delle dottrine della limitata divisibilità della materia, ciascuna delle...
atomismo
s. m. [der. di atomo]. – 1. Concezione filosofica, che vien fatta risalire ai filosofi greci Leucippo e Democrito, secondo la quale la materia sensibile non è suddivisibile all’infinito ed è composta di atomi (v. atomo, nel sign....