The compactness spectrum of abstract logics, large cardinals and combinatorial principles

Si studiano le conseguenze, per estensioni elementari, del realizzare particolari tipi, che implicano l'esistenza di un elemento al di sopra di un cardinale. Si generalizzano così alcuni teoremi riguardanti gli ultrafiltri. Si danno poi applicazioni alla Teoria dei Modelli Astratta, dimostrando che ogni logica (X+, À+)-compatta è anche (X, ^-compatta, purché X sia un cardinale regolare.