{"entities":{"Q997537":{"pageid":999385,"ns":120,"title":"Item:Q997537","lastrevid":50141894,"modified":"2026-01-13T06:30:52Z","type":"item","id":"Q997537","labels":{"en":{"language":"en","value":"Ideals in ordered sets, a unifying approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5177400"}},"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":"Q997537$258558D0-CB46-4552-AFE9-67204A568B7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0125c34ef7013eb7c33ac1f13db54f12a51477b1","datavalue":{"value":{"text":"Ideals in ordered sets, a unifying approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q997537$B6955139-2724-4E28-95F1-E7171A2E9055","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5cda251df83888bde07bf7173adf5a64c201904c","datavalue":{"value":"1150.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997537$14D4AE32-5BCF-40FF-B41E-72D8F7AE63CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4042d5959fbe84405a48a2a517d3f290e798c9f4","datavalue":{"value":"10.1007/BF02874708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997537$C5F1B56B-AE87-4186-A808-4A8DA4ED5C42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"caf11d2ed554a2f7419af546d7ea392fb8619051","datavalue":{"value":{"entity-type":"item","numeric-id":172086,"id":"Q172086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997537$69990415-A186-434C-BB71-98EBF82DDE1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ba85540cb4336ce59517f6ba0ec3ed1362787641","datavalue":{"value":{"time":"+2007-08-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":"Q997537$7945464B-2EFF-45AF-A60B-CB38C8035534","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"053ff6860c7033d9dea60dad7b31fcaa24200866","datavalue":{"value":"In an ordered set \\(A\\), let \\(L(P)\\) and \\(U(P)\\) stand for the set of all lower bounds, respectively the set of all upper bounds of a subset \\(P \\subseteq A\\). Given a set \\(S\\) of subsets of \\(A\\) containing all one-element subsets, an \\(S\\)-ideal of \\(A\\) is defined to be a subset \\(I \\subseteq A\\) such that, for every \\(M \\in S\\), \\(LU(M) \\subseteq I\\) whenever \\(M \\subseteq I\\). \\(A\\) is said to be \\(S\\)-distributive if \\(L(a,U(B)) = LU(\\bigcup\\{L(a,b)\\colon b \\in B\\})\\) for every \\(a \\in A\\) and \\(B \\in S\\). One of the main results of the paper is a prime \\(S\\)-ideal theorem asserting that a poset is \\(S\\)-distributive if and only if it possesses any of two extremal, in a sense, separation properties (by prime \\(S\\)-ideals). Also, a new characterization of the so-called topped intersection structures is obtained. Moreover, it is shown that the \\(S\\)-ideals of \\(A\\) form an algebraic topped intersection structure, hence, an algebraic lattice.","type":"string"},"datatype":"string"},"type":"statement","id":"Q997537$14249E9A-19ED-494D-8C12-2D43BCD9E87E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24e70c767ee0c26b0d348d13cd32cb7416cc7b76","datavalue":{"value":{"entity-type":"item","numeric-id":466879,"id":"Q466879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997537$F33EF3F9-014E-41F3-8097-69EE599BED42","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997537$7229EF15-0234-442D-8B47-A400041F8876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"798cc93af1af672fcddaa0ab93cef1e0a30d7b36","datavalue":{"value":"06A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997537$2791960C-51ED-4673-8C87-F66E33E36901","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b19457475ef2b4bdf10bd4bc8abf4992a2a5de1","datavalue":{"value":"5177400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997537$56142672-6DD6-4B33-BC35-B0B0E2D4E46F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4f08cd84528f9b74e8aa8fbff26733a6fa7d8dd","datavalue":{"value":"Algebraic topped intersection structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q997537$E8919FC8-4346-4487-9B5C-28B7872179C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f4225209f149d9bdcb8e4ae8d6248a7b45f5b72","datavalue":{"value":"Ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q997537$923E88B9-BE35-4EA8-964E-80777560BB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d34df5c2fc5a7f8c0b09cf1ca740de17b74ff3b","datavalue":{"value":"Pseudoideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q997537$9A60493A-E2DA-479B-BF0F-1737644AB08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18d8ea9c1f815177d5eba9c9855f99ee38011455","datavalue":{"value":"Frink ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q997537$0DCA3164-E6E8-458B-A956-EA4A872839C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4af904e4c025ea45a1d99b5c36d9c05897f09a98","datavalue":{"value":"Doyle pseudoideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q997537$F9028FD0-A7FE-431D-A9FC-93EB48B57135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c81d79f0c54292aff80c3997c994652d3a6ea137","datavalue":{"value":"\\(S\\)-ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q997537$42F827B2-29FB-4FA6-89F5-E06B5B8195F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1298864bc5c134a65782481f097f248acb847490","datavalue":{"value":"Prime \\(S\\)-ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q997537$BBC9D7CC-15A5-4FF1-8F0D-B26669A671FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41c7c10c1daafd4e81bb0cdc5183086c56144a63","datavalue":{"value":"\\(S\\)-distributive ordered sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q997537$9A5EC08A-FAD3-4787-973F-044C47BB7B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dc556ee9654b0fc0c083df2f6b52f306caa1b12","datavalue":{"value":"Prime \\(S\\)-ideal theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q997537$8E44916C-876C-4262-B73B-4795443293BB","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":"Q997537$A56E1877-D6C3-4033-B8F8-C9556D3A108B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"95f2d82fa862f6c1f53e3f6edfd897821fd49c7d","datavalue":{"value":{"entity-type":"item","numeric-id":3487444,"id":"Q3487444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997537$529609B1-D942-46ED-8543-36C96DFB183A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997537$330583A5-4F20-4FAB-8A14-1B755897AB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55f63a652455e1835027d5244f543e77acd7fd85","datavalue":{"value":{"entity-type":"item","numeric-id":5826967,"id":"Q5826967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997537$F0F1B495-1ED0-4D01-9AFC-467B0B52593C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebd2c46de6157ed87aab666fbaebd8ddc01c15ee","datavalue":{"value":{"entity-type":"item","numeric-id":4864480,"id":"Q4864480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997537$2A1864CC-5006-4C6F-8538-24CF1FB59A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7888d87159cf70ac684afee79f9b1c0c159faa3d","datavalue":{"value":{"entity-type":"item","numeric-id":1904396,"id":"Q1904396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997537$EB70CBB3-135B-4BFF-99D8-26B4851A1232","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":"Q997537$4AF5B5AF-1E49-4077-B8DC-64D39294228B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5cacb4ab303cc7c9b6cd6474a07b57d8333f8c8","datavalue":{"value":{"entity-type":"item","numeric-id":809105,"id":"Q809105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997537$E64EE4C1-B45C-4DAB-99B4-BC8C018108D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7db817327938cdc8b83382314e7e1d63339cacd9","datavalue":{"value":{"entity-type":"item","numeric-id":559543,"id":"Q559543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997537$583A1440-42FC-492D-800B-E459A9E2F443","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1845877b2b0df2500f4f9bdacd2a5bc7b5a01aa","datavalue":{"value":{"entity-type":"item","numeric-id":5472323,"id":"Q5472323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc0b4b34c57dc25a21b3863246255f12535a4cb6","datavalue":{"value":{"amount":"+0.776032030582428","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":"Q997537$15BD5B32-8B0A-4852-BEBC-922B12DE1B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c9a638486d17553f649a7ef85c9186277dbd482","datavalue":{"value":{"entity-type":"item","numeric-id":4864480,"id":"Q4864480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f23253fc10ea3c11f11d9227e53f11e77e1e7a8","datavalue":{"value":{"amount":"+0.7705882787704468","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":"Q997537$5D2EDF6B-DBA4-4AC5-9A78-02B338ECC97A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2862783a43aa7ee2653f8e2a53a21fb9089cbf0c","datavalue":{"value":{"entity-type":"item","numeric-id":947819,"id":"Q947819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7929fa7e4294a5d5dc4f47735da5b05bb1ea98b6","datavalue":{"value":{"amount":"+0.7696434259414673","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":"Q997537$1A1284E6-9FC0-49D2-9696-A3F62373B582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c189cca442c2f2aa2e72720b9988e09054995ae9","datavalue":{"value":{"entity-type":"item","numeric-id":3840495,"id":"Q3840495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d21a1257a90fdf8dbd8f0f5512c66a4ffcb3eb8e","datavalue":{"value":{"amount":"+0.7584402561187744","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":"Q997537$A87A8765-BF1C-48CC-865C-3516208914EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5379cb09d3fdcb6285cb908c2026d4f0e87092e","datavalue":{"value":{"entity-type":"item","numeric-id":953267,"id":"Q953267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4782f0a43f6addda38289213829d206e2356baa","datavalue":{"value":{"amount":"+0.7432305812835693","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":"Q997537$3D0E196E-2C3D-49B6-8C25-A0A9A56DFFF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:997537","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:997537"}}}}}