On quantification with a finite universe

Saharon Shelah

doi:10.2307/2586688

On quantification with a finite universe

Saharon Shelah^*

^*Corresponding author for this work

Einstein Institute of Mathematics

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

1 Scopus citations

Abstract

We consider a finite universe script U sign (more exactly - a family U-fraktur sign of them), second order quantifiers Q_K, where for each U sign this means quantifying over a family of n(K)-place relations closed under permuting U sign. We define some natural orders and shed some light on the classification problem of those quantifiers.

Original language	English
Pages (from-to)	1055-1075
Number of pages	21
Journal	Journal of Symbolic Logic
Volume	65
Issue number	3
DOIs	https://doi.org/10.2307/2586688
State	Published - Sep 2000

Access to Document

10.2307/2586688

Cite this

@article{5b14fa5930954b068eade98064e42c19,

title = "On quantification with a finite universe",

abstract = "We consider a finite universe script U sign (more exactly - a family U-fraktur sign of them), second order quantifiers QK, where for each U sign this means quantifying over a family of n(K)-place relations closed under permuting U sign. We define some natural orders and shed some light on the classification problem of those quantifiers.",

author = "Saharon Shelah",

year = "2000",

month = sep,

doi = "10.2307/2586688",

language = "אנגלית",

volume = "65",

pages = "1055--1075",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

number = "3",

}

TY - JOUR

T1 - On quantification with a finite universe

AU - Shelah, Saharon

PY - 2000/9

Y1 - 2000/9

N2 - We consider a finite universe script U sign (more exactly - a family U-fraktur sign of them), second order quantifiers QK, where for each U sign this means quantifying over a family of n(K)-place relations closed under permuting U sign. We define some natural orders and shed some light on the classification problem of those quantifiers.

AB - We consider a finite universe script U sign (more exactly - a family U-fraktur sign of them), second order quantifiers QK, where for each U sign this means quantifying over a family of n(K)-place relations closed under permuting U sign. We define some natural orders and shed some light on the classification problem of those quantifiers.

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

U2 - 10.2307/2586688

DO - 10.2307/2586688

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

AN - SCOPUS:0034258656

SN - 0022-4812

VL - 65

SP - 1055

EP - 1075

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

IS - 3

ER -

On quantification with a finite universe

Abstract

Access to Document

Other files and links

Fingerprint

Cite this