Herbrand universe en · NOUN
Etymology
Named after Jacques Herbrand (1908–1931), French mathematician.
Meanings
- 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.)
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| Herbrand universes | Number=Plur | lexicographic |