The Compactness Spectrum of Abstract Logics , Large Cardinale and Combinat orlai Principles

Abstract

Sunto. 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… (More)

Topics

Cite this paper

@inproceedings{LIPPAEINITheCS, title={The Compactness Spectrum of Abstract Logics , Large Cardinale and Combinat orlai Principles}, author={PAOLO LIPPAEINI and Paolo Lipparini} }