Word.ws English Dictionary

Herbrandization

Herbrandization noun: the conversion of a formula of first-order logic which involves the following steps: (1) replace free variables with constants, (2) replace any variable bound by a universal quantifier which lies in the scope of an even number of logical negations with a Herbrand function, and (3) replace any variable bound by an existential quantifier which lies in the scope of an odd number of negations with a Herbrand function.

Noun

Herbrandization (uncountable)

  1. The conversion of a formula of first-order logic which involves the following steps: (1) replace free variables with constants, (2) replace any variable bound by a universal quantifier which lies in the scope of an even number of logical negations with a Herbrand function, and (3) replace any variable bound by an existential quantifier which lies in the scope of an odd number of negations with a Herbrand function.

Origin of Herbrandization

From Herbrand + -ization, after Jacques Herbrand (1908–1931), French mathematician.

Questions about Herbrandization

What does Herbrandization mean?
Herbrandization means the conversion of a formula of first-order logic which involves the following steps: (1) replace free variables with constants, (2) replace any variable bound by a universal quantifier which lies in the scope of an even number of logical negations with a Herbrand function, and (3) replace any variable bound by an existential quantifier which lies in the scope of an odd number of negations with a Herbrand function.
What part of speech is Herbrandization?
Herbrandization is a noun.

Words near Herbrandization in the dictionary

  1. Herbrand functions
  2. Herbrand universe
  3. Herbrand universes
  4. Herbrand's theorem
  5. Herbrand-Ribet theorem
  6. Herbrandization
  7. Herbrands
  8. herbs
  9. herbs and spices
  10. herbs de Provence
  11. Herbst

Source and license

Adapted from Wiktionary: Herbrandization (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: “Herbrandization.” Word.ws, https://word.ws/herbrandization. Based on Wiktionary, CC BY-SA 4.0.