411 REFERENCE · Wiktionary
Herbrand function
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Etymology
Named after Jacques Herbrand (1908–1931), French mathematician.
Noun
en logic 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).
Related terms
en Herbrandization
en eponyms