Word.ws English Dictionary

Herbrand function

Herbrand function noun: a function which replaces a variable bound by a universal quantifier which lies in the scope of an even number of logical negations; such function is a function of the remaining bound variables whose scope contain the given variable (being replaced).

Noun

Herbrand function (plural Herbrand functions)

  1. A function which replaces a variable bound by a universal quantifier which lies in the scope of an even number of logical negations; such function is a function of the remaining bound variables whose scope contain the given variable (being replaced).

Forms of Herbrand function

pluralHerbrand functions

Origin of Herbrand function

Named after Jacques Herbrand (1908–1931), French mathematician.

Questions about Herbrand function

What does Herbrand function mean?
Herbrand function means a function which replaces a variable bound by a universal quantifier which lies in the scope of an even number of logical negations; such function is a function of the remaining bound variables whose scope contain the given variable (being replaced).
What part of speech is Herbrand function?
Herbrand function is a noun.
What is the plural of Herbrand function?
The plural of Herbrand function is Herbrand functions.

Words near Herbrand function in the dictionary

  1. herborough
  2. herbose
  3. herbous
  4. herboxidiene
  5. Herbrand
  6. Herbrand function
  7. Herbrand functions
  8. Herbrand universe
  9. Herbrand universes
  10. Herbrand's theorem
  11. Herbrand-Ribet theorem

Source and license

Adapted from Wiktionary: Herbrand function (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “Herbrand function.” Word.ws, https://word.ws/herbrand_function. Based on Wiktionary, CC BY-SA 4.0.