There are just four second-order quantifiers

Saharon Shelah

doi:10.1007/BF02787572

There are just four second-order quantifiers

Saharon Shelah^*

^*Corresponding author for this work

Einstein Institute of Mathematics

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

13 Scopus citations

Abstract

Among the second-order quantifiers ranging over relations satisfying a first-order sentence, there are four for which any other one is bi-interpretable with one of them: the trivial, monadic, permutational, and full second order.

Original language	English
Pages (from-to)	282-300
Number of pages	19
Journal	Israel Journal of Mathematics
Volume	15
Issue number	3
DOIs	https://doi.org/10.1007/BF02787572
State	Published - Sep 1973

Access to Document

10.1007/BF02787572

Cite this

@article{3229dbb2b9ec4570acd04813d268ff0b,

title = "There are just four second-order quantifiers",

abstract = "Among the second-order quantifiers ranging over relations satisfying a first-order sentence, there are four for which any other one is bi-interpretable with one of them: the trivial, monadic, permutational, and full second order.",

author = "Saharon Shelah",

year = "1973",

month = sep,

doi = "10.1007/BF02787572",

language = "אנגלית",

volume = "15",

pages = "282--300",

journal = "Israel Journal of Mathematics",

issn = "0021-2172",

publisher = "Springer New York",

number = "3",

}

TY - JOUR

T1 - There are just four second-order quantifiers

AU - Shelah, Saharon

PY - 1973/9

Y1 - 1973/9

N2 - Among the second-order quantifiers ranging over relations satisfying a first-order sentence, there are four for which any other one is bi-interpretable with one of them: the trivial, monadic, permutational, and full second order.

AB - Among the second-order quantifiers ranging over relations satisfying a first-order sentence, there are four for which any other one is bi-interpretable with one of them: the trivial, monadic, permutational, and full second order.

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

U2 - 10.1007/BF02787572

DO - 10.1007/BF02787572

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

AN - SCOPUS:51249190902

SN - 0021-2172

VL - 15

SP - 282

EP - 300

JO - Israel Journal of Mathematics

JF - Israel Journal of Mathematics

IS - 3

ER -

There are just four second-order quantifiers

Abstract

Access to Document

Other files and links

Fingerprint

Cite this