{"entities":{"Q909692":{"pageid":911540,"ns":120,"title":"Item:Q909692","lastrevid":65276292,"modified":"2026-04-12T01:29:41Z","type":"item","id":"Q909692","labels":{"en":{"language":"en","value":"Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4137851"}},"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":"Q909692$1471CAC0-94E1-4EAF-9E95-289A82B2AA2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af2077b41915df8792a264877bcabba918736f61","datavalue":{"value":{"text":"Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q909692$A8F22F77-CD4D-4E1F-84F0-481A710EFD0B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"49df5204365460cf5c209a743ba4a3533ef5ae48","datavalue":{"value":"0695.08016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909692$15A0DB8E-D3C7-4E1C-9537-0A636AB0EC8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1572f980079a6e9fdf0e167f66a69bc0de70124","datavalue":{"value":"10.1007/BF01190258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909692$BB4AE034-60E1-4470-BB2E-E40C15448F77","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfccb93685854dae8ab7b7e24e0ca004a6182d99","datavalue":{"value":{"entity-type":"item","numeric-id":178963,"id":"Q178963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909692$4805A278-330A-41EF-9918-9329431E33A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b89098eababd83875f79fea2b87e2f3eb9200540","datavalue":{"value":{"entity-type":"item","numeric-id":690108,"id":"Q690108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909692$AFDDA630-4ED8-4595-A6F1-268F4DDF437D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909692$78627501-C1C0-4B49-BB78-7CF9866D23F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q909692$01679F95-8F26-410E-8025-8525E85A6C09","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fe347f498816ad5c730bd97c53e05991e4a018fd","datavalue":{"value":"For a quasivariety Q of algebras and its member A denote by \\(Con_ QA\\) the set of all congruence relations \\(\\theta\\) on A such that the quotient algebra A/\\(\\theta\\) belongs to Q. A quasivariety Q is called congruence- distributive if for every member A of Q the lattice \\(Con_ QA\\) is distributive. A quasivariety Q is said to have equationally definable principal congruence meets (EDPCM for short) if there exists a finite system  \\[  \\Delta =\\{(p_ i(x,y,z,w),q_ i(x,y,z,w)):\\quad i=0,1,...,n- 1\\}  \\]  of pairs of 4-ary terms such that for all \\(A\\in Q\\) and a,b,c,d\\(\\in A:\\)  \\[  \\theta^ A_ Q(a,b)\\cap \\theta^ A_ Q(c,d)=\\bigvee_{i<n}\\theta^ A_ Q(p^ A_ i(a,b,c,d),q^ A_ i(a,b,c,d)),  \\]  where the join \\(\\bigvee\\) is formed in \\(Con_ QA\\). Seven pairwise equivalent conditions are stated which characterize quasivarieties Q with EDPCM (Theorem 2.3). In particular, the quasivarieties with EDPCM are exactly those which are congruence distributive and whose finitely subdirectly irreducible members form a universal class. Theorem 3.4 states that a quasivariety with EDPCM and of finite type is finitely based iff the class of its finitely subdirectly irreducible members is strictly elementary. Some open problems are formulated. For example: is every finitely generated and congruence distributive quasivariety Q of algebras of finite type finitely based?","type":"string"},"datatype":"string"},"type":"statement","id":"Q909692$FAFFD4C7-8244-4AC8-8D3E-85C6541EF209","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909692$9CF27A9C-A10A-4572-AA3A-DA030E50F3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909692$3EBF34B8-F450-4DC0-834E-E30B305CD0B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909692$7827940C-95CC-42D2-B03F-02D26841F737","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5432604c446025c560e03318260669338336d087","datavalue":{"value":"4137851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909692$5481FA2A-28B0-445D-B0BE-F191DFBC1574","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a918afae689617535801fd2f4a23b8567ac5acab","datavalue":{"value":"subdirectly irreducible algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q909692$D9D543D5-B843-48A1-BEAA-28BD39B0BFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"500e450443ae18a05a00c5f0176a8adbab0babe9","datavalue":{"value":"finite axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q909692$7C159774-509F-4353-A01C-5F45DFF82E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd4c1ba0b4e20c2007b90ae71ca6d9aa88695823","datavalue":{"value":"equationally definable principal congruence meets","type":"string"},"datatype":"string"},"type":"statement","id":"Q909692$A1FC9882-73C8-4564-B46A-6229B3936351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dd88609d101386f4d9fa2bff9d565207118c87d","datavalue":{"value":"congruence distributive quasivariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q909692$9065247C-3765-4B34-8941-995C055E8444","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8a4269540e775ce717310028f86928e9eeea39c7","datavalue":{"value":{"entity-type":"item","numeric-id":241780,"id":"Q241780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909692$E99665E0-7D59-4D5D-8466-B7CD82FD6606","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":"Q909692$FA5DF30C-9FF9-4E79-A5E5-A1A1CEC9EC40","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f737ecceea7ad9eb1479987525b5c82cad57f94","datavalue":{"value":{"entity-type":"item","numeric-id":4041620,"id":"Q4041620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909692$AC8B2D8B-3C1A-4EB6-9866-8D211E186023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6549bce11883e783f0fb536b18e9585b448489e5","datavalue":{"value":{"entity-type":"item","numeric-id":1237798,"id":"Q1237798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909692$E2984024-9342-4905-8880-2633C2400DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad1094bf9031b0f78b6e8ae47f6bf5c1f5007af6","datavalue":{"value":{"entity-type":"item","numeric-id":4135627,"id":"Q4135627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909692$304911C4-94D8-4CDE-A5E0-F2E4BA272D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b216d93d64792e8e92d7a8960e59afa9e316b10","datavalue":{"value":{"entity-type":"item","numeric-id":3855342,"id":"Q3855342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909692$7BBDC2F1-1B5E-4691-9DFC-31712591E699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf0fde80f2b9f38ae05190378f5b83c9bb88ffcf","datavalue":{"value":{"entity-type":"item","numeric-id":1080413,"id":"Q1080413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909692$3FAFFCD4-7A81-4BFE-87DE-3BEDE100AE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"537071df8fe2505b4ea2ed5c93973776a59e082f","datavalue":{"value":{"entity-type":"item","numeric-id":1066139,"id":"Q1066139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909692$B6874733-E2DB-4917-83E5-B312966E6A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe13431f69ee53c582e1bde52ff6f8a3dc3599f9","datavalue":{"value":{"entity-type":"item","numeric-id":3695251,"id":"Q3695251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909692$EBC1C473-6E99-4598-9913-583045D1169C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49a234a988ee2e93d8ec1021b77867b079c09fbc","datavalue":{"value":{"entity-type":"item","numeric-id":4187823,"id":"Q4187823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909692$811C106D-77A2-4114-8597-E9362A51E92C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f8ea9d67c8952e40e87638ed1cf795685caf841","datavalue":{"value":{"entity-type":"item","numeric-id":1073065,"id":"Q1073065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909692$FBDAF70B-8FAF-4C95-B107-B34581F0FCB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c125e660cf19175363ce3ad29dfe54e518817aa","datavalue":{"value":{"entity-type":"item","numeric-id":3351421,"id":"Q3351421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909692$B4A31188-F035-43D1-B09D-5BAF5FC7031F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27773e1a98c11659c07243651e7874644999160d","datavalue":{"value":{"entity-type":"item","numeric-id":1138009,"id":"Q1138009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909692$FE85762B-0244-4C53-954A-722FB09DEBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9c0a1baa817ef0c1add4d3fd924865a8630ac1c","datavalue":{"value":{"entity-type":"item","numeric-id":3715171,"id":"Q3715171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909692$C7DA5534-1CAF-45A3-B62D-61473D3B09E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abdec9230c336f813089d54dce856d2c1ffb6d28","datavalue":{"value":{"entity-type":"item","numeric-id":4053721,"id":"Q4053721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909692$C45F3BD7-7744-4E55-B828-E1B03628B277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd5fdc5604c99a9049b19ca9b158f4277fcf7ecb","datavalue":{"value":{"entity-type":"item","numeric-id":5554384,"id":"Q5554384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909692$5ABBAD5E-D89C-46DB-A038-E09AC084D45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfe9141abd9b3b701a7dfc2010090ba9fb41b9cf","datavalue":{"value":{"entity-type":"item","numeric-id":3863932,"id":"Q3863932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909692$D15DDF95-EBBE-42A1-8FCF-21C2EC923559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7352ffea4175f3660cfe13292365d0074611b9a1","datavalue":{"value":{"entity-type":"item","numeric-id":1146705,"id":"Q1146705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909692$9ADEFF65-A2C4-44BB-8787-0F76A2588EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cea85545ef86a39bd12b4fb0bc121437b04957f","datavalue":{"value":{"entity-type":"item","numeric-id":1135870,"id":"Q1135870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909692$F3735D48-B52F-4C02-8A08-2CE131DC6D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3096c42f824a404b015aaa6927b89fd3b1e055f","datavalue":{"value":{"entity-type":"item","numeric-id":4744318,"id":"Q4744318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909692$51F80B75-7434-4B71-8FEB-854DCB61F4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5331370123380ce131a4e546490a6f959767d5e","datavalue":{"value":{"entity-type":"item","numeric-id":1058536,"id":"Q1058536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909692$34C232AB-D89A-4814-B700-C894B0F642B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d151175bf5184d22ffda2da46a2bb59b3ab83807","datavalue":{"value":{"entity-type":"item","numeric-id":4196408,"id":"Q4196408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909692$864E6831-26E7-4A84-8996-644B57050738","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09cca2fe89b68aecf49c82d1482eb214ca940016","datavalue":{"value":{"entity-type":"item","numeric-id":1061158,"id":"Q1061158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e1b04fdbc4e0c802db4b36bcd461dc00f81dc62","datavalue":{"value":{"amount":"+0.8795188069343567","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":"Q909692$4F757374-BDC5-4748-8B51-A3E40D34D1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23482e5d7afa501bd6082f5dfaa08b3fd26bcc53","datavalue":{"value":{"entity-type":"item","numeric-id":1312174,"id":"Q1312174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6dde8d535a7f1726f3b9d4eb05c016e842f8793","datavalue":{"value":{"amount":"+0.8357416391372681","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":"Q909692$12E761F5-A017-4A88-B724-524A65667789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d746f885fe5ed629f950859dc165aec4b5f1f85","datavalue":{"value":{"entity-type":"item","numeric-id":3351421,"id":"Q3351421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"787a37872476e13e97a368aa81b4a31e263fdbd6","datavalue":{"value":{"amount":"+0.826930820941925","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":"Q909692$DB5AAB16-98FA-4D93-8643-84CDFAF2456A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5481a9dc1cfcc4a411d781d97813fbd437ce14b4","datavalue":{"value":{"entity-type":"item","numeric-id":2450841,"id":"Q2450841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64212d7931d108b486329ad04be628724e71b018","datavalue":{"value":{"amount":"+0.8118466734886169","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":"Q909692$EC9C2EDE-BF08-44EA-9CAE-08D578F9AF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06bf93b2d826cd75cd607683451d07b99c8ec7d6","datavalue":{"value":{"entity-type":"item","numeric-id":2277502,"id":"Q2277502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e5e978d1c7351b8456dadaf6bc96dfa629340f1","datavalue":{"value":{"amount":"+0.8109586834907532","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":"Q909692$0519749F-F90F-4A77-9CE0-D866EE6966C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Congruence_distributive_quasivarieties_whose_finitely_subdirectly_irreducible_members_form_a_universal_class"}}}}}