Word.ws English Dictionary

Herbrand functions

Herbrand functions is the plural of Herbrand function.

Meaning of Herbrand function

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

Questions about Herbrand functions

What is Herbrand functions the plural of?
Herbrand functions is the plural of Herbrand function.

Words near Herbrand functions in the dictionary

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

Source and license

Adapted from Wiktionary: Herbrand functions (page history and authors); 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 functions.” Word.ws, https://word.ws/herbrand_functions. Based on Wiktionary, CC BY-SA 4.0.