On quantification with a finite universe

Saharon Shelah*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-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 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.

Original languageEnglish
Pages (from-to)1055-1075
Number of pages21
JournalJournal of Symbolic Logic
Volume65
Issue number3
DOIs
StatePublished - Sep 2000

Fingerprint

Dive into the research topics of 'On quantification with a finite universe'. Together they form a unique fingerprint.

Cite this