No label defined (Q4250072)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1303461
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1303461 |
Statements
28 October 1999
0 references
generalized quantifiers
0 references
natural language quantifier
0 references
Lindström quantifier
0 references
expressive power
0 references
0 references
0 references
0 references
0 references
The mathematical definition of Lindström quantifier does not apply to many quantifiers appearing in mathematical logic, statistics, as well as in natural language theory and computer science. The latter often depend on extra machinery. The aim of the present paper is to compare the expressive power of logics with such quantifiers. For background on Lindström quantifiers see \textit{J. Barwise} and \textit{S. Feferman} (eds.): Model-theoretic logics (1985; Zbl 0587.03001), and, in particular, the chapters by \textit{H.-D. Ebbinghaus} and by the present reviewer. See also the reviewer's paper in Fundam. Math. 124, 1-25 (1984; Zbl 0595.03039) for a more general definition. For the entire collection see [Zbl 0910.00016].
0 references
