Abstract
Various compact logics such as stationary logic, positive logic, logics with various cardinality quantifiers and cofinality quantifiers are studied. Counterexamples to the theorems of Beth and Craig are given. Back and forth arguments are studied for the first two logics, transfer theorems presented for positive logic and a new compactness proof for the confinality quantifiers is given.
Original language | English |
---|---|
Pages (from-to) | 13-35 |
Number of pages | 23 |
Journal | Archiv für Mathematische Logik und Grundlagenforschung |
Volume | 21 |
Issue number | 1 |
DOIs | |
State | Published - Dec 1981 |