{"entities":{"Q802589":{"pageid":804437,"ns":120,"title":"Item:Q802589","lastrevid":64488855,"modified":"2026-04-11T20:13:17Z","type":"item","id":"Q802589","labels":{"en":{"language":"en","value":"Axiomatizability of replete classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3891443"}},"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":"Q802589$AF656417-4F32-46AA-8131-1C580A9787FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79a9a8c20f932717c91b6b78b569aa18750540e6","datavalue":{"value":{"text":"Axiomatizability of replete classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q802589$356FE450-F867-4D27-8256-BBF5BE1ABC76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25c23eeefaccc411ca747f2a809484336569fa51","datavalue":{"value":"0559.08006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802589$F11478D1-673A-426E-A417-67D61F65416A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4a70501591b31a184442729afb468a44a7087d1","datavalue":{"value":"10.1007/BF01137687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802589$992B0D7C-FB53-4283-A4DB-58E92707BDDC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"671d6252e10d234fe158e63fa05ca36668141196","datavalue":{"value":{"entity-type":"item","numeric-id":790863,"id":"Q790863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802589$C2B73C52-20FA-4478-AD48-9BF1B439FEDD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802589$FB33B5FB-8291-4287-B926-312B828F45CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q802589$F1D5F71E-F60A-4954-B6E0-755385796633","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6884574eaad8a689d9d6bacc14d5d97f943ca0a6","datavalue":{"value":"Let \\({\\mathcal R}\\) be a class of algebraic systems. \\({\\mathcal R}\\) is quasicompact iff \\({\\mathcal R}\\) is compact with respect to any set of formulas of the form \\(\\{F_ j:\\) \\(j\\in J\\}\\cup \\{\\neg F_ 0\\}\\), where \\(F_ j\\), \\(F_ 0\\) are atomic formulas. This notion allows the author to fully characterize the condition under which the closure SP(\\({\\mathcal R})\\) of \\({\\mathcal R}\\) with respect to subclasses and direct products is a quasivariety, namely: SP(\\({\\mathcal R})\\) is a quasivariety iff \\({\\mathcal R}\\) is quasicompact. As a corollary of this theorem the following results of \\textit{A. I. Mal'cev} [Algebra Logika 5, No.3, 3-9 (1966; Zbl 0248.08006)] and \\textit{G. Gr\u00e4tzer} and \\textit{H. Lakser} [Can. Math. Bull. 16, 603-605 (1973; Zbl 0299.08007)]: Q(\\({\\mathcal R})=SP_ r({\\mathcal R})\\) and Q(\\({\\mathcal R})=SPP_ u({\\mathcal R})\\), where Q(\\({\\mathcal R})\\) is the minimal quasivariety including \\({\\mathcal R}\\), \\(P_ u({\\mathcal R})\\) and \\(P_ r({\\mathcal R})\\) are the classes of all ultraproducts and all filtered products of systems from \\({\\mathcal R}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q802589$0DEF002E-2090-44D1-B533-EA1A527DB64B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802589$12544395-C640-4995-A5EC-BAA06D52A7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802589$AB8D72B5-A7AA-4D94-9B5A-E0601A866EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd203843bfa7d8abb3c9f96c8aa3200c06f018f5","datavalue":{"value":"08B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802589$438011AA-56E8-4BA5-B7FF-349F21BF575F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c01cacaa8b268e99c08c133ddf7432d207fec0a","datavalue":{"value":"3891443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802589$FB1EEAD5-5D00-40A2-93CA-9AFD3B1E4991","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q802589$5C0C20D3-D52E-45AE-AFC2-DD01B6B94E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c076cbba3879ea62b1e41c3c4255e50a11f22bc5","datavalue":{"value":"algebraic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q802589$8C70517E-9C43-4726-8133-14AE4D8D1661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7899f656e4a9340b3ed392e6788bd7745359a601","datavalue":{"value":"atomic formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q802589$01133F9B-AABB-42C2-B1B7-107E9F625D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2955d3dde9a15e46dba801e05da2cd70a0c42a19","datavalue":{"value":"closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q802589$D1B22EFC-7AE0-46E8-A58B-6E536B6AB7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06a798df2c47963642037fd94d31437ce981f456","datavalue":{"value":"direct products","type":"string"},"datatype":"string"},"type":"statement","id":"Q802589$3378D45C-4E21-4EAE-9819-F755B6F99650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26b43d879f6ad89d85edb85af43e0f14cd501c1f","datavalue":{"value":"quasivariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q802589$4E3BF509-E9DF-4D2A-B158-A42F2AAE0D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c545a6d029705ad9a6670c36e7e8e69f4065e692","datavalue":{"value":"ultraproducts","type":"string"},"datatype":"string"},"type":"statement","id":"Q802589$A1282F21-B6B4-4DD4-A183-28F706CD216B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff970d4ac66527e3604912b9b360c2bfd42071e9","datavalue":{"value":"filtered products","type":"string"},"datatype":"string"},"type":"statement","id":"Q802589$FC3860C5-4E8C-42BD-A928-8094425C3C1B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e08eb8f357cf37bb9650e048ba3d31ac3a05cf8e","datavalue":{"value":{"entity-type":"item","numeric-id":1226868,"id":"Q1226868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802589$FD2E51FC-B08E-432C-B8AF-8ED56EC846BC","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":"Q802589$3162B04F-0BA8-4781-BC4C-715E95E0A655","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7c9022cb6475e13221450d119aa7878ff2f70cf","datavalue":{"value":{"entity-type":"item","numeric-id":5508275,"id":"Q5508275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802589$410024AE-A918-47F2-AF99-54E582FE1B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2778aae438f82e3cc904a1dee7368de8dd97627","datavalue":{"value":{"entity-type":"item","numeric-id":5343322,"id":"Q5343322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802589$8371F2F9-9DEF-463B-BB13-2443CBA6D0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d0e1162a03b58ebbfe3b5b9c87223f106f01d8","datavalue":{"value":{"entity-type":"item","numeric-id":4137165,"id":"Q4137165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802589$21B16B25-F270-4B7F-80FB-4688F6BA19B6","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":"Q802589$7544AD6B-146A-4FCD-8E5B-E60A1CAF12A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69066eb03a31ffc6ca340b55696ebfed91254cbf","datavalue":{"value":{"entity-type":"item","numeric-id":3235351,"id":"Q3235351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802589$133F42C8-D463-46E6-A7A4-15A5927143C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42874f5aa4e3bcda52d1a6aa91868ab785644f5d","datavalue":{"value":{"entity-type":"item","numeric-id":4795508,"id":"Q4795508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6de4a840a88fdf5754a5c1b37b044227284b3714","datavalue":{"value":{"amount":"+0.7306562662124634","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":"Q802589$686C0CF8-8F0D-4A77-B054-5AC0FFCB6597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a4253f644499caf51e3791dc4dbf2096336f2cc","datavalue":{"value":{"entity-type":"item","numeric-id":1905292,"id":"Q1905292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c29a90510f77e07a0e97e792f74470bbdcc516c","datavalue":{"value":{"amount":"+0.7233616709709167","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":"Q802589$C7379288-5B68-4B79-9435-F2263E5D2296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1732df7fa8ee083cec2f2954751b46954a21f409","datavalue":{"value":{"entity-type":"item","numeric-id":795076,"id":"Q795076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21b06d23347c04c031b01091e3e5623d527302cb","datavalue":{"value":{"amount":"+0.7232527732849121","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":"Q802589$6C4279BF-7342-4C32-B245-975A0AC1466B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92cb7ecd60e0583466390af3b4c9fc123020949f","datavalue":{"value":{"entity-type":"item","numeric-id":969255,"id":"Q969255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"657a8005ca24a7718fba9f119ec026850e333c45","datavalue":{"value":{"amount":"+0.7225217819213867","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":"Q802589$34521D6A-BDF8-4308-A1B2-9806E09FABBE","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":"1ffd0d99933970dd02940abb595577b161c88bb3","datavalue":{"value":{"amount":"+0.7194947600364685","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":"Q802589$2347C3A2-B7AA-41A9-8ED0-1432EE502F22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatizability of replete classes","badges":[]}}}}}