411 REFERENCE · Wiktionary
Herbrand universe
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Term algebra
Etymology
Named after Jacques Herbrand (1908–1931), French mathematician.
Noun
en logic The set of all ground terms that may be formed (even recursively) using any of the constants and functions which appear in a given set of formulae. (If there is no constant in that given set of formulae, then designate one default constant as being usable for the aforementioned purpose.)
en eponyms