Herbrand universe

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English[edit]

English Wikipedia has an article on:
Wikipedia

Etymology[edit]

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

Noun[edit]

Herbrand universe (plural Herbrand universes)

  1. (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.)
Retrieved from "https://en.wiktionary.org/w/index.php?title=Herbrand_universe&oldid=39520110"