Linked from

The 17 pages that link to Quantifier, each with the reason it gives.

• First-order logicRelated: Universal and existential quantifiers let formulas range over individual objects.

• Gottlob FregeRelated: Frege’s notation made quantified statements central to formal logic.

• Free variableRelated: Quantifiers bind variables within their scope.

• Constructive mathematicsRelated: Constructive interpretations give existential and universal quantifiers proof-theoretic content.

• Logical formRelated: Quantifiers distinguish forms such as universal claims from existential ones.

• PredicateRelated: Quantifiers bind variables in predicate expressions, as in 'every object has a property.'

• Higher-order logicRelated: Higher-order quantifiers range over predicates or functions as well as objects.

• Pumping lemma for context-free languagesRelated: The lemma's order of quantifiers determines which decompositions must work.

• Ogden's lemmaRelated: The order of choices in the lemma controls which decompositions a proof must handle.

• Tijdeman's theoremRelated: The fixed-gap condition must be chosen before the finite set of pairs is considered.

• Universe (mathematics and logic)Related: Quantifiers assert claims over objects drawn from the chosen universe.