Vopěnka principle and skeletons of varieties (Q1901898)

The author continues his investigations of skeletons of varieties of algebras. He considers the question of whether a skeleton contains a totality of unrelated elements such that it is a proper class but not a set, and obtains a partial answer: Theorem. Assume that negation of Vopěnka's principle takes place. If \(\mathfrak M\) is a congruence-distributive variety with extendible congruences and its signature contains the constant 0, then the imbedding skeleton of the variety \(P\)-\(\mathfrak M\) contains a totality of mutually unrelated elements which is not a set. Here, \(P\)-\(\mathfrak M\) is the variety of all algebras in \(\mathfrak M\) enriched by a certain one-place predicate \(P\), which was considered by V. Koubek for distributive Boolean algebras.