HomeServicesBlogDictionariesContactSpanish Course
Home › Dictionary › English › Herbrand function
← Back to search

Meaning of Herbrand function | Babel Free

Noun CEFR B2

Definitions

A function which replaces a variable bound by a universal quantifier which lies in the scope of an even number of logical negations; such function is a function of the remaining bound variables whose scope contain the given variable (being replaced).

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 universe Herbrand-Ribet theorem Herbrand's theorem Herbrandization Herbs herbs and spices

Learn this word in context

See Herbrand function 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