The compactness spectrum of abstract logics, large cardinals and combinatorial principles
Paolo Lipparini · Cineca Institutional Research Information System (Tor Vergata University) · 1990
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.