{"entities":{"Q1089371":{"pageid":1100123,"ns":120,"title":"Item:Q1089371","lastrevid":66108657,"modified":"2026-04-12T07:37:00Z","type":"item","id":"Q1089371","labels":{"en":{"language":"en","value":"Relations of imbeddability and epimorphism on congruence-distributive varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4004248"}},"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":"Q1089371$AB785F43-AAE9-44F8-A546-3CD603B74F3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9ea6df8d366245687121deb3bde0f415ce46a8d","datavalue":{"value":{"text":"Relations of imbeddability and epimorphism on congruence-distributive varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1089371$9E8485FB-F91E-41D8-9F16-2891D752EEE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83230521a992cade6e97b019a348fdf0e9cfb20c","datavalue":{"value":"0619.08005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089371$5CA7AB2B-1769-4728-B67C-77AE54E27485","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba4c9c8c61451dd63e409371c2deaacc7c5eca82","datavalue":{"value":"10.1007/BF01978711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089371$A24A9929-CBB0-4F1C-A30A-CC28ACD6AF2A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089371$B6CBE811-5068-4B96-A1A4-7EFE01753B86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1089371$4FB6763D-D11B-4C24-91CF-E0FA4768B399","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41ba933e2b29fe95d90a680eb1a95e97d0ecd32c","datavalue":{"value":"https://eudml.org/doc/187328","type":"string"},"datatype":"url"},"type":"statement","id":"Q1089371$B5880235-A5CA-41B8-B2D4-80E3B18F5028","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e9bb4acb270057da0554056cf6502183a2a56d90","datavalue":{"value":"For any class K of universal algebras IK denotes the collection of the isomorphism types of K-algebras, \\(<IK;\\leq >\\) \\((<IK=;\\ll >)\\) denotes the quasiordered class such that \\(a\\leq b\\) iff for the algebras \\({\\mathfrak A},{\\mathfrak B}\\in K\\) the isomorphism types of \\({\\mathfrak A}\\), \\({\\mathfrak B}\\) are a, b, respectively, \\({\\mathfrak A}\\) is isomorphic to some subalgebra of \\({\\mathfrak B}\\) (\\({\\mathfrak A}\\) is a homomorphic image of \\({\\mathfrak B})\\). In this paper \\(<IK;\\leq >\\) and \\(<IK;\\ll >\\) are studied in the context of a natural extension of the problem of the thin spectrum for congruence-distributive varieties K. In particular for such varieties it is proved the following: 1) Any countable quasiordered set is isomorphically imbeddable in \\(<IK_{\\aleph_ 1};\\ll >\\) \\((K_{\\kappa}\\) is the class of K-algebras of power \\(\\kappa)\\); 2) Under the assumption of Martin's axiom, if K is a variety with extendable congruences then for any natural number n, any n- element set A and any quasiorders \\(\\leq_ 1\\), and \\(\\leq_ 2\\) on A there exists an isomorphic imbedding of \\(<A;\\leq_ 1,\\leq_ 2>\\) in \\(<IK;\\leq,\\ll >\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089371$D3981212-9B65-40E7-B0F6-7D48FE97F003","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089371$84C5E120-3E27-427B-A451-563B78C3B72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089371$5819A48D-65A9-4690-8246-82FB3DD6C019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089371$5C817DF9-46E8-44BA-AC67-43CC311DE8DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ce58abc8849dbc2dd656754796af43b4e472bef","datavalue":{"value":"4004248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089371$F548AAB8-08BD-42A1-AF69-B025B7FAB8C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3843b5253a8f4499020dda366dfe757cd70b4760","datavalue":{"value":"thin spectrum","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089371$A3A3A319-1A88-4FA2-B950-B4FF9AFAF851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2fa144d8d41869c54bcc8579a8c2744072bc5","datavalue":{"value":"congruence-distributive varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089371$CEA324BD-0BFE-4FA0-817D-15162DB311F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23f8b30e93d316d45bde0aa13361506223a13e5e","datavalue":{"value":"quasiordered set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089371$74FA75EA-0431-47C8-8E41-E701805CE8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1de9dcb179145f479b0c16cc83f34dfcae130fd5","datavalue":{"value":"imbeddable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089371$C9D625E2-B311-4C3A-BF4A-BCF6839350B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45c6c31ec43218662a954d1edc2c3c26c723c9f8","datavalue":{"value":"Martin's axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089371$76F008AE-158E-41FA-B630-D7037161AA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f9e96b8afcf3cdea81926c01934c06f3fdd2e58","datavalue":{"value":"extendable congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089371$484334DB-F435-4561-89AF-2B0B2F581817","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":"Q1089371$B80466ED-8374-47E8-82A2-E4F835E6E571","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":"Q1089371$AC8E2FFA-5A34-46A9-BF4E-5ACB7CFC89FD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ca869dd6ed394fa1dcac617218b8ae85bff7588","datavalue":{"value":{"entity-type":"item","numeric-id":3325789,"id":"Q3325789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089371$1516A968-A7B9-4DB0-8064-A4DE3DE98E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3f85e45a3169f435519b2f666a3d684647e62f8","datavalue":{"value":{"entity-type":"item","numeric-id":1231006,"id":"Q1231006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089371$CDBBABB1-AB9B-4D18-9E61-547A0651A392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee93598f6ef6131b9e4682d1edd5734e4414ac","datavalue":{"value":{"entity-type":"item","numeric-id":3249808,"id":"Q3249808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089371$3A96419B-E154-40A2-AF03-992FE72B1553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97e2b3bea1e5f33e6cb2e2721b579a7a2833825c","datavalue":{"value":{"entity-type":"item","numeric-id":3249810,"id":"Q3249810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089371$6D5E2B90-C2C9-4FE1-B07D-0FE2395368DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc4391a685b133fad54005be4d8e7ae19f387b74","datavalue":{"value":{"entity-type":"item","numeric-id":755600,"id":"Q755600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089371$C394596C-041E-41FE-9C4A-D4E3A20A96D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd0842ce128cfedce92388e33aef9ec54f9d18a7","datavalue":{"value":{"entity-type":"item","numeric-id":4189277,"id":"Q4189277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089371$8BC5B5D6-C8B4-4AAD-9568-E4967E2C4D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f807869627b0af145edb4cc101b3c12a953a61bf","datavalue":{"value":{"entity-type":"item","numeric-id":5659626,"id":"Q5659626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089371$9473E053-9FAE-45A8-A97F-B90633797967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089371$AF07D6FE-1FDF-4047-BB55-A1E4D778A65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7772763f026248dcd3eb3532b3a11868f22df43","datavalue":{"value":{"entity-type":"item","numeric-id":3937374,"id":"Q3937374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089371$B05A3C94-C3F4-48E1-AE7F-27A5B0A28AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a6a8aa63dfc0ef6c207a8c47cbfe4783b7b3d83","datavalue":{"value":{"entity-type":"item","numeric-id":1226512,"id":"Q1226512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089371$AEBF6A00-CD16-4DC8-97E6-FE492E0F9842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdc82b4dd98184d3a9ac1869fafd2cb58d5b13a9","datavalue":{"value":{"entity-type":"item","numeric-id":3050420,"id":"Q3050420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089371$5D3E5039-B385-48AE-AB92-5B2BDAA68782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ecb867f5222ce039770d943547152f4cb95a3d2","datavalue":{"value":{"entity-type":"item","numeric-id":3927231,"id":"Q3927231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089371$B6C30261-3F30-449C-9632-21B7E78943C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ce196b5701429bc158cde212c994928ab68f462","datavalue":{"value":"W2009669914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089371$B7A7E9B1-D043-4144-961B-126DE4709E42","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffda564b9ba734931b9e69085f50f3312094412a","datavalue":{"value":{"entity-type":"item","numeric-id":1174055,"id":"Q1174055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5af956d0afae500b78d30f7046cca01fd06de295","datavalue":{"value":{"amount":"+0.8339943885803223","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":"Q1089371$3B1CE136-CBF3-4C30-B08F-B14CF4BCD0AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64b31571fb6463b58ee72c3339ecb3702d02e001","datavalue":{"value":{"entity-type":"item","numeric-id":1346899,"id":"Q1346899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5bfca80c0cabf0c81790a285e35fdd34d6574ab","datavalue":{"value":{"amount":"+0.8339819312095642","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":"Q1089371$1593AFEB-F782-4A80-B5C3-5A5EE55BE973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b05ac4649d6830e7286c3402b04e87e864754077","datavalue":{"value":{"entity-type":"item","numeric-id":3483336,"id":"Q3483336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2c1431e49eaba663728fc935e0d154045b4cf24","datavalue":{"value":{"amount":"+0.8258589506149292","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":"Q1089371$629C3E8A-9274-47B7-A7B3-844E5B6517FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1371bb0d678f18371a530ae9ebfde24868e28de2","datavalue":{"value":{"entity-type":"item","numeric-id":1278059,"id":"Q1278059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"972d4c96434a44fb12c82afb555f06b6dc81eb03","datavalue":{"value":{"amount":"+0.8097160458564758","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":"Q1089371$7288FDC6-71AA-4D36-8ACC-237A801A472F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2180b0fc5dd4cea715a39f73cf382258064a803f","datavalue":{"value":{"entity-type":"item","numeric-id":3797252,"id":"Q3797252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a342f937eaba71309a6fb196b1952d95b6b8ba1f","datavalue":{"value":{"amount":"+0.8087803721427917","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":"Q1089371$BDCDF9BB-6AD8-4B5D-8890-D999045F817F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relations of imbeddability and epimorphism on congruence-distributive varieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relations_of_imbeddability_and_epimorphism_on_congruence-distributive_varieties"}}}}}