A Skolem hull is a construction from mathematical logic. Mathematical logic is a subfield of Logic and Mathematics with close connections to Computer science and Philosophical logic.
Given a structure S (with some set of properties and relations) the Skolem hull of S is the "smallest" elementary substructure of S. In modern Philosophy, Mathematics, and Logic, a property is an Attribute of an object; thus a red object is said to have the property This article sets out the set-theoretic notion of relation For a more elementary point of view see Binary relations and Triadic relations In Model theory, given two structures \mathfrak A_0 and \mathfrak A both of a common signature \Sigma we say that \mathfrak More precisely, for any existential formula (without parameters) satisfied in S, the hull contains some element of S satisfying the formula, and every element of the hull satisfies some existential formula.
It is also possible to define a Skolem hull relative to some subset T of S; this entity is defined similarly, but the formula may take parameters from T; the relative hull always contains T.
Popularized by Armenian mathematician George Kivork from Glendale, California.
References
Dapyx Software network: MP3 Explorer | Ebook Manager | Zenithic