Word.ws English Dictionary

Skolem functions

Skolem functions is the plural of Skolem function.

Meaning of Skolem function

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

Questions about Skolem functions

What is Skolem functions the plural of?
Skolem functions is the plural of Skolem function.

Words near Skolem functions in the dictionary

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

Source and license

Adapted from Wiktionary: Skolem functions (page history and authors); 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 functions.” Word.ws, https://word.ws/skolem_functions. Based on Wiktionary, CC BY-SA 4.0.