Consequences of compactness properties for abstract logics
Paolo Lipparini (1986)
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti
Similarity:
Si determinano alcune restrizioni sulle possibili cardinalità dei modelli di teorie in logiche soddisfacenti alcune proprietà di compattezza. Si dà una caratterizzazione delle logiche -compatte generate da quantificatori di cardinalità. Si stabilisce che il primo cardinale tale che una logica è -compatta è debolmente inaccessibile e soddisfa la proprietà dell'albero. Dai risultati enunciati appare un raffronto assai particolareggiato fra i due concetti di -compattezza e -compattezza. ...