{"entities":{"Q1770599":{"pageid":1781341,"ns":120,"title":"Item:Q1770599","lastrevid":48453277,"modified":"2026-01-04T20:51:41Z","type":"item","id":"Q1770599","labels":{"en":{"language":"en","value":"On the structure of lattices of subquasivarieties of congruence-Noetherian quasivarieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2153435"}},"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":"Q1770599$22172192-CF55-4A3F-B4BD-75C106BEE4B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20e3779f37b9dc714bbe52e1abb7033087900341","datavalue":{"value":{"text":"On the structure of lattices of subquasivarieties of congruence-Noetherian quasivarieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1770599$224C7E22-836A-407F-B9C9-92FD5BDE0F14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75f6de9746442c86e9b514a067ac33b3d2ace223","datavalue":{"value":"1105.08008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770599$01CA1E07-77AF-4687-A426-F0D0051A1F98","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":"Q1770599$AC131438-B0D4-4928-8FF3-7EC6775DD053","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":"Q1770599$A0DF538D-C4A9-4712-8E16-B0067728B4EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770599$974B73CF-A8C2-4F06-A2FE-16C95A3DE3F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86471ba8a812fc2d049bb06f25b4db84c76027a9","datavalue":{"value":{"time":"+2005-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1770599$17A63B90-6E48-4487-94A8-4856692A4CCA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cd24e1d0572ec84ee0ce9b066e58b4895e0353ca","datavalue":{"value":"Lattices of subquasivarieties of a quasivariety are of the form \\(S_P(L,\\varepsilon)\\) or \\(S_P(L,\\tau)\\) with \\(L\\) a lattice and \\(\\varepsilon\\) (resp. \\(\\tau\\)) a distributive equivalence relation (resp. a distributive quasiorder) on \\(L\\); \\(S_P(L,\\varepsilon)\\) (resp. \\(S_P(L,\\tau)\\)) is then the lattice of all algebraic \\(\\varepsilon\\)-closed (resp. \\(\\tau\\)-closed) subsets of \\(L\\). The main result of this paper states that if (i) \\(S_P(L,\\varepsilon)\\) is atomistic and satisfies an additional condition \\((S_\\wedge)\\) on its atoms, and if (ii) \\(L\\) is complete, satisfies the ACC and \\(\\varepsilon\\) is dually Brouwerian, then \\(S_P(L,\\varepsilon)\\) is isomorphic to the lattice \\(S_P(L')\\) of all algebraic subsets of \\(L'\\), for some algebraic lattice \\(L'\\) satisfying the ACC (in particular, \\(L'\\) is thus algebraic).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770599$96B81A0F-2987-4DB2-A368-F90B660EC472","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770599$8338B75C-9895-4424-8D91-7A88DF0007D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8657ac6c38ed25d0542315e1ea5d0b1ab0616eb","datavalue":{"value":"06B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770599$6F5AF233-4CDB-417F-9C80-64098C25BCA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770599$F60E14DD-C07A-45C6-85E6-23B6ED3CF55B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff0e0b1ebde90a46f4247421e16ceb0485202d3f","datavalue":{"value":"2153435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770599$A3822218-B086-4619-9789-5D98F27E7E52","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6be13cb695968c916d7350730eb53802ba046d","datavalue":{"value":"lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770599$AF9470E3-583B-46A3-83F2-AEA944C36FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26b43d879f6ad89d85edb85af43e0f14cd501c1f","datavalue":{"value":"quasivariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770599$1B1F086D-2110-4037-AD11-8B2D014AE9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5058b1e1a86c7c1adb37dc5cf7ffe28ec77954e9","datavalue":{"value":"quasi-order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770599$22FBC859-AF10-4EAE-9BE6-4DDD27BC6F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"117dde3677b90a5cd2ab34c4ee9307869a29159b","datavalue":{"value":"algebraic subsets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770599$469DA70D-A613-4E15-B636-EB4315494719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fc0b3cb808bb933fa5ff7751e44659fe7aae791","datavalue":{"value":"atomic lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770599$82421DBB-0358-4545-AE6A-739A6BEEA6CB","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":"Q1770599$2E31BE56-DD34-4BCA-8DCD-B3FB80BDEE8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f443ff221a281d7aa0182490a576457c15d99ac7","datavalue":{"value":"https://doi.org/10.1007/s11225-005-5044-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q1770599$5478846A-81F9-43BA-89B4-953DD7A8BF83","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae85a86fad44f4ec116ea5966b68bc45e984b0be","datavalue":{"value":"W2008120985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770599$433CA93A-9D54-4F0E-AD1F-055288769098","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fd3131096b2e3cba8c5628410f16a8323cdd684","datavalue":{"value":{"entity-type":"item","numeric-id":922575,"id":"Q922575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770599$59DB396A-0D66-4441-B337-196ED3864633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f883e64eac34ac9b027330362ee186cf26b7de5f","datavalue":{"value":{"entity-type":"item","numeric-id":4314800,"id":"Q4314800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770599$7EA0192C-8C2F-4BEE-9CAB-F8270648CD69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c59818f037a06cda1c03bff22e0531bea9bb5fe0","datavalue":{"value":{"entity-type":"item","numeric-id":4948583,"id":"Q4948583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770599$DB1F7E18-DA3A-4763-9408-2F5FD37772BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba21172ef8f1257060f933893a880bfeb61ebb16","datavalue":{"value":{"entity-type":"item","numeric-id":1342130,"id":"Q1342130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770599$A0C41BC6-E2CA-4F86-A58F-01D758846A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1b82fa6ae460eb10b9f8c694192d4ce70e6823c","datavalue":{"value":{"entity-type":"item","numeric-id":1158187,"id":"Q1158187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770599$0B263ED6-1880-453A-9B8A-04A66D7AB4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e6817f140f7ed229b9688f514301d0ff6b45796","datavalue":{"value":{"entity-type":"item","numeric-id":3674739,"id":"Q3674739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770599$EA95B823-5642-44B5-8DC9-61B220F82A97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a359a5dc3ea3cfa254741300ce2691287e0a56f","datavalue":{"value":"10.1007/S11225-005-5044-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770599$805A6C9E-2AC7-4D58-9DB2-12F7A3840803","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a259d4bfff62d56addf6b917fe3c126c6458b028","datavalue":{"value":{"entity-type":"item","numeric-id":4713153,"id":"Q4713153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd909282049401c4c888385e8b333016f5cdfb8f","datavalue":{"value":{"amount":"+0.8288909196853638","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":"Q1770599$B01BA06F-A0E7-4661-BB94-347B8390697A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff4cf215ccfcd8f8e8d5de328d1b538af1246177","datavalue":{"value":{"entity-type":"item","numeric-id":4314800,"id":"Q4314800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98e0bc0b81263010c4b4892cb46cdb99bee157c0","datavalue":{"value":{"amount":"+0.8273831009864807","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":"Q1770599$4FD1086A-3421-4378-A10F-B38E9C2F862C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"657c8e7e12efdd628cc878598f7ea679a470d430","datavalue":{"value":{"entity-type":"item","numeric-id":1342130,"id":"Q1342130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cfb49806ceb6882b04f62e8ca563b7240f8a0b5","datavalue":{"value":{"amount":"+0.8124731183052063","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":"Q1770599$B86C3F22-3A61-411D-8AB8-3B5F65A6B0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13cb3675e10ac1ccc8b57129c092dd5eeebdab20","datavalue":{"value":{"entity-type":"item","numeric-id":1771855,"id":"Q1771855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04d90ebde5542a666896c1824acb9172f69eb3fe","datavalue":{"value":{"amount":"+0.8121958374977112","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":"Q1770599$CBF69353-723F-4753-965D-D0C66BA41D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab7314947d730ca0c5886f56dec11c0cfc9cc013","datavalue":{"value":{"entity-type":"item","numeric-id":1744617,"id":"Q1744617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e05df3d4232d2c4adea35acbf332dbdd7baaa72","datavalue":{"value":{"amount":"+0.7994223833084106","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":"Q1770599$7D7E41F4-1658-47FE-905A-39FF384BBCE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1770599","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1770599"}}}}}