Herbrand universe
Herbrand universe noun: 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.).
Noun
Herbrand universe (plural Herbrand universes)
- 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 of Herbrand universe
| plural | Herbrand universes |
|---|
Origin of Herbrand universe
Named after Jacques Herbrand (1908–1931), French mathematician.
Questions about Herbrand universe
- What does Herbrand universe mean?
- Herbrand universe means 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.).
- What part of speech is Herbrand universe?
- Herbrand universe is a noun.
- What is the plural of Herbrand universe?
- The plural of Herbrand universe is Herbrand universes.
Words near Herbrand universe in the dictionary
Source and license
Adapted from Wiktionary: Herbrand universe (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.
Last updated:
Cite this entry: “Herbrand universe.” Word.ws, https://word.ws/herbrand_universe. Based on Wiktionary, CC BY-SA 4.0.