{"entities":{"Q1756599":{"pageid":1767341,"ns":120,"title":"Item:Q1756599","lastrevid":72901815,"modified":"2026-04-14T08:38:30Z","type":"item","id":"Q1756599","labels":{"en":{"language":"en","value":"Duality theory and skeleta for semisimple MV-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6996654"}},"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":"Q1756599$78CE5A77-89A3-4871-BFEE-F94B56C8EC88","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97d3ec368e4b19309d9949acd8b78ea0c6c991f0","datavalue":{"value":{"text":"Duality theory and skeleta for semisimple MV-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1756599$454A9A35-56B6-434F-943F-9DD3B7D97390","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9fc055148f6d285fb1fb8e606e328ba2863dd4e1","datavalue":{"value":"1431.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756599$53534AFE-B62B-41CA-AAA1-F92F15C260F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98a161c6563f600d55e948240633b52c1bed8c02","datavalue":{"value":{"entity-type":"item","numeric-id":234287,"id":"Q234287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756599$F81B0877-97CD-4304-8F6F-BC5060BC15A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a24a57d77aefd8460dbb03e9524615c44c518008","datavalue":{"value":{"entity-type":"item","numeric-id":392378,"id":"Q392378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756599$CC7078E9-70BE-4DFB-91EB-EC33AFA02A2D","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":"Q1756599$4511E659-1444-476D-B22F-C5A04B5CE781","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b3e8ce19e9f5978e8f566795e3d4c40e60d6b31","datavalue":{"value":{"time":"+2018-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1756599$D255C9D7-C2D1-4BAD-A812-AFA7AE726177","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6ac5b279436c9c0a4301f8540e046b1ac1a389de","datavalue":{"value":"This is a continuation of the paper by the same authors [``The skeletons of \\(l\\)-\\(u\\) groups and of MV-algebras''  (submitted)]. In their paper [Stud. Log. 100, No. 1--2, 253--278 (2012; Zbl 1252.06006)],\\textit{V. Marra} and \\textit{L. Spada} constructed a duality between semisimple MV-algebras and closed subsets of the Tychonov cube \\([0,1]^\\mu\\) with \\(\\mu\\) ranging over all cardinals. The authors of the paper under review study the effect of this duality on antiskeletal MV-algebras (for this definition see in the paper under review). Examples of antiskeletal MV-algebras are provided by free and by finitely generated projective MV-algebras. Every antiskeletal MV-algebra is indecomposable. The antiskeletal property is presented under subalgebras. It is proved that the class of antiskeletal MV-algebras is not definable in existential second-order logic, but is definable by a formula of monadic second-order logic. Algorithmic issues are considered in the final part of the paper. For background in MV-algebras see [\\textit{R. Cignoli} et al., J. Pure Appl. Algebra 189, No. 1--3, 37--59 (2004; Zbl 1055.06004)] and [the reviewer, Advanced \u0141ukasiewicz calculus and MV-algebras. Berlin: Springer (2011; Zbl 1235.03002)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756599$8A50346E-73AB-47C5-8502-FA1D781D2D08","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e860208dea0a8f07f1622b3764a2f40159457c4c","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756599$26F1AF44-4EB1-4852-899E-6B11C84CF515","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756599$BC2AD7CF-52AC-4F65-85C1-257D662EEBD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756599$59FEE2BE-E8B8-4CC2-BEA8-C4E5602B5436","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5994ed2730396d34e7d5b49be3923862dcaf1274","datavalue":{"value":"6996654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756599$294986EB-255F-4AC8-BA9C-6F6C4A04E17E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77e22550cc18e7160ad098e549c7dc18559bb98a","datavalue":{"value":"MV-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756599$05AE5548-BB3C-4892-848D-D8AD9CD041D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a00510b4a5c2a93b8baba22fe555c79b3a72e2d","datavalue":{"value":"Marra-Spada duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756599$34BD307B-50BA-4751-B8D4-721F1BE359DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d86f9d8e0564a8a2fb85f0c250d7e177cd569","datavalue":{"value":"omega-skeleton","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756599$5C55A01A-C412-489E-BFA0-828391F02627","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":"Q1756599$FF9296FF-721E-4DB6-A3F1-A976A4A53D1E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6689bcf2790b64dbdbee02b13a31933c7b1bf6fe","datavalue":{"value":"https://doi.org/10.1007/s11225-018-9787-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1756599$F8F70A24-B374-420E-B66C-1A6B020D7B7C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82d358f863bdf915c4596f1872e67e44d1d8f84a","datavalue":{"value":"W2794430389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756599$9719C926-62B3-4B1E-AB93-0A299E2FFE71","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa80e47f8c0afcf3ba05ea2d9b3adfbbc7bab31","datavalue":{"value":{"entity-type":"item","numeric-id":1817694,"id":"Q1817694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756599$7A351554-2104-4161-940A-FC20584E58F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67a390ce09ae657141a08eabf36ab59d542c3f63","datavalue":{"value":{"entity-type":"item","numeric-id":1434764,"id":"Q1434764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756599$A6088499-DE43-495B-8FD6-96AF6FBCBC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c5fa1b7c31f652300343720c873e77f95ee96d4","datavalue":{"value":{"entity-type":"item","numeric-id":454391,"id":"Q454391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756599$03ADABC5-C5A0-40D1-B9A8-B171C517051D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c03fdcecc646fef5eace9befbd175955300fb162","datavalue":{"value":{"entity-type":"item","numeric-id":626097,"id":"Q626097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756599$B1A6A961-301D-41AE-8289-1A54E3B8978E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c9d5b339f4f98f2f60529f04b659cf5cae4b6e56","datavalue":{"value":"Q130132212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756599$408F3237-ECCF-4606-B9F2-0D466D0C8852","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4483155f728cc36d1c814b958e06d78a58c4a5d7","datavalue":{"value":"10.1007/S11225-018-9787-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756599$F58378A4-66EF-47C8-AFC5-523F3AB95860","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c400550c5bd56691ad5717818ebae03eb4e05bf","datavalue":{"value":{"entity-type":"item","numeric-id":512132,"id":"Q512132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1d1289e4fbb2f258ca9e112a01870b6657a76df","datavalue":{"value":{"amount":"+0.7902441620826721","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":"Q1756599$BF8F97FA-B5C7-4A66-BF39-8EDF0B378808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5611e5adf23df3c55d7bc9f29aa26ad2f2a17810","datavalue":{"value":{"entity-type":"item","numeric-id":4510929,"id":"Q4510929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"976d14b2d519f638897103a5eeeb2e7259e57d47","datavalue":{"value":{"amount":"+0.782853901386261","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":"Q1756599$932A8246-6214-4ABB-99A5-EEFEA396FBE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd893eb0ba8e511f0cbd85655d7a64475b8cdac5","datavalue":{"value":{"entity-type":"item","numeric-id":1697339,"id":"Q1697339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec46da663cc89e159e8aa001518f76a2e8fa5e14","datavalue":{"value":{"amount":"+0.7828403115272522","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":"Q1756599$D47DD74E-94D3-413D-B9FD-EC77AC63D24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"291d040081c0e056ea8b3b5de9c6481b03f18f84","datavalue":{"value":{"entity-type":"item","numeric-id":454391,"id":"Q454391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e258e7cb67089a6a2c53863e07a13ba9c0e8305","datavalue":{"value":{"amount":"+0.7704391479492188","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":"Q1756599$08D8721A-025D-4BFB-A3DD-4A551D36779D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f66e5df3fa20cf450b10b1d2b2497bbf4cfd80b8","datavalue":{"value":{"entity-type":"item","numeric-id":3367762,"id":"Q3367762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e14786b3a647e566983e5482022f35312ad13337","datavalue":{"value":{"amount":"+0.7563225626945496","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":"Q1756599$47A9F51F-BF34-44C2-93D6-6C5713C687A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Duality theory and skeleta for semisimple MV-algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Duality_theory_and_skeleta_for_semisimple_MV-algebras"}}}}}