{"entities":{"Q1803013":{"pageid":1813755,"ns":120,"title":"Item:Q1803013","lastrevid":72990690,"modified":"2026-04-14T09:14:13Z","type":"item","id":"Q1803013","labels":{"en":{"language":"en","value":"Orthogonally complete algebraic system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 220165"}},"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":"Q1803013$CD48D84B-04AA-4BCB-943F-15D1F57A5824","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be19f598617b0f255130a15145211c9789735c31","datavalue":{"value":{"text":"Orthogonally complete algebraic system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1803013$5D24108E-CA6C-442A-9A7C-46D7089DCA6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae0a292427b2bee3652822f6a11ce7183744e565","datavalue":{"value":"0767.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803013$472ACBC3-E880-4552-8940-5EBEFC3D0A37","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4478908a01437879498b4f66b117b1bd444ad5d0","datavalue":{"value":"10.1007/BF01978833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803013$C94BBE7A-88FA-4837-8DF6-7322EA64B4C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b09b231ef88be551bd4c7283902878a420063bb0","datavalue":{"value":{"entity-type":"item","numeric-id":918542,"id":"Q918542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803013$3930CFF8-BEC7-4C04-B972-50F36CAC5957","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":"Q1803013$5E2BC252-042A-4149-A3C3-0DBFE017DD44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1803013$C75BCBC8-1493-424D-8235-58F380DF2356","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0275a1f8245fbbeedaec663d4299e0c313e792bf","datavalue":{"value":"In studying a complete algebraic system over a complete atomless Boolean algebra it will be very useful to recall the concepts and methods of \\textit{E. A. Palyutin} [Algebra Logika 19, 582-614 (1980; Zbl 0491.03011)], such as \\(h\\)-formulas, \\(h\\)-irreducibility, \\(h\\)-decomposability, and so on.   In the present paper we will prove some properties of \\(h\\)-formulas and establish the Horn nature of the elementary theory of a complete algebraic system over a complete atomless Boolean algebra, from which follows a strengthening of the Main Theorem 5.14 of \\textit{K. I. Bejdar} and \\textit{A. V. Mikhalev}'s paper [Usp. Mat. Nauk 40, No. 6(246), 79-115 (1985; Zbl 0603.06003)]. In the second part of this paper we prove a theorem characterizing the saturation of a Boolean localization of an orthogonally complete algebraic system, which implies, in particular, Theorem 6.6 of Bejdar and Mikhaliev [loc. cit.].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803013$62148201-F4DB-4657-B0F2-55BACBBEAD9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803013$949B20D1-23F0-4F92-8620-ED127E92EB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a81ca5b8726a2034b277ccf6907b245cba0e29b4","datavalue":{"value":"08C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803013$36119E65-179E-457B-8197-F982DAFECE5F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d836fea13bb5838978f94977899e5c3356dd07d","datavalue":{"value":"220165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803013$9CD77D4D-7FD0-436F-B72C-F962829C1C07","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4796496247f6748989e90d30410a7f7c85bc9f86","datavalue":{"value":"\\(h\\)-formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803013$A696ED26-C849-417E-9860-DD3CB8AEC202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdbb8469dd82e4e49381ab0f27543b232cdb5c48","datavalue":{"value":"complete algebraic system over a complete atomless Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803013$C34E8215-6DAE-4470-B552-BBD83AA660F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1d3dad8fd923a5891cf7fb7fe9a17b95b39d704","datavalue":{"value":"elementary theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803013$889DD2E7-111D-4E45-A3AA-146D6527F94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52fd177c63562149e9d2ff0f6de41aa9ac90731e","datavalue":{"value":"saturation of a Boolean localization of an orthogonally complete algebraic system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803013$2DEF0F58-12BD-483B-A5D1-BEA4FB458028","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":"Q1803013$D872AFD5-CABA-4A3B-A0D3-EE30A17B0819","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8acf06c5aabd865fd0727fb7db3a3d8aa4d0e4e5","datavalue":{"value":{"entity-type":"item","numeric-id":3739171,"id":"Q3739171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803013$1D7109D7-4FAD-41DF-80D3-F3DC9BBB40AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3938385d4e07d322ad7d29d7bf6cce4c7a15fcf1","datavalue":{"value":{"entity-type":"item","numeric-id":2555850,"id":"Q2555850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803013$39351F12-C4D3-4C6B-87C5-409268B6D085","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72ce9bf9d2491bef0f895fc1e83d614d6d1be221","datavalue":{"value":"https://doi.org/10.1007/bf01978833","type":"string"},"datatype":"url"},"type":"statement","id":"Q1803013$7DEE9EB3-266F-4167-A211-9D17A8A860DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf5a0d5c25bb312626ada895188c9788157020f7","datavalue":{"value":"W2026283791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803013$9CBEDEFC-013C-46BF-B5A7-CDD56142A3AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bc07f6a73cec084ccdea49110fb026c837fe202","datavalue":{"value":{"entity-type":"item","numeric-id":3739171,"id":"Q3739171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"596cf8a43c10304737f74c0c681cec5517f76775","datavalue":{"value":{"amount":"+0.8216674327850342","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":"Q1803013$1FF2DFB4-5CF0-4A9D-9465-3AC9DB05FDFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e33900446e9493139ac09a8473572af0462833c","datavalue":{"value":{"entity-type":"item","numeric-id":3757903,"id":"Q3757903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9221e5345cc90bc1ff16038cf13c37543ddbb19b","datavalue":{"value":{"amount":"+0.7806060910224915","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":"Q1803013$3EF1CF34-F323-4D3B-AFB3-BF3C78619F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf036008338d7458306cfb6688ce831ad108d9bd","datavalue":{"value":{"entity-type":"item","numeric-id":4527760,"id":"Q4527760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bb41dbe79d83aea404a4d835e3a04813f9fd289","datavalue":{"value":{"amount":"+0.715813398361206","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":"Q1803013$A1375905-4FF9-430E-9B5E-3E83D00A8279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba4712d4013fcf335f99fdc11878f94847c31191","datavalue":{"value":{"entity-type":"item","numeric-id":4451634,"id":"Q4451634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dd2de458435bb7ba5c1b36ef34dff9ab8fe23a7","datavalue":{"value":{"amount":"+0.703474223613739","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":"Q1803013$925A06C3-5D68-4124-97E3-4F7206B72B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e562d828a50b9bf66e73245c748eaa908425b88","datavalue":{"value":{"entity-type":"item","numeric-id":4808467,"id":"Q4808467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41721c5a21071ce71647f0c94721d2e021519618","datavalue":{"value":{"amount":"+0.6973615884780884","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":"Q1803013$51135554-020A-4F5F-83A9-2B55E0DF9282","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Orthogonally complete algebraic system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Orthogonally_complete_algebraic_system"}}}}}