Generalized quantifiers and compact logic

Saharon Shelah

doi:10.1090/S0002-9947-1975-0376334-6

Generalized quantifiers and compact logic

Saharon Shelah^*

^*Corresponding author for this work

Einstein Institute of Mathematics

Research output: Contribution to journal › Article › peer-review

62 Scopus citations

Abstract

We solve a problem of Friedman by showing the existence of a logic stronger than first-order logic even for countable models, but still satisfying the general compactness theorem, assuming e.g. the existence of a weakly compact cardinal. We also discuss several kinds of generalized quantifiers.

Original language	English
Pages (from-to)	342-364
Number of pages	23
Journal	Transactions of the American Mathematical Society
Volume	204
DOIs	https://doi.org/10.1090/S0002-9947-1975-0376334-6
State	Published - 1975

Access to Document

10.1090/S0002-9947-1975-0376334-6

Cite this

@article{93b86f0601ee4558b0c46cf76cda5906,

title = "Generalized quantifiers and compact logic",

abstract = "We solve a problem of Friedman by showing the existence of a logic stronger than first-order logic even for countable models, but still satisfying the general compactness theorem, assuming e.g. the existence of a weakly compact cardinal. We also discuss several kinds of generalized quantifiers.",

author = "Saharon Shelah",

year = "1975",

doi = "10.1090/S0002-9947-1975-0376334-6",

language = "אנגלית",

volume = "204",

pages = "342--364",

journal = "Transactions of the American Mathematical Society",

issn = "0002-9947",

publisher = "American Mathematical Society",

}

TY - JOUR

T1 - Generalized quantifiers and compact logic

AU - Shelah, Saharon

PY - 1975

Y1 - 1975

N2 - We solve a problem of Friedman by showing the existence of a logic stronger than first-order logic even for countable models, but still satisfying the general compactness theorem, assuming e.g. the existence of a weakly compact cardinal. We also discuss several kinds of generalized quantifiers.

AB - We solve a problem of Friedman by showing the existence of a logic stronger than first-order logic even for countable models, but still satisfying the general compactness theorem, assuming e.g. the existence of a weakly compact cardinal. We also discuss several kinds of generalized quantifiers.

UR - http://www.scopus.com/inward/record.url?scp=0007428746&partnerID=8YFLogxK

U2 - 10.1090/S0002-9947-1975-0376334-6

DO - 10.1090/S0002-9947-1975-0376334-6

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

AN - SCOPUS:0007428746

SN - 0002-9947

VL - 204

SP - 342

EP - 364

JO - Transactions of the American Mathematical Society

JF - Transactions of the American Mathematical Society

ER -

Generalized quantifiers and compact logic

Abstract

Access to Document

Other files and links

Fingerprint

Cite this