Herbrand universe (English, noun)
expansion: Herbrand universe (plural Herbrand universes)
Senses:
topics: human-sciences
logic
mathematics
philosophy
sciences
glosses: 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:
form: Herbrand universes
tags: plural