{"entities":{"Q1344836":{"pageid":1355575,"ns":120,"title":"Item:Q1344836","lastrevid":68515377,"modified":"2026-04-13T00:13:50Z","type":"item","id":"Q1344836","labels":{"en":{"language":"en","value":"Quasi-varieties of metric algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 724098"}},"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":"Q1344836$006BE760-786F-4ECC-A0CB-988D0FC21EFC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65a114e6fbaa350fce56f11b2cb1687a0aff66ad","datavalue":{"value":{"text":"Quasi-varieties of metric algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1344836$553BD0B4-E2EB-4DC4-B4A4-DE84F59F5CC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fbd85ad77c2e78a43b78df8fc9c46016119bae29","datavalue":{"value":"0821.08004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344836$FAAA336F-2FC6-4870-B8AB-357F8CA89A87","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83d41a097c4dd7b228f32d1cd1aa5ae9665dc6e8","datavalue":{"value":"10.1007/BF01190761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344836$504B276F-2644-4966-9D90-62C6882AA1D0","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":"Q1344836$0EFAC6F3-E8C1-4C45-AC8B-DB6BDF115EAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8682f10035297e22489d3e495aa858e74b275e9","datavalue":{"value":{"time":"+1995-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1344836$E9210DD3-9252-4A52-BF4C-CE4F7BE9418B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"569c489435d234da8a44647faf5f82ece47a39f2","datavalue":{"value":"An \\(M\\)-algebra or a metric algebra is an abstract algebra endowed with a metric which assumes values in \\([0, \\infty]\\). In a natural way the author introduces such notions as \\(M\\)-isomorphism, \\(M\\)-subalgebra, reduced \\(M\\)- product, and he defines operators \\(I\\), \\(S\\), \\(P^ M_ R\\) corresponding to the above operations. An \\(M\\)-quasivariety is a class of \\(M\\)-algebras closed under \\(I\\), \\(S\\), \\(P_ R^ M\\). The key notion of this paper is that of equicontinuous satisfaction (it is an analogue of uniform continuity in the usual sense).    The author proves that a class of metric algebras is an \\(M\\)-quasivariety iff it is definable by finite implications and equicontinuously satisfies every finite implication that it satisfies. It is shown that an \\(M\\)- quasivariety obeys a subdirect representation theorem and admits completion of its members. Also the author finds \\(K\\)-irreducible members without infinite distances in the class \\(K\\) of real metric vector spaces.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344836$C0E1B256-83AE-42B4-825D-BD60DA24C3D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ed618702b057009a2070ae378cd09839bebae6c","datavalue":{"value":"08A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344836$F2C3FF14-7517-4105-B014-309A7F6C7C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344836$EE7AF56E-7A03-421B-BF17-F561ADA696DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a1265ce0a6db4741cd031ec5d974a48274967a0","datavalue":{"value":"724098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344836$0235580C-DCAB-4061-880C-1D52E34AF810","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26b43d879f6ad89d85edb85af43e0f14cd501c1f","datavalue":{"value":"quasivariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344836$27B5B2A3-00E6-417C-AB19-C90BBF8925E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55bcf7c4d2b52f68f6ce79075102139609488571","datavalue":{"value":"irreducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344836$C6E83863-CF1D-4890-9A72-E9AAB1BF0F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1894e54176b462282796141967dd6dde2df8fd6b","datavalue":{"value":"metric algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344836$9DD9F77D-E2AF-4141-B006-7FED0EB41CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd7b563ce80467f65d8bf4ffd870cdbaa83ce204","datavalue":{"value":"equicontinuous satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344836$67096444-7564-475C-8744-5538E1B0E6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce8926a9e7e26b5be40a82d7ba6075fdd604895b","datavalue":{"value":"subdirect representation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344836$F2719058-A483-4845-A7BC-384CC0FACBB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1c766cf6ba05bee35c26b1c79d75ce5b8ae5525","datavalue":{"value":"real metric vector spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344836$D974295B-72BB-4921-8EE2-3D53FBB2E2C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c77d1236fbf488fc7a909b2db7e51adc157f477","datavalue":{"value":{"entity-type":"item","numeric-id":1125949,"id":"Q1125949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344836$C46238B4-6300-4BA1-AE3A-A905AAC41E3D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"708e006c4f72e96d711dfc54a5ca7128a402a212","datavalue":{"value":{"entity-type":"item","numeric-id":1685376,"id":"Q1685376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344836$1D785D20-81D0-4207-A380-407FE43F43F6","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":"Q1344836$0BC1CB95-D583-46D7-814F-FAC199D4DEB7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"710500d4ebc9ffc0bcb33d5d2b41c2295a84bcec","datavalue":{"value":{"entity-type":"item","numeric-id":2366144,"id":"Q2366144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344836$FFAD7116-4343-4131-8457-D3731C6F715A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e7ea097cb7fb9c2ee75fc6a2f91406e241be32ee","datavalue":{"value":"https://doi.org/10.1007/bf01190761","type":"string"},"datatype":"url"},"type":"statement","id":"Q1344836$08DC9B67-60A9-4E56-BB2C-21F4283D5CD6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9644dc9442c103ca338e22f8e8a9c898e68aff07","datavalue":{"value":"W2021932528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344836$FB1E6A76-C811-404A-9244-3FEDA39664D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bfc30298f87e2fe8cf3ce78e87888fe83524ce4","datavalue":{"value":{"entity-type":"item","numeric-id":4830990,"id":"Q4830990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78e109a9e38d383f5ec83b03135866f9278fc37f","datavalue":{"value":{"amount":"+0.8513289093971252","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":"Q1344836$C9C94400-6893-479F-B9E4-DDA163464CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b672b7d984755d7d3b994848040427f91fd25574","datavalue":{"value":{"entity-type":"item","numeric-id":4727859,"id":"Q4727859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0b6ff3dcece7e74793cf6983e703f544d9a9c62","datavalue":{"value":{"amount":"+0.7542909383773804","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":"Q1344836$8720A659-9534-43A2-AC83-D3FB8D84C793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a43a931c1333d24c67042e8fb97ca9f11266f23a","datavalue":{"value":{"entity-type":"item","numeric-id":4896285,"id":"Q4896285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38d4a7cddecfac5a604009b09205cf315b122abe","datavalue":{"value":{"amount":"+0.7498446106910706","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":"Q1344836$07876803-AE76-4E1C-8E6B-6B33F9EEB382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"580923182e2122cc6d29cd69ec4a161d568f9afb","datavalue":{"value":{"entity-type":"item","numeric-id":4926577,"id":"Q4926577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47983fa1acd7c8c519645a1fca80f69005b2c83b","datavalue":{"value":{"amount":"+0.7494531869888306","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":"Q1344836$36C393FC-DD23-402C-80E2-4FB5CBE2390F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90d5f76bae56c80b7e386a8c21139203e44cb3e7","datavalue":{"value":{"entity-type":"item","numeric-id":1768180,"id":"Q1768180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71d9bbdc3347e989276a2551cbb2a51a6d2e125a","datavalue":{"value":{"amount":"+0.7333532571792603","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":"Q1344836$DD2096A1-D65B-4A06-806E-DB50AB3EB405","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quasi-varieties of metric algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quasi-varieties_of_metric_algebras"}}}}}