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ù [...] finito di costanti da per a∈G. Se da1,…,dan sono tutte le costanti in D′, il sottogruppo G′ di G generato da a1,…,an sarà finitamentegenerato e quindi per ipotesi modello di TP∪TG∪D′ poiché D′⊂D(G′). Ne concludiamo che G si immergerà in un gruppo ...
Leggi Tutto