Vopěnka principle and skeletons of varieties (Q1901898)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Vopěnka principle and skeletons of varieties |
scientific article |
Statements
Vopěnka principle and skeletons of varieties (English)
0 references
3 January 1996
0 references
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.
0 references
skeletons of varieties of algebras
0 references
unrelated elements
0 references
proper class
0 references
Vopěnka's principle
0 references
congruence-distributive variety
0 references
imbedding skeleton
0 references