Skolem function

English

Etymology

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

Noun

Skolem function (plural Skolem functions)

(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

Herbrand function

Related terms

Skolemization

This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.