{"entities":{"Q793765":{"pageid":795613,"ns":120,"title":"Item:Q793765","lastrevid":48708103,"modified":"2026-01-05T16:31:46Z","type":"item","id":"Q793765","labels":{"en":{"language":"en","value":"Distributive Cauchy lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3857179"}},"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":"Q793765$F72AAC12-24DE-4A67-BDCC-22C9A5170855","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"838b5c2416d17fc9e42e9eba1be15299b9ed9f91","datavalue":{"value":{"text":"Distributive Cauchy lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q793765$51B38596-3800-4845-801E-6F45BA22A271","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16fb6723bd4181d734a9b6d632e5e440338eac6c","datavalue":{"value":"0539.06008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793765$AD0CC241-03F0-4FD8-A1B2-523F6BCA52CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a43aac02afb5d18f5a9ea4fb2206deeb2b6ce243","datavalue":{"value":"10.1007/BF01198525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793765$C7788824-1B41-4E99-BA13-8745720A9D66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8978c34b34784de614de4ef62e5765f7a01a8e21","datavalue":{"value":{"entity-type":"item","numeric-id":283253,"id":"Q283253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793765$2E7673DE-D256-4A6C-B232-83F79F447F30","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":"Q793765$5AD86FB2-DA2C-46A8-A5AE-34F2C6502AF7","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":"Q793765$058C3782-F760-4E75-8C97-91E162EC046E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3f89a3d05fcbad2ab693610d95d2feb268eab472","datavalue":{"value":"The author has pioneered the study of completions of lattice ordered groups by means of Cauchy structures. This paper extends this study to arbitrary distributive lattices by means of Cauchy structures obtained from two intrinsic (and generally non-topological) lattice convergences called \\(\\alpha\\) and \\(\\beta\\). The \\(\\beta\\)-convergence, which for infinitely distributive lattices coincides with Birkhoff's order convergence, leads to a Cauchy completion closely related to (but not always equal to) the MacNeille lattice completion. In the case of \\(\\alpha\\)-convergence, repeated iteration of the Cauchy completion process may be required, but the end result is an ''essential'' extension which is an infinitely distributive, complete lattice.","type":"string"},"datatype":"string"},"type":"statement","id":"Q793765$33B9F22C-D953-467A-A076-9A2AFAC934AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e05f4c807af05854d500c4e5815975863e4843a7","datavalue":{"value":"06B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793765$096A3C18-71A2-4339-AB17-3E954CAF87CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793765$C4225364-8375-42D7-9C28-FA8D745F3FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e88091f3299bc49922edc3e77e6554e5bceb24cd","datavalue":{"value":"54A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793765$47C4AC83-4012-4E19-B547-47606710895E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"08ff37085da1bb248e1e5dc7e77aec603b6cf16a","datavalue":{"value":"06D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793765$98901D3C-310C-4BEA-951E-0771A7EAA68A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4388e9a976e18bebff2edd807ee73ae25eae8b00","datavalue":{"value":"54E52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793765$15322963-25F9-4509-8282-6E77230FDB27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc68722740ba0200822a147dd5726b963e836f46","datavalue":{"value":"3857179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793765$505128E5-244A-48DE-A69A-F19273447201","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79a0469e5d9a2de1a01598586e4d14ee0d8ea929","datavalue":{"value":"completions","type":"string"},"datatype":"string"},"type":"statement","id":"Q793765$5642A176-0FA6-488A-A2B2-5201B123B0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e75942becc7ddd0774f8bf642cb4e00d2e586d4c","datavalue":{"value":"Cauchy structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q793765$6E301985-CF45-404B-BC6E-6A48D94850AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8683380a0de068912484210ebac0222ef48533d2","datavalue":{"value":"distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q793765$7C8AA903-460E-439A-B175-42F809D55213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"352a89b1b844555d323ed7b5ffe39e71a09778be","datavalue":{"value":"lattice convergences","type":"string"},"datatype":"string"},"type":"statement","id":"Q793765$FDAA67E4-6ACE-48D4-A2DB-E094712939E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ec54f87a57bf9f1d3f06b2e8a2159ce296369ef","datavalue":{"value":"order convergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q793765$1FA72D7F-B132-4C30-B6A9-84E8CBCC6E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7fb6220be92bef67f1bddc5f50ec8c222615ff5","datavalue":{"value":"MacNeille lattice completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q793765$B422C13C-E457-4B69-B2A5-F3C319294E50","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"80ac2b040894f9b151c494dfc5848eb6e18b329e","datavalue":{"value":{"entity-type":"item","numeric-id":688994,"id":"Q688994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793765$12FB90EB-A70D-4ACD-8232-CBAE052CCB33","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":"Q793765$79AA239A-D3B2-430C-BC70-AE2E94A281A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1ecac1de81ad8672815bb6ff44681dd547d799d","datavalue":{"value":{"entity-type":"item","numeric-id":2527481,"id":"Q2527481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793765$46312A7C-E012-47A1-9FC6-6BAE08CC3EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22cd9fcc3934fb31564dc27c3848b6efcd61638e","datavalue":{"value":{"entity-type":"item","numeric-id":3924177,"id":"Q3924177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793765$56488C2C-C365-403B-98D7-C5745A5A8401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95474113e128422fc43ad9db8b8e7d0eadceb7a8","datavalue":{"value":{"entity-type":"item","numeric-id":3882509,"id":"Q3882509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793765$09DA80F2-C065-45BB-B0DB-7D07DF0AE12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"001873349610eb6a8b0b62fbdc581503a0f5475c","datavalue":{"value":{"entity-type":"item","numeric-id":3722552,"id":"Q3722552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793765$3E616DD3-C4D9-4BB2-B693-38671E7F6F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd2d9b1141b25bcecfbb14477116a1c7cd30e0c","datavalue":{"value":{"entity-type":"item","numeric-id":2527476,"id":"Q2527476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793765$759F2A56-B62A-40D1-8A19-1ECD8E7FFA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f798611c1981357e7abb4c60ee268dedcb44c7","datavalue":{"value":{"entity-type":"item","numeric-id":5580266,"id":"Q5580266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793765$7E3A5AAD-2580-4FEE-9931-3231078A25C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127aaa154cc1eb5d088fcbb26012ccc0b2640878","datavalue":{"value":{"entity-type":"item","numeric-id":2529912,"id":"Q2529912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793765$C3C2D33A-F503-4099-924D-8ACB43D9D45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007c64cb1e51e420a82b1528582743678952b922","datavalue":{"value":{"entity-type":"item","numeric-id":2648578,"id":"Q2648578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793765$F1DC1DC1-9877-4C62-90CE-C347FEC8BE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb7aca7683ac9aa5b5f4bbc89f8419fb1af0f64","datavalue":{"value":{"entity-type":"item","numeric-id":2650133,"id":"Q2650133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793765$05DF05C4-5296-499C-8E45-D018E14A2FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d7fa9a34d9dd577c0549d342a14a7d27d1d303e","datavalue":{"value":{"entity-type":"item","numeric-id":1137281,"id":"Q1137281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793765$8B80D3C6-BBD2-48BD-953D-E92937AF27CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a000eab8f6f270b5acd793a306e21200e567a07","datavalue":{"value":{"entity-type":"item","numeric-id":3293397,"id":"Q3293397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793765$9035C6EF-2013-4140-BE93-BE09A592A73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2ebb0c8aeeeaacbc3d3e506e2bb390fba5f3b7d","datavalue":{"value":{"entity-type":"item","numeric-id":2395169,"id":"Q2395169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793765$E917A556-876B-4922-B315-7370A01F641A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6075c19635e6f139610e4569b2fea5ed155317fc","datavalue":{"value":{"entity-type":"item","numeric-id":1211280,"id":"Q1211280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793765$C720F9A2-DCFA-4EDB-9940-EB58C89ABF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ce973fb94bb1c7e17bec7452c2f943e4f111d46","datavalue":{"value":{"entity-type":"item","numeric-id":5768906,"id":"Q5768906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793765$F88E9D98-1F59-4489-9972-764F8B74E924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20d68f076f808db9b41817b934f568bd0c4e4604","datavalue":{"value":{"entity-type":"item","numeric-id":2524089,"id":"Q2524089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793765$C73A3C97-5EF6-4CB7-90FE-2682B780A99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e24a2805ecfdce86a2644b48defc19736fe3eaa8","datavalue":{"value":{"entity-type":"item","numeric-id":3241258,"id":"Q3241258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793765$9DD979ED-133B-4EF4-89A9-975946710FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dd09e263a4ff96094a828bada47dcb345a81f8d","datavalue":{"value":{"entity-type":"item","numeric-id":5824707,"id":"Q5824707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793765$C98321C9-B847-4859-8FAE-3D7FCF64B347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f875aea721348f814d14405bbb5e41c8accb293e","datavalue":{"value":{"entity-type":"item","numeric-id":5795153,"id":"Q5795153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793765$6FACF171-7EB8-4942-8DE4-752410D602D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cddbb141cde1136ebb87176755fb264c4aaade4a","datavalue":{"value":"https://doi.org/10.1007/bf01198525","type":"string"},"datatype":"url"},"type":"statement","id":"Q793765$144232AD-5C57-4E21-A6B8-9EC69E9ACEBB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"37af1308c81b53aef06580710dd7301407559d7d","datavalue":{"value":"W2087065045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793765$61FA430F-CA4A-4509-B520-A76F0FC43460","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f6e9dd7eb704af93e95c7142824bf02e92082f","datavalue":{"value":{"entity-type":"item","numeric-id":4321803,"id":"Q4321803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f5b5084392a221b21a7125f63bbd8abfb356fa5","datavalue":{"value":{"amount":"+0.7864347100257874","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":"Q793765$D292DF18-32D0-4EE9-AC2A-F45632496F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ff958a4f125dda6a67f2d6e5eebab4c506f313f","datavalue":{"value":{"entity-type":"item","numeric-id":3481751,"id":"Q3481751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa347c683b864ba7dc256462d00debfece8ccd98","datavalue":{"value":{"amount":"+0.7860147953033447","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":"Q793765$70524E8D-8411-4AD2-834A-575DA6A13B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d0a486297bb4275b8e1a3da3c871badae9ad616","datavalue":{"value":{"entity-type":"item","numeric-id":3722552,"id":"Q3722552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a0b6d02470ab2fb33005642cf3a13c5edab4797","datavalue":{"value":{"amount":"+0.7794048190116882","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":"Q793765$25E61E6E-FB6C-496F-954F-8398DB281B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"046c8a34b45f16deb4c2946a079f1cf5576303ec","datavalue":{"value":{"entity-type":"item","numeric-id":3203064,"id":"Q3203064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b79edd0b71bfb67a11b8c44b49ec56b743eb7401","datavalue":{"value":{"amount":"+0.7787719368934631","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":"Q793765$A8C4A9C5-C0B6-48D5-8EE1-0745269CE222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0386b782769895335cbe67e4f51a0445c0ccf126","datavalue":{"value":{"entity-type":"item","numeric-id":2862692,"id":"Q2862692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e72c2ee33f549841a13b3ebeba380c4c786117d","datavalue":{"value":{"amount":"+0.7729435563087463","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":"Q793765$78D1A7DC-EC88-4347-9B4C-D30E9B7B999D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:793765","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:793765"}}}}}