Definability hierarchies of generalized quantifiers
type: Item
instance of: scholarly article
title: Definability hierarchies of generalized quantifiers
zbMATH Open document ID: 0683.03020
DOI: 10.1016/0168-0072(89)90070-5
author: Lauri Hella
published in: Annals of Pure and Applied Logic
publication date: 1989-01-01T00:00:00Z
review text: The author develops a general framework for proving that a quantifier is not definable in terms of n-ary quantifiers. He shows in particular that many logics existing in the literature can express a hierarchy \(Q_ 1,Q_ 2,..\). of such irreducible quantifiers. Back-and-forth techniques are applied to study the interpolation problems of certain cardinality logics.
reviewed by: Daniele Mundici
Mathematics Subject Classification ID: 03C80
Mathematics Subject Classification ID: 03C95
zbMATH DE Number: 4118349
zbMATH Keywords: definability
zbMATH Keywords: back-and-forth
zbMATH Keywords: Lindström quantifier
zbMATH Keywords: abstract logic
zbMATH Keywords: generalized quantifier
zbMATH Keywords: irreducible quantifiers
zbMATH Keywords: interpolation
zbMATH Keywords: cardinality logics
MaRDI profile type: Publication
full work available at URL: 0168-0072(89)90070-5
OpenAlex ID: W2076662767
cites work: An Ehrenfeucht game for the multivariable quantifiers of Malitz and some applications
cites work: Axioms for abstract model theory
cites work: Stationary logic
cites work: Q3872438
cites work: Relative strength of Malitz quantifiers
cites work: Q5732647
cites work: Q5666547
cites work: Logic with the quantifier “there exist uncountably many”
cites work: Q3714043
cites work: Vector spaces and binary quantifiers
cites work: On orderings of the family of all logics
cites work: Henkin and function quantifiers
cites work: Q3113046
cites work: On Extensions of Elementary Logic
cites work: Compact extensions of L(Q) (part 1a)
cites work: δ-Logics and generalized quantifiers
cites work: ON THE EXPRESSIVE POWER OF THE LOGICS L(Qαn1,…,nm)
cites work: On the expressibility hierarchy of Magidor-Malitz quantifiers
cites work: Finite partially-ordered quantification
cites work: Generalized Ehrenfeucht games
description: scientific article; zbMATH DE number 4118349