Word.ws English Dictionary

Skolem function

Skolem function noun: 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).

Noun

Skolem function (plural Skolem functions)

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

Forms of Skolem function

pluralSkolem functions

Origin of Skolem function

Named after Thoralf Skolem (1887–1963), Norwegian mathematician.

Questions about Skolem function

What does Skolem function mean?
Skolem function means 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).
What part of speech is Skolem function?
Skolem function is a noun.
What is the plural of Skolem function?
The plural of Skolem function is Skolem functions.

Words near Skolem function in the dictionary

  1. Skoks
  2. skol
  3. Skole
  4. skolecite
  5. skoled
  6. Skolem function
  7. Skolem functions
  8. Skolemisation
  9. Skolemization
  10. Skolemnization
  11. skolezite

Source and license

Adapted from Wiktionary: Skolem function (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: “Skolem function.” Word.ws, https://word.ws/skolem_function. Based on Wiktionary, CC BY-SA 4.0.