= Lindström quantifier
{wiki=Lindström_quantifier}
The Lindström quantifier is a type of quantifier used in mathematical logic, particularly in model theory and infinitary logic. It generalizes standard logical quantifiers like the existential quantifier (∃) and universal quantifier (∀) in a way that allows for the expression of more complex properties than those expressible in first-order logic. The Lindström quantifiers can be seen within the context of the study of logical languages that allow for infinite conjunctions and disjunctions.
Back to article page
