Word.ws English Dictionary

Herbrand universes

Herbrand universes is the plural of Herbrand universe.

Meaning of Herbrand universe

Noun

Herbrand universe (plural Herbrand universes)

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

Questions about Herbrand universes

What is Herbrand universes the plural of?
Herbrand universes is the plural of Herbrand universe.

Words near Herbrand universes in the dictionary

  1. herboxidiene
  2. Herbrand
  3. Herbrand function
  4. Herbrand functions
  5. Herbrand universe
  6. Herbrand universes
  7. Herbrand's theorem
  8. Herbrand-Ribet theorem
  9. Herbrandization
  10. Herbrands
  11. herbs

Source and license

Adapted from Wiktionary: Herbrand universes (page history and authors); 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 universes.” Word.ws, https://word.ws/herbrand_universes. Based on Wiktionary, CC BY-SA 4.0.