HomeServicesBlogDictionariesContactSpanish Course
Home › Dictionary › English › Herbrand universe
Back to search

Herbrand universe

Noun CEFR B2

Definitions

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

CEFR level

B2
Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.
See all B2 English words →

See also

Herbrand-Ribet theorem Herbrand's theorem Herbrandization Herbs herbs and spices herbs de Provence

Learn this word in context

See Herbrand universe used in real conversations inside our free language course.

Start Free Course

Know this word better than we do? Language is a living thing — help us keep it growing. Collaborate with Babel Free