Linked from

The 15 pages that link to Free variable, each with the reason it gives.

• First-order logicRelated: A formula with free variables depends on assignments to those variables.

• Gaussian eliminationBroader topic: Nonpivot columns identify the degrees of freedom in infinitely many solutions.

• Variable (mathematics)Broader topic: Free variables can represent inputs or unspecified quantities in formulas.

• Lambda calculusRelated: Free variables determine which substitutions must avoid accidental capture.

• Existential quantificationCompared with: Unlike its bound variable, a free variable requires an external assignment.

• Universal quantificationCompared with: A formula with free variables depends on an assignment rather than making a closed universal claim.

• Domain of discourseCompared with: Unlike bound variables, free variables receive values through an assignment from the domain.

• Bound variableCompared with: Free occurrences depend on an external assignment, unlike bound occurrences.

• Axiom schemaRelated: Restrictions on free variables can determine which substitutions preserve an axiom instance.

• Axiom schema of specificationRelated: A schema instance may use a formula with parameters, whose values remain fixed.

• Prenex normal formRelated: Renaming variables prevents outward moves from capturing free occurrences.

• Free Will TheoremRelated: The theorem assumes experimenters’ settings are not determined by the particles’ prior state.

• Skolem normal formCompared with: Free variables are not existential witnesses to eliminate during the transformation.

• Rouché–Capelli theoremRelated: Each free variable contributes one dimension to the solution set.

• Universe (mathematics and logic)Compared with: Unlike bound variables, its value must be supplied to evaluate a formula.