{"entities":{"Q1901898":{"pageid":1912640,"ns":120,"title":"Item:Q1901898","lastrevid":74251047,"modified":"2026-04-14T19:11:40Z","type":"item","id":"Q1901898","labels":{"en":{"language":"en","value":"Vop\u011bnka principle and skeletons of varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 815636"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901898$7C1B7BB5-A108-47A6-B78B-A7F91AC324BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"efffbbcfb6410a8b981992f5bd17df6b95be7510","datavalue":{"value":{"text":"Vop\u011bnka principle and skeletons of varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1901898$35990013-26B7-4AB9-8BC1-3411E4624F13","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32601495ec63c6162389ebfcbe25868c083c456e","datavalue":{"value":"0832.08006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901898$72D8A054-3C04-4168-BA53-0F166D438806","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"62318960435ff4e0b6f0bda102e1b989b0fc569e","datavalue":{"value":{"entity-type":"item","numeric-id":268929,"id":"Q268929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901898$E1F60D4F-97D2-48C0-8933-00F394B76749","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c98862405da01934b96b9633d4b6d492f4e24344","datavalue":{"value":{"time":"+1996-01-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1901898$9DC3A498-4920-49E8-9D59-C01A95DAC83C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ab3da88a3512db2817690759814f8640afcde51e","datavalue":{"value":"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\u011bnka'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.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901898$FEFDB4EA-7969-4047-BBDB-28D5470A2623","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901898$E785C87B-4A8C-4A54-B8CC-94C0120BB18C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901898$08086C78-1FBE-4BF8-B8D1-1638EDC1FADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ade5de9b5f8ac4fa93618c0e9b5cef64dcc691b7","datavalue":{"value":"03E65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901898$459C4D46-669A-4395-8A9E-E2E38D8C62AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04048ffd41f3026e670539a33a0b2f8997605ae2","datavalue":{"value":"815636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901898$6187AB0A-5CA4-408C-B2A2-4FCA4E8B3EF4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f6be1d82709f099b7d858667b1b3548ad9054a0","datavalue":{"value":"skeletons of varieties of algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901898$D8C0ED00-FC0E-4A13-BC09-64275B45336D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79917338afa231e3cf9120a51190a9516ba4a4ac","datavalue":{"value":"unrelated elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901898$A8251A40-43E5-4472-93ED-2E4713097078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"722b26952e28dd918e64c0ac8f2b47200c7a8b60","datavalue":{"value":"proper class","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901898$06C79B41-A178-4422-88C2-9001044925B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97e328997ee9a11659b4d817dac83c5a7fc84f97","datavalue":{"value":"Vop\u011bnka's principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901898$CAC43B34-434F-402D-B649-3AAC67A1F29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecf63a71ae77e2766f8929b3ce841f01bf023172","datavalue":{"value":"congruence-distributive variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901898$BD7CF841-6F4B-47B0-96F3-CD76EEB81B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e74667a99e1f799d747183cc22059d6f4ab6a42","datavalue":{"value":"imbedding skeleton","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901898$19B7E44E-6C86-4F3C-90BB-88318371D035","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e37b70c1c156ca795db15295b6a9eec87e7b4908","datavalue":{"value":{"entity-type":"item","numeric-id":307878,"id":"Q307878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901898$DBC1A87C-C3FE-486E-80D6-458CEADFD4C9","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901898$437A8FEC-362A-41AD-9A0D-044B533CFC07","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79b8db7d23d23720b9be451132b8e070261f9a64","datavalue":{"value":{"entity-type":"item","numeric-id":1920704,"id":"Q1920704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"477070a516d51f14fee3b1242e266976298d61ac","datavalue":{"value":{"amount":"+0.7588924169540405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1901898$88A6EFAC-A4B4-4F19-A024-30F530FCC599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a283eb8209a9701ee89365c429ce8a3eafffb89","datavalue":{"value":{"entity-type":"item","numeric-id":2366360,"id":"Q2366360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"477070a516d51f14fee3b1242e266976298d61ac","datavalue":{"value":{"amount":"+0.7588924169540405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1901898$00D41C28-7DA6-4785-B29F-1C45F0C35FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c1be065b36672ef1a8dc3479afb8bc435f1a0f7","datavalue":{"value":{"entity-type":"item","numeric-id":3140289,"id":"Q3140289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34241aad1e1628db2e39055fad91b10aa35da1c6","datavalue":{"value":{"amount":"+0.7441758513450623","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1901898$BDFCF943-8D0B-4376-9714-6A90FE523876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a6a27039f2d4cb562d63591a8d9ffa3e26c0e4b","datavalue":{"value":{"entity-type":"item","numeric-id":3362256,"id":"Q3362256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d36ba390d40399ba53e6a7aadd5605103ddbeca1","datavalue":{"value":{"amount":"+0.7441756725311279","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1901898$71F5436E-ACC5-45E4-8543-98AEB3A8843D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9af597a118a1baa58ee12cf8190c3ca5b4bb81ee","datavalue":{"value":{"entity-type":"item","numeric-id":1342131,"id":"Q1342131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e1589619b3473dd88a67a49905d6bd78efb209b","datavalue":{"value":{"amount":"+0.7425134181976318","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1901898$FF460738-F633-4A0F-92F4-F9F5CA5E83EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Vop\u011bnka principle and skeletons of varieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Vop%C4%9Bnka_principle_and_skeletons_of_varieties"}}}}}