Seminario del 2012
Settembre
17
2012
Luca Giudici
Seminario interdisciplinare
Caratterizzazioni relazionali (come particolari preordini) e caratterizzazioni algebriche (come insiemi con operazioni binarie); i punti di vista sintattico e semantico sono ugualmente efficaci.
Un particolare tipo di reticoli (quelli algebrici) illumina la struttura delle strutture algebriche, soprattutto quelle organizzate in classi equazionali o universali di Horn.