Buongiorno,
a lezione il concetto di diagramma mi é apparso un po' nebuloso. Ora stavo studiando e mi sono accorta che a istituzioni abbiamo visto il diagramma elementare ED(M) definito come la teoria completa di M sul linguaggio L(M).
Durante la lezione avevo equiparato le due nozioni, invece sono diverse, vero?
Mi pare di capire che le differenze siano:
1) posso considerare A \subseteq M, e quindi le formule a parametri in A e non necessariamente in tutto M;
2) (differenza piú importante) il diagramma considera solo le formule senza quantificatore, mentre il diagramma elementare tutte le formule.
Quindi Diag(A) non é la teoria completa di M/A, ma la teoria delle formule senza quantificatori a parametri in A, giusto?
Grazie