{"entities":{"Q2665835":{"pageid":2676578,"ns":120,"title":"Item:Q2665835","lastrevid":57991122,"modified":"2026-04-03T09:04:36Z","type":"item","id":"Q2665835","labels":{"en":{"language":"en","value":"Sectionally pseudocomplemented posets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7430974"}},"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":"Q2665835$0815444C-E479-4399-9191-385184304F39","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"731a1ab19b58c2f61d601b19b8d2bd1020f71d3f","datavalue":{"value":{"text":"Sectionally pseudocomplemented posets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2665835$5ECF3C3E-AFD2-4B6D-B02A-64F508A0EA20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed5e85f75536ac9ea2dcb240e85e5c592b02b296","datavalue":{"value":"1490.06001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2665835$C2B51A1D-6C47-474A-8980-267DAA333013","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6df8e8ef43472738ac01c452fe02fb68cd3d706","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665835$8CD170C3-16D3-4EF9-880D-C847BA230FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7162e547d241b1c8d9309bd3535cff7ea502835","datavalue":{"value":{"entity-type":"item","numeric-id":190393,"id":"Q190393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665835$5F9FED8C-4B25-4EE9-85A7-730A3632AD23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1009b76ff83985243f529dc96d2417a3ae270b3a","datavalue":{"value":{"entity-type":"item","numeric-id":277550,"id":"Q277550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665835$51621F0A-E74D-4EBB-9583-C16D280963FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665835$81BBDE11-16A9-47D6-AF48-5F7623D409CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"367677b6c5d204ad2ea10438908eaecdeb1495e8","datavalue":{"value":{"time":"+2021-11-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":"Q2665835$B5F0FE49-0079-4DAA-A62B-4253448B237A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c0979f3cd8788ec8a25395ca3d4b9f0131ac774","datavalue":{"value":"https://arxiv.org/abs/1905.09343","type":"string"},"datatype":"url"},"type":"statement","id":"Q2665835$F9D74083-4169-4DA9-96F5-752B60B19DF7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a79ed79bcea5c8c4edeef13b75074b728408fc7b","datavalue":{"value":"\\par A lattice \\(L=(L,\\vee,\\wedge)\\) is said to be \\textit{sectionally pseudocomplemented} provided that for every \\(a,b\\in L\\), there exists the pseudocomplement of \\(a\\vee b\\) with respect to \\(b\\) in the interval \\([b)=\\{x\\in L\\,|\\,b\\leqslant x\\}\\), i.e., there exists the greatest element \\(c\\in L\\) satisfying \\((a\\vee b)\\wedge c=b\\). This element \\(c\\) is called the \\textit{sectional pseudocomplement of \\(a\\) with respect to \\(b\\)} and is denoted \\(a\\ast b\\) [the first author, Acta Sci. Math. 69, No. 3--4, 491--496 (2003; Zbl 1048.06005)]. The present paper introduces the concept of sectionally pseudocomplemented partially ordered set (poset) as follows.  \\par Given a poset \\(P=(P,\\leqslant)\\) and a subset \\(A\\subseteq P\\), one defines \\(L(A)=\\{x\\in P\\mid x\\leqslant a\\) for every \\(a\\in A\\}\\) and \\(U(A)=\\{x\\in P\\mid a\\leqslant x\\) for every \\(a\\in A\\}\\). Then \\(P\\) is called \\textit{sectionally pseudocomplemented} provided that for every \\(a,b\\in P\\), there exists the greatest element \\(c\\in P\\) such that \\(L(U(\\{a,b\\})\\bigcup\\{c\\}) = L(\\{b\\})\\). This element \\(c\\) is called the \\textit{sectional pseudocomplement \\(a\\ast b\\) of \\(a\\) with respect to \\(b\\)}.  \\par The authors study properties of sectionally pseudocomplemented posets, e.g., compare them with relatively pseudocomplemented posets of [the first author et al., Math. Slovaca 70, No. 2, 239--250 (2020; Zbl 1505.06005)], consider their congruences, and construct the respective Dedekind-MacNeille completion, stating some sufficient conditions under which the Dedekind-MacNeille completion of a sectionally pseudocomplemented poset is sectionally pseudocomplemented. The paper also shows that the class of sectionally pseudocomplemented lattices forms a variety, which (besides the lattice axioms) is determined by two simple identities.  \\par The paper is well written, provides most of its required preliminaries (the omitted concepts can be found in one of the references at the end of the paper), and will be of interest to the researchers studying ordered algebraic structures.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2665835$4B1389C6-6431-48C8-8B3D-98A56C7A33D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2665835$D877A6C3-C2BA-45A4-9CF2-9858CF39F111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2665835$2CEFC668-64E1-4EFC-A499-D07B9A1E1DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2665835$4C92B01A-0603-4463-8E77-FFF8F2E76F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c12bad36bd189cf0d3e5ea0440fc6afbb1be4a8c","datavalue":{"value":"06D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2665835$974DF665-74C9-49B8-9118-606F038F6CF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f81b32592430f4da992d966fa2f546c841da4620","datavalue":{"value":"7430974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2665835$8F4B5EE4-C589-45C2-AF5C-BF9E53707D07","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de6033522428e237fe5a3043a4ac2ead30ad72ed","datavalue":{"value":"CKL-sectionally pseudocomplemented poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q2665835$401BB108-3BF9-42C4-A15F-564C5073CC53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a531f35863c5ba1bed8044508667493bc85598d","datavalue":{"value":"completely \\(L\\)-semidistributive poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q2665835$E39ED8B3-4662-4A8A-985A-7B66379C2727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e63abca5398855b7c34e622493354d1970432c86","datavalue":{"value":"completely meet-semidistributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2665835$E9F5546D-A1DD-4ED5-94A8-DC40AF4F5A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d8a58609f808cda4312296ca4146a29c12a4987","datavalue":{"value":"convex congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2665835$77391381-FF96-4D82-ADC7-068A96F50853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a655ac370e9b7bbcf6d0c327c769b2014c91b67","datavalue":{"value":"join-semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2665835$04C26FB2-764C-4385-90A5-CF8D8F8EE085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5660bfa6b5631af4004c9a6bccd2868c4741e6f","datavalue":{"value":"Dedekind-MacNeille completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2665835$6F7D7B5E-5C59-4017-951E-15044D618B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5579ddf023a56f4856a8ee584af99380d23fb1f8","datavalue":{"value":"distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2665835$421D59F5-BA18-4732-B1B8-946FF1DC56CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d095f007389deb682500f72cf268e8354b494154","datavalue":{"value":"relative pseudocomplemented lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2665835$C7C159AA-D834-424F-99F5-8FA834A1B898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dfa9116b7e15ab97e47619d281e95827801c4c0","datavalue":{"value":"sectionally pseudocomplemented lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2665835$D4A0FBB8-779A-4933-AEC2-19C4E8A490BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77c247ffd92b608369a2dc881bc23b6c0c19440d","datavalue":{"value":"sectionally pseudocomplemented poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q2665835$38E7C99E-53AD-4696-88A5-44E2282F16BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46619e0d617ea9e503c7894d6da0bdeec0fe0664","datavalue":{"value":"variety of lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2665835$81455C76-1CE1-4A82-9031-B5479C929DFF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7d067c039d76d8162114efbe354faa93c02c9fe2","datavalue":{"value":{"entity-type":"item","numeric-id":277551,"id":"Q277551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665835$992AC0D0-D261-47B5-A1EF-6DEF7A5DC029","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":"Q2665835$1825D7CD-A3CC-452E-B560-16F65FBF15FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5933e9480ff4f007c9231a9c9b6c0733a47a8d70","datavalue":{"value":"W3135816522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2665835$023B6D9A-8CBD-4E91-9FE9-7C7AB9759252","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3843cde7cf1706daf14b819a14142d8746666a57","datavalue":{"value":{"entity-type":"item","numeric-id":4401990,"id":"Q4401990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665835$16D08F20-EB90-4558-A882-DCE65D9E8383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ca3ed7344a017d43cca533d2be14d582677f00","datavalue":{"value":{"entity-type":"item","numeric-id":4740609,"id":"Q4740609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665835$C789AAF7-453A-4AC9-A0B3-D9D607CD4021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b5822e7fc41e9b8eea42c05885bdaf169586234","datavalue":{"value":{"entity-type":"item","numeric-id":4815677,"id":"Q4815677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665835$862F3B28-6FF0-44E4-9DA2-9D47860919B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0b14262c53b2737038c1a1100eac36a1d6ebbb6","datavalue":{"value":{"entity-type":"item","numeric-id":4807556,"id":"Q4807556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665835$ED212C4F-316D-465F-89EF-8D2106FDCA09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7220d592ca961d2277fd27354987f0d7aa7a5730","datavalue":{"value":{"entity-type":"item","numeric-id":5142355,"id":"Q5142355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665835$98229887-3913-4CF0-BBBD-14D947CE0064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edaa7b579b0d2809bbfd01e194ff66d8785ecbe5","datavalue":{"value":{"entity-type":"item","numeric-id":4816466,"id":"Q4816466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665835$7EC0F549-C06D-4729-ADBF-820714400728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7bc9c1a9d1629f3bd4287208656db9909ae4265","datavalue":{"value":{"entity-type":"item","numeric-id":4323250,"id":"Q4323250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665835$2AD411A5-66DA-49A9-A614-A338DA44F55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b3b8d82bc878a09ecc2c39572bb475f9fe89984","datavalue":{"value":{"entity-type":"item","numeric-id":767570,"id":"Q767570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665835$893192D2-A6A9-4E36-B7E7-790C3A1F2673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07b7ceb1a9699af7d1e1e774779b9dfaa383984d","datavalue":{"value":{"entity-type":"item","numeric-id":5622231,"id":"Q5622231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665835$96C5C576-4377-4815-B1BD-DF08789814F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ee5fcfcb07e99c75abe3d98e7fda2a635ad8dba","datavalue":{"value":"10.1007/S11083-021-09555-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2665835$9F1F965F-A7DE-4804-957C-C8D156E71FAB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd6f19e81212d4eb710f2a3fdb8e6b85e7d5eefa","datavalue":{"value":{"entity-type":"item","numeric-id":3653721,"id":"Q3653721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"063997ef11392387d5f212941677ae8ef9243184","datavalue":{"value":{"amount":"+0.8289139866828918","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":"Q2665835$459538AF-0C86-4DFB-B8E5-A13BE2372C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"100feeed6bf696787b83dd42aebbea7bc634239c","datavalue":{"value":{"entity-type":"item","numeric-id":4637388,"id":"Q4637388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8767bd09ed830e7aa9a5378098da4d34de0196fd","datavalue":{"value":{"amount":"+0.8157851099967957","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":"Q2665835$06DBB067-89AE-402F-836B-F486A8687E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68686a7870df27d2e83ab9c4260090695cd6a09c","datavalue":{"value":{"entity-type":"item","numeric-id":4438341,"id":"Q4438341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5bb1d1b5fad226ad99054c9938ddd16b06c8199","datavalue":{"value":{"amount":"+0.8105931878089905","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":"Q2665835$64BABCE8-4754-4862-86F4-971EC37B4EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24371722a2765791864ae4432e2000fc117afd5a","datavalue":{"value":{"entity-type":"item","numeric-id":3617983,"id":"Q3617983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f044d54c708695e6f78ba4a3ad84600ea1f7fdf","datavalue":{"value":{"amount":"+0.8048046827316284","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":"Q2665835$A177AC37-9FD8-4E48-A6D2-8040AC72A271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1310cf12cac0782949e68f006c5ad871214e088","datavalue":{"value":{"entity-type":"item","numeric-id":2100221,"id":"Q2100221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37a73e8371054ac0be4fcae953cc12578364fd61","datavalue":{"value":{"amount":"+0.8029651641845703","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":"Q2665835$E6AC8C27-C65F-4911-A588-E67E599DD112","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665835$CEA19A87-6209-43D3-8949-16EC0F4B3A61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2665835","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2665835"}}}}}