{"entities":{"Q920988":{"pageid":922836,"ns":120,"title":"Item:Q920988","lastrevid":65397132,"modified":"2026-04-12T02:18:54Z","type":"item","id":"Q920988","labels":{"en":{"language":"en","value":"Plain semi-Post algebras as a poset-based generalization of Post algebras and their representability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4164839"}},"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":"Q920988$3480EAD2-29EC-4AAF-A298-141F95075F7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aef6036ba9a1cc0db4aeb748db1af09188ee2cf9","datavalue":{"value":{"text":"Plain semi-Post algebras as a poset-based generalization of Post algebras and their representability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q920988$B800A2B1-7A37-442A-8670-11113170ADA1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"49287428c042a629827eb55c28c28082741304c4","datavalue":{"value":"0709.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920988$6EF1F921-C924-4660-88AA-E9EF0E697F5A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9b93f700f5f10b21a85c649c4fbc49b28640e00","datavalue":{"value":"10.1007/BF00370204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920988$C36E44BC-C643-46A7-BFE6-4D9CE2F51A33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"136c0ca43de64c8f06003e06d79f876d5f2cb9a1","datavalue":{"value":{"entity-type":"item","numeric-id":868307,"id":"Q868307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920988$C1E7F20C-245A-4479-8598-BF7999336ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a65d3ee39760dbd7e42dd19ee2c3375fc5b0e8e","datavalue":{"value":{"entity-type":"item","numeric-id":766810,"id":"Q766810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920988$9E51FBEC-4741-4A6B-AEF1-6198267A000C","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":"Q920988$7285E2D3-2C91-4795-9682-31EF3A4898F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q920988$B2E1E09D-37A9-495E-BC0D-7128C1E85A30","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7f419b0507727226618f3d8b85cfdb63afee55ea","datavalue":{"value":"Let \\(T=(T,<)\\) be a partially ordered set, and LT be the set of all ideals of T (including \\(\\emptyset)\\). An algebra \\(A=(A,+,\\circ,\\to,\\neg,(d_ t)_{t\\in T},(e_ s)_{s\\in LT})\\) is said to be a plain semi-Post algebra (psP-algebra) of type T if   (p0) \\((A,+,\\circ,\\to,\\neg)\\) is a Heyting (pseudo Boolean) algebra with unit \\(e_ T\\) and zero \\(e_{\\emptyset}\\), and \\(e_ T=\\neg e_{\\emptyset},\\)    (p1) \\(d_ t(a+b)=d_ ta+d_ tb,\\)    (p2) \\(d_ t(a\\circ b)=d_ ta\\circ d_ tb,\\)    (p3) \\(d_ wd_ ta=d_ td_ wa,\\)    (p4) \\(d_ te_ s=e_ T\\) if \\(t<s\\), \\(d_ te_ s=e_{\\emptyset}\\) otherwise,    (p5) \\(d_ ta+\\neg d_ ta=e_ T,\\)    (p6) \\(a=\\sum_{t\\in T}(d_ ta\\circ e_ t),\\)     for any a,b\\(\\in A\\), t,w\\(\\in T\\) and \\(s\\in LT\\) \\((\\sum\\) denotes the least upper bound in A, and \\(s\\in T\\) is identified with the ideal generated by s).    The authors give the main examples of psP-algebras and prove a generalization of Epstein's lemma for psP-algebras. Subalgebras and homomorphisms preserving the type are studied, and filters which determine congruences such that quotients preserve the type, are described. The main aim of the paper is a representation theory for psP- algebras in terms of special fields of sets.","type":"string"},"datatype":"string"},"type":"statement","id":"Q920988$E5A37BE0-D747-4E5A-A057-7D0D73462350","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"49526bacffdadf141a5ad593e6f59b443a3051aa","datavalue":{"value":"03G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920988$70C9918A-2864-4598-93D3-D6E3FEA0D68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33055bf2c57773bb56b9bc1e7d8347ad65fe4047","datavalue":{"value":"06D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920988$C24D13EC-8B37-4CA0-B426-A16169FBBE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920988$C4756A32-A625-4D5C-8056-9CDD0E2CB8AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46963ad163de8d05c93681f2b667d749af65af41","datavalue":{"value":"4164839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920988$256F114A-BB18-4FA4-94F8-FF27740729A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6194cd661d3789ad182517f90c1c2c3bfaacf30","datavalue":{"value":"ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q920988$3FDC0243-994E-4A32-B7FB-D71F628670FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccb4a690e69b0127e04ed356ed79317f5c8612bb","datavalue":{"value":"plain semi-Post algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q920988$FCE8DD37-4CF3-437A-93B6-5EAA718D1281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3517d1c3230cd969307cdef2e623ee87fadd3b4","datavalue":{"value":"generalization of Epstein's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q920988$0BCAB268-23AB-4DF6-AD2C-D9680E836EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fde32cd68a42e4449475681b170c87e0976d509","datavalue":{"value":"filters","type":"string"},"datatype":"string"},"type":"statement","id":"Q920988$789795BE-8D35-472C-9D0D-38A0F37E0DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19d16b992e95459af77702a97b813de464d2469c","datavalue":{"value":"representation theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q920988$56BB741C-F99A-4E12-8A07-A347BC3C1193","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"67a71dc8d5d63bc79a22e8a3eb2b08857c8e89a3","datavalue":{"value":{"entity-type":"item","numeric-id":1052313,"id":"Q1052313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920988$71577330-1B78-4CC7-A88B-FDA848B740C6","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":"Q920988$F201B677-323E-418D-8D9B-F0997E90E27F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb74ec046c1f0c6700d48ffe4bdccc6351853618","datavalue":{"value":{"entity-type":"item","numeric-id":4767318,"id":"Q4767318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920988$9679B07D-03F2-4723-92F9-C603948359AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99a2b03a88d6ee992f0b046d82465cfb21cc6f26","datavalue":{"value":{"entity-type":"item","numeric-id":1095960,"id":"Q1095960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920988$41333D96-CCAD-4B6F-BDDF-A40144F21A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b3cfe19b4f984c3ed5b7dfb3a40b62dd81cf94a","datavalue":{"value":{"entity-type":"item","numeric-id":1098868,"id":"Q1098868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920988$8B95C8BA-FC95-45E4-9201-26335C865F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"037eca75943d6370cb5b907148842abde09985d0","datavalue":{"value":{"entity-type":"item","numeric-id":5526948,"id":"Q5526948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920988$29EA8E8A-E6F4-45BD-A246-6CCB612D97DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea886df8275eec3d04e4fe3e40941a9e56ae8499","datavalue":{"value":{"entity-type":"item","numeric-id":5573356,"id":"Q5573356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920988$9D931D9D-C8C5-4F8B-AD6E-1B2EE0173F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51101dc78ae1c0c7784b4a45e05d8608d32ba6f0","datavalue":{"value":{"entity-type":"item","numeric-id":5607971,"id":"Q5607971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920988$319BF3AE-B876-4347-AFA5-6BC16AC2A5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f60581b9b7d2f30018a2526cbb677b2dad531e2d","datavalue":{"value":{"entity-type":"item","numeric-id":5675345,"id":"Q5675345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920988$91E43316-318C-4703-AA67-172EFF38A89A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920988$D5673058-3E53-4A0B-A6C3-AC8D021DFBC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"375afa262b412eec7094ef44ece925c7f70fcb8e","datavalue":{"value":{"entity-type":"item","numeric-id":4166739,"id":"Q4166739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920988$B7BDB7DA-7C71-4023-B07F-1109B47C3253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9b361449dbe40245551cc5819720ec208766589","datavalue":{"value":{"entity-type":"item","numeric-id":1820764,"id":"Q1820764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920988$20E38313-DBA9-4160-A361-A3FC43D579D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6657fd6c71ba7f022fe682dabd085f8cf2b8e051","datavalue":{"value":{"entity-type":"item","numeric-id":5800356,"id":"Q5800356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920988$D7597D21-C857-463B-9BA4-483455AF4D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920988$B7285768-CCB6-433B-A4E7-A35353B88A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af488b78758a4c45cd4abe764f75a0c22a3792dd","datavalue":{"value":{"entity-type":"item","numeric-id":5596222,"id":"Q5596222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920988$2DECAAC1-48D7-4BF7-AACF-68B43E6D019C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef431f6fdf6a1076d293d405fb6e236888815c1b","datavalue":{"value":{"entity-type":"item","numeric-id":5561935,"id":"Q5561935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920988$8A532989-887C-47F3-B6B9-47AADA6038BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2a8570988659b7e19b7e01fcd1ad5d9ae1d8409","datavalue":{"value":{"entity-type":"item","numeric-id":5539769,"id":"Q5539769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920988$0964C1F9-497B-447E-A5BC-A43B0EFF9C6D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a21d0fcf167fb75bdce3e363dab05a42548ffdfb","datavalue":{"value":"https://doi.org/10.1007/bf00370204","type":"string"},"datatype":"url"},"type":"statement","id":"Q920988$CA5BA4C7-8756-4CEC-878B-2254469C39F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc4faa5c227f70db4365d61aa5db2eb572cdba85","datavalue":{"value":"W2070853872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920988$EE4DC581-91E8-4CC5-9A6B-C6F0B400F307","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdb4d600c01cf14e57987d84c58541be83244458","datavalue":{"value":{"entity-type":"item","numeric-id":1095960,"id":"Q1095960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"518de318cea3d5ef0b5e83cf44e237085a1ee3d2","datavalue":{"value":{"amount":"+0.7998751401901245","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":"Q920988$A84EF908-840C-454A-B163-3006A5FC1C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98e205f096d460f510f4b7ecd0492e58dfc029c1","datavalue":{"value":{"entity-type":"item","numeric-id":4611702,"id":"Q4611702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4624518b2b4aa4b8aadae99d440402bbc0581733","datavalue":{"value":{"amount":"+0.7838103175163269","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":"Q920988$8C68E2C3-F2DA-4C6C-A7CE-7E553A4CDC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92dae28936ef24eddb9221d0aad07be7ab46f0da","datavalue":{"value":{"entity-type":"item","numeric-id":1098868,"id":"Q1098868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48d1f9e4f9bba9e9a5091bff358f41240ce60860","datavalue":{"value":{"amount":"+0.7647457122802734","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":"Q920988$4363ED50-5FC7-42AC-8EBA-520C26B83942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf9de4b7044d14562464f5537558bf04a00ef9dc","datavalue":{"value":{"entity-type":"item","numeric-id":4533236,"id":"Q4533236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd6f2c99fdbd1e7070c1633ab17706dcae4e5ddc","datavalue":{"value":{"amount":"+0.758603572845459","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":"Q920988$BD875D7F-A41B-44AA-B553-575E3864DCDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"421dd1609bc8c16d93cf863323600911170c16a8","datavalue":{"value":{"entity-type":"item","numeric-id":4212245,"id":"Q4212245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bebef90d482ef2e116abfd6a2ab5490351ff9050","datavalue":{"value":{"amount":"+0.7552169561386108","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":"Q920988$9B866C43-D4D2-4391-875C-8C8AD992F0B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Plain semi-Post algebras as a poset-based generalization of Post algebras and their representability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Plain_semi-Post_algebras_as_a_poset-based_generalization_of_Post_algebras_and_their_representability"}}}}}