{"entities":{"Q1771870":{"pageid":1782612,"ns":120,"title":"Item:Q1771870","lastrevid":69290598,"modified":"2026-04-13T06:01:21Z","type":"item","id":"Q1771870","labels":{"en":{"language":"en","value":"On continuous noncomplete lattices."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2158742"}},"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":"Q1771870$9DFAB4F3-6348-4B5D-ACFB-D2FB7E7C6654","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa04b9f074fd442ed6e7539deed5ac6a2496ffae","datavalue":{"value":{"text":"On continuous noncomplete lattices.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1771870$AC687E17-14C7-4A6D-9902-EF9FAF66DD78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1046ad8f5aa69d4df9f10faa7d66f8be0e2cc8aa","datavalue":{"value":"1060.06014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771870$3EC545A5-8C3D-4E80-B885-E9D6550386A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"542679fdaa51ed4faf0c263b63f6d9220d6eaa1e","datavalue":{"value":"10.1007/PL00000338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771870$65C80900-C77E-4D0D-8769-0064B4DBC48F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28f542c590689b7db9e238ff6636ee04500855c3","datavalue":{"value":{"entity-type":"item","numeric-id":922574,"id":"Q922574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1771870$C92649FA-56B9-4679-9E2F-D819AD3657E7","rank":"normal"},{"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":"Q1771870$32D9B44D-2625-40EC-8E41-2E5717A09B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1af76e17e03fe65cd6b2cfc26f3e9005a3bda9c0","datavalue":{"value":{"entity-type":"item","numeric-id":820487,"id":"Q820487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1771870$19FED061-2430-4372-8AB7-DBE5F7167F50","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":"Q1771870$BE1B3EAF-66C7-46C7-A389-7CF9BBDDEF3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb70300f99f400e55c13fd1158ba931b60602038","datavalue":{"value":{"time":"+2005-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1771870$563049CF-30B7-476D-A5AA-816B8E1D5E04","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3bb2c71813f6f8f67df1fd75fbef074011ccf3f8","datavalue":{"value":"A complete lattice \\(L\\) is said to be continuous if it is both meet and join continuous. Such lattices appear also in the mathematical theory of computation as a model of \\(\\lambda \\)-calculus, where only topological aspects of these lattices are essential.  In Algebra Logic 11, 203--242 (1972); translation from Algebra Logika 11, 367--437 (1972; Zbl 0285.02040), \\textit{Yu. L. Ershov} introduced so-called \\(A\\)-spaces generalizing noncomplete version of continuity.  In the present paper the authors consider some facts known for continuous lattices remaining true also in the noncomplete case. Several examples of noncomplete lattices that are algebraic or continuous are given. It is shown that finitely generated free lattices are algebraic.  The last part of the paper is devoted to a study of the Lawson topology on a finitely presented lattice. It is proved that it coincides with the dual Lawson topology and the interval topology provided that the lattice is algebraic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771870$01DF314F-1BE4-4FFE-AF0A-2C06F0DED70F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f88fa41ef91c2abf95c7a1edf27437cbf5cacbaf","datavalue":{"value":{"entity-type":"item","numeric-id":344072,"id":"Q344072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1771870$9C4E6F5C-4E8C-4C63-B30F-9AF97B3FB722","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771870$0E909C34-5663-4F71-8981-AB01AEA0BBE2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73ec167c21093d6b7db4308a983c79b28e4d799e","datavalue":{"value":"2158742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771870$08E57591-1544-4007-9B1F-C96DA0BE3281","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9db9d488ea6d0894eaa7e9169e2916c4c7e67eef","datavalue":{"value":"continuous lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771870$08F54B6D-A690-444E-AA3E-1A412FF39FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6de6c98b3b42fe044a9524697ef762676cee1fa","datavalue":{"value":"finitely presented lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771870$30692ECC-6B83-4AA3-8BE8-38D281C6A5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"139c362d8aff0d65525f55d23b745f22d126d755","datavalue":{"value":"Lawson topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771870$B433DED7-3A88-428E-BC3B-52713B7B8A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ff48e455ad28f8314e87f48d2d5c1f0c2658828","datavalue":{"value":"interval topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771870$8951ED19-AD6D-44A2-B737-6C33E3B277CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52649c15165a8e72e50b985ec3c7aa7805609aff","datavalue":{"value":"noncomplete lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771870$3B1A18DE-0424-4764-9B04-09E05A0A60C0","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":"Q1771870$A6787A98-0DD2-433F-B3A6-AE770047C13E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1abc0c6b2e85e7e7e871270a6ec8df2547f3ea58","datavalue":{"value":{"entity-type":"item","numeric-id":4316413,"id":"Q4316413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb70e807d36906d48b543513ca0eb1ccc30d172f","datavalue":{"value":{"amount":"+0.7658196687698364","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":"Q1771870$405BADD0-A926-49EA-A167-F293EEDD19FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"482ea1960c4821e340bf4c3e4d7e51f554ad08d4","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1a346a1d189664e1f7f3747852e694abe70d4d6","datavalue":{"value":{"amount":"+0.7641029953956604","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":"Q1771870$9C059DF4-2525-4AAB-A770-EB6AE1DAC82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62d30428b02ab3a796d9deab1face788aa4cc041","datavalue":{"value":{"entity-type":"item","numeric-id":4285716,"id":"Q4285716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"931dccfb1e346f0b8a9180fd79ecb1ec72f98925","datavalue":{"value":{"amount":"+0.762624204158783","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":"Q1771870$CD40A90B-D5A9-4CBE-940C-88FF24E898BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5533ad0c3b5ecc96523e11129e7b748bfe1dd8de","datavalue":{"value":{"entity-type":"item","numeric-id":5278546,"id":"Q5278546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5865ac2ec609a1bd6a3c5a5c39f755c1f4de0d3e","datavalue":{"value":{"amount":"+0.7590532898902893","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":"Q1771870$9D870CCA-C2B2-4468-ADBF-2796B02F1C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf9c85e70b129d51c61fc152091436380d4fdae3","datavalue":{"value":{"entity-type":"item","numeric-id":2791741,"id":"Q2791741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e6a0d2386bd61c4902df30184bfc40e625d21d6","datavalue":{"value":{"amount":"+0.75263911485672","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":"Q1771870$A60A2981-EDBB-41E5-883D-188C037A3898","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On continuous noncomplete lattices.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_continuous_noncomplete_lattices."}}}}}