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

J. A. Makowsky; S. Shelah

doi:10.1007/BF02011631

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

J. A. Makowsky^*
, S. Shelah

^*Corresponding author for this work

Einstein Institute of Mathematics

Research output: Contribution to journal › Article › peer-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 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	https://doi.org/10.1007/BF02011631
State	Published - Dec 1981

Access to Document

10.1007/BF02011631

Cite this

@article{f383bff255f344ec8af2224a37348cfa,

title = "The theorems of beth and Craig in abstract model theory II. Compact logics",

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.",

author = "Makowsky, \{J. A.\} and S. Shelah",

year = "1981",

month = dec,

doi = "10.1007/BF02011631",

language = "אנגלית",

volume = "21",

pages = "13--35",

journal = "Archiv f{\"u}r Mathematische Logik und Grundlagenforschung",

issn = "0933-5846",

publisher = "Springer New York",

number = "1",

}

TY - JOUR

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

AU - Makowsky, J. A.

AU - Shelah, S.

PY - 1981/12

Y1 - 1981/12

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/1842494082

U2 - 10.1007/BF02011631

DO - 10.1007/BF02011631

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:1842494082

SN - 0933-5846

VL - 21

SP - 13

EP - 35

JO - Archiv für Mathematische Logik und Grundlagenforschung

JF - Archiv für Mathematische Logik und Grundlagenforschung

IS - 1

ER -

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

Abstract

Access to Document

Other files and links

Fingerprint

Cite this