411 REFERENCE · Wiktionary
Skolem function
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Etymology
Named after Thoralf Skolem (1887–1963), Norwegian mathematician.
Noun
en logic A function which replaces a variable bound by an existential 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).
Coordinate terms
en Herbrand function
Related terms
en Skolemization
en eponyms