The theorems of beth and Craig in abstract model theory II. Compact logics

J. A. Makowsky*, S. Shelah

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

14 Scopus citations

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 languageEnglish
Pages (from-to)13-35
Number of pages23
JournalArchiv für Mathematische Logik und Grundlagenforschung
Volume21
Issue number1
DOIs
StatePublished - Dec 1981

Fingerprint

Dive into the research topics of 'The theorems of beth and Craig in abstract model theory II. Compact logics'. Together they form a unique fingerprint.

Cite this