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.

• Predicate logicBroader topic: Quantifiers such as ∀ and ∃ determine how broadly a predicate claim applies.

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

• Logical connectiveCompared with: Quantifiers bind variables; connectives combine propositions.

• Existential quantificationNarrower topic: Existential quantification is the at-least-one form of quantification.

• Free variableRelated: Quantifiers bind variables within their scope.

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

• Bound variableNarrower topic: A quantifier creates the scope in which its variable occurrences can be bound.

• 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.

• Prenex normal formNarrower topic: Universal and existential quantifiers make up the prefix.

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

• Atomic formulaCompared with: Quantifiers create non-atomic formulas even when their scope contains only one atom.

• 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.