English Explanatory Dictionary

Herbrand universe

English dictionary entry

Meanings

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

Word forms

Herbrand universe Herbrand universes

Etymology

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

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on H Russian dictionary Dahl dictionary