{"entities":{"Q418910":{"pageid":420677,"ns":120,"title":"Item:Q418910","lastrevid":61727562,"modified":"2026-04-11T01:14:55Z","type":"item","id":"Q418910","labels":{"en":{"language":"en","value":"Natural duality, modality, and coalgebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6039244"}},"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":"Q418910$F107CCE3-CC00-4182-BB94-DB630310B731","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b27b53f7d64b02600e27c212d2055ba4d1defeb9","datavalue":{"value":{"text":"Natural duality, modality, and coalgebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q418910$561C2467-2594-4318-8D66-E7B49D80FBA6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9b43750e02f609009553be5725539523b8b3a76","datavalue":{"value":"1263.08002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418910$50AEDB78-A0B8-48D1-A594-AC659FBA1AA2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"385db80d6bed80abaf8c7a169d8469a4d7c9ee89","datavalue":{"value":{"entity-type":"item","numeric-id":418909,"id":"Q418909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418910$D0FEFB99-8E00-4A5C-80D7-B6C9AD9B1D48","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418910$DE962608-A84C-4E9A-A738-30CCBE25BAA4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9cf2f505c732bca65c95db37822678ba6da7d9b6","datavalue":{"value":{"time":"+2012-05-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q418910$3521DDFA-4170-4FE7-9BB4-E19DA8F80B64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5690d52880a4157f32d4e9942a368cfd3f41f5a6","datavalue":{"value":"08C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418910$BFC941F8-93D7-4B41-B817-3267D9AFA552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418910$3AF37E46-DF21-4145-A3C2-1232C9EF91D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418910$3D8DE5AE-C01F-4A7F-BBAE-9C4D2E297200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"30f000f89c05b5d6c2fc3f4a3150ef0dac5952d4","datavalue":{"value":"18B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418910$3E5269A5-CC1C-484D-BD75-76D2605B77EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b80b69d89d03bb7b2f1ad009c78542fa124b0b2","datavalue":{"value":"6039244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418910$BED525A6-E303-4D1E-9C8C-BE4AA7A705DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0caf1c4346e0b36ff440cb0cc9584dc02bcbc94","datavalue":{"value":"modal lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q418910$20FD1936-BBCB-4161-BC8A-5D8F68B41C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a241af4d04e728c8699fb89ce1e31dd93560307","datavalue":{"value":"modal operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q418910$67C0ED5D-B128-47CC-AB04-4BB97372798E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de91e5ef097aa0eb71d0a0a3f27b4ba0a03e19a4","datavalue":{"value":"natural duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q418910$0EDC1FA8-8881-404C-BFF0-3A9601388817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd8e03e87512571dfb17b67dd3d984d9bb2d3ace","datavalue":{"value":"coalgebraic duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q418910$E0DD9319-85F1-4D74-A803-D1AF2A4BF764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e4073f920e1ca9e1982bc89372a9ddf00607c1c","datavalue":{"value":"topological duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q418910$043C4A2B-7601-4B1F-AD53-713809460341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6b2bed348ad4b055a4450af1a3d44608c62663d","datavalue":{"value":"semi-primal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q418910$BDDD8F19-3585-409D-9E76-568F063E0F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a01cedacdd5d7fedd625de50de09464f3aa2c0","datavalue":{"value":"Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q418910$F1070A00-10E1-4362-80E1-550315CC9E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c68db1f0ba12d9d4aa3273ab0b3fb61d24a044f7","datavalue":{"value":"enriched Stone space","type":"string"},"datatype":"string"},"type":"statement","id":"Q418910$CEC95369-FF3F-44BD-A8A8-2D25706E3DB1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4ba78bd3354a1b5cf09e76b88113623c3f3fa360","datavalue":{"value":{"entity-type":"item","numeric-id":321582,"id":"Q321582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418910$F6176DE2-62FA-42BC-AD0F-C26A92F78850","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":"Q418910$F0BDF529-34C9-4A43-8AD5-62128F2E4950","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"423f8d429af79b56752183ff17ede758419dd84a","datavalue":{"value":"https://doi.org/10.1016/j.jpaa.2011.07.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q418910$AC833FB1-A9A6-4C68-B598-56EA3C2F0F9B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"650d59edcefe2852288d893c82ff4f7ff124dab3","datavalue":{"value":"W2005940123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418910$A02B93B9-DD93-4DEE-90D6-C45A2487E73B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b9e36ee4012ef546cb881d1f8055042f64fc036","datavalue":{"value":{"entity-type":"item","numeric-id":3007237,"id":"Q3007237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418910$134D2B1D-01FE-4A21-9332-AA48A7AC1E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a1dc290df059ff29926fef008c9e1053408a1f0","datavalue":{"value":{"entity-type":"item","numeric-id":4680360,"id":"Q4680360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418910$8B4A9F2A-35DD-43D2-A1D1-C03C1BC3E12B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605cd54b5666989f05001b3d36d606561ce4ef39","datavalue":{"value":{"entity-type":"item","numeric-id":4693062,"id":"Q4693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418910$01626C8C-A1C2-4E48-92B2-8C62D737C3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418910$A284932F-A8AB-42AC-BFC3-AF636718F160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ac589897be4c492f7c47b59a82f0dbe5636db3","datavalue":{"value":{"entity-type":"item","numeric-id":3097868,"id":"Q3097868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418910$A9504594-31E4-44CB-AF00-E81441B8D96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418910$E25F6F36-4D46-454F-95BA-526E63463AB7","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":"Q418910$789D26CD-36CE-45F0-9453-2F817439D224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbd9a6ade8d1f39de0017bbf6e2c37ec0f518a9a","datavalue":{"value":{"entity-type":"item","numeric-id":4220406,"id":"Q4220406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418910$452C4A87-1BFF-4C09-9A28-25DE0FDA345B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418910$18BA8DA5-647C-47FC-9414-4C4CFA2FF182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0db58439427ab1ba12d4da6ccf17f8e35fef7ff7","datavalue":{"value":{"entity-type":"item","numeric-id":1180700,"id":"Q1180700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418910$C2ED1620-5BE3-45B7-AF66-9BA89F788390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f2aa622352fb97e57ea51d03b3e786ff3386623","datavalue":{"value":{"entity-type":"item","numeric-id":3994935,"id":"Q3994935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418910$B4B214C6-3BD8-4950-8960-669E7D6C5F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"071d9b3b917239477baf25669fcf8f9ac83bc48b","datavalue":{"value":{"entity-type":"item","numeric-id":4049062,"id":"Q4049062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418910$FDFF4360-78AF-4EBC-894B-827E3A418841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6c2a682b2e9dec9a4775e1451429ca20ffba5fe","datavalue":{"value":{"entity-type":"item","numeric-id":3989936,"id":"Q3989936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418910$422E86E6-CCC9-42CD-9E5C-1DB7ED5428A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af6a56147721f5558561f9dc5063b26167a3efa0","datavalue":{"value":{"entity-type":"item","numeric-id":4022223,"id":"Q4022223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418910$AC5837F6-7620-4F71-A549-736A6502022E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c46af4e2dbdec71e2e1e67a8fb006535d85d316","datavalue":{"value":{"entity-type":"item","numeric-id":4495853,"id":"Q4495853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418910$6B304B72-4BDE-411A-9D70-348209194DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418910$ED865EE4-7D64-43DB-B862-948C7FB7463D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa54b0fe557cec06cf4cb2f9b5719df140743ebc","datavalue":{"value":{"entity-type":"item","numeric-id":585240,"id":"Q585240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418910$13E3DDB3-39AB-4AFF-BF47-BCC58808473E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17794c4bc319199b07780fe8daa9724755f28e9","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418910$59303FC7-2ABF-43FC-82D9-DC079F1D0005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d88769eedbb16571caefa699fd0710b447d3827","datavalue":{"value":{"entity-type":"item","numeric-id":3711309,"id":"Q3711309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418910$2C0949FC-5A39-480F-9D80-16F7A7145060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418910$3CC707D4-DED1-4114-9CD2-950EAEF9FFDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bb5b39a798d01e36e7eabc9197a327ad0a8de3b","datavalue":{"value":{"entity-type":"item","numeric-id":4769085,"id":"Q4769085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418910$CD327612-B0CE-43FA-B50E-80D0511D010F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"463cf8243e4109af3f29fbbc771487068a0df78f","datavalue":{"value":{"entity-type":"item","numeric-id":703523,"id":"Q703523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418910$25D330DE-298C-4403-8A12-330D9D047268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e49f7c3d56b3617fda2ba0fae065544edc18445","datavalue":{"value":{"entity-type":"item","numeric-id":2392097,"id":"Q2392097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418910$14C72E45-7AFA-40B5-88AB-B5770285CE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b556aea69fbadd3a2514ad4a028bdcde6c3ae4d1","datavalue":{"value":{"entity-type":"item","numeric-id":965912,"id":"Q965912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418910$9E90C0C1-57BF-43A1-9890-518A4571AEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34b1bb0d690560988d93f0d01d085bdc518d5cbd","datavalue":{"value":{"entity-type":"item","numeric-id":636383,"id":"Q636383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418910$9B1A71CC-14A0-439D-8F8A-4E828E17C0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bae0f4c055012acef748aefd432b887952cf799","datavalue":{"value":{"entity-type":"item","numeric-id":3100168,"id":"Q3100168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418910$15B16FDA-B324-4F6B-8912-74ED09EB80B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cdc59dad01421f0a964152eb9040269c855c67b","datavalue":{"value":{"entity-type":"item","numeric-id":5806377,"id":"Q5806377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418910$DE692718-28D5-40A3-953F-8CA733BA71AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea07f2e583ee45be7f9780d5f5f3a8d2360b9348","datavalue":{"value":{"entity-type":"item","numeric-id":5929367,"id":"Q5929367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418910$34BDC82B-1BF2-4792-B185-D033ECE63D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1d7c9f2e4febf8518946c7f41022d74d80da0b5","datavalue":{"value":{"entity-type":"item","numeric-id":2573123,"id":"Q2573123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418910$891EC504-EAF8-4E0A-B2D9-A5619A98D46A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81be1bb283e8f7828e6f52594e8bd25836e71d3c","datavalue":{"value":{"entity-type":"item","numeric-id":2541690,"id":"Q2541690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418910$4D8A5C2C-DCA2-4EBB-BF7A-1492E4004448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87fac51303894c8e23df30d0e3ae82d21365ad86","datavalue":{"value":{"entity-type":"item","numeric-id":3976466,"id":"Q3976466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418910$960635F1-8334-4F61-8B33-ED58A6072D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0943e126b844734d0e41e82ee07b2fa3388352","datavalue":{"value":{"entity-type":"item","numeric-id":4085773,"id":"Q4085773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418910$622ADB0B-73B2-4CBC-A911-FA401AB28C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"489ce79ff1c6804df0a95104aaedb00db144425a","datavalue":{"value":{"entity-type":"item","numeric-id":4380501,"id":"Q4380501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418910$E2F82F22-ACCF-4D5C-82DE-CD072FD08EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c033a2fc22622bf5275d1b14657432ebc6e927e","datavalue":{"value":{"entity-type":"item","numeric-id":5772816,"id":"Q5772816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418910$2EA54551-3D49-471C-B226-E00988CD29F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff3daea64589cc4102982642b6078c2ea63a99b9","datavalue":{"value":{"entity-type":"item","numeric-id":2462669,"id":"Q2462669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418910$FB4D149D-F356-40E3-8399-37C1FEFAAC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7a72681512b62fb97da7c5297937dd9d4fde72f","datavalue":{"value":{"entity-type":"item","numeric-id":4236207,"id":"Q4236207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418910$54B7F737-0CD7-44C9-84E2-ABA59CE519FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d06574e3116b3f9b412a38940564933f72781076","datavalue":{"value":"10.1016/J.JPAA.2011.07.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418910$2A9D8D66-29D1-4975-BF93-AD773A286889","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9f0d29f081883dd0b4163f245864bb04d0e1e1f4","datavalue":{"value":"In this paper the author presents a family of topological dualities between classes of algebras with a modal operator and categories of enriched Stone spaces. The classes of algebras considered in the paper are constructed from a semi-primal algebra with a bounded lattice reduct and suitably defining modalities on its powers. Then, appropriately extending the Vietoris functor to each of the enriched Stone spaces, the author also presents a coalgebraic version of the duality.NEWLINENEWLINESeveral authors have tackled the problem of adding modalities to some classes of algebras with lattice reduct and to obtain topological representations for these classes, e.g., \\textit{R. Cignoli}, \\textit{S. Lafalce} and \\textit{A. Petrovich} [Order 8, No. 3, 299--315 (1991; Zbl 0754.06006)], \\textit{A. Petrovich} [Order 16, No. 1, 1--17 (1999; Zbl 0952.06016)], \\textit{S. Celani} and \\textit{R. Jansana} [Log. J. IGPL 7, No. 6, 683--715 (1999; Zbl 0948.03013)], \\textit{C. B. Wegener} [Stud. Log. 70, No. 3, 339--352 (2002; Zbl 1007.06010)], \\textit{M. Gehrke}, \\textit{H. Nagahashi} and \\textit{Y. Venema} [Ann. Pure Appl. Logic 131, No. 1--3, 65--102 (2005; Zbl 1077.03009)], to mention some of them. These representations usually follow the same strategy used to represent modal algebras (see [\\textit{G. Sambin} and \\textit{V. Vaccaro}, Ann. Pure Appl. Logic 37, No. 3, 249--296 (1988; Zbl 0643.03014)]). That is, given a modal algebra \\(A\\), first consider its reduct obtained by dropping its modal operator, then use some topological representation for this reduct (Stone duality, Priestley duality, etc.), then enrich the space that represents the reduct of \\(A\\) with a relational structure to represent the modal operator. NEWLINENEWLINENEWLINE The results of this paper are also based on a duality for the reduct without the modal operator. The main difference lies in the fact that, instead of considering the class of modal algebras determined by the properties of its operations, the author's approach is to consider the class determined in a specific way to construct of modal operators on powers of a semi-primal algebra given a Kripke frame. NEWLINENEWLINENEWLINE This change of perspective has some advantages. First, this approach allows the author to concentrate on the universal properties of the generating algebra that ensure the existence of a duality, rather than on the particularities of the language. Secondly, the fact of having a finite semi-primal algebra as starting point of the process opens access to the Semi-primal Strong Natural Duality Theorem 3.3.14 in [\\textit{D. M. Clark} and \\textit{B. A. Davey}, Natural dualities for the working algebraist. Cambridge: Cambridge University Press (1998; Zbl 0910.08001)], which is the natural duality on which the author bases his construction.","type":"string"},"datatype":"string"},"type":"statement","id":"Q418910$51E57D85-3757-4A65-93C7-7ADE9A20CE83","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a221533aab40513f2bd012249dcece64517dee90","datavalue":{"value":{"entity-type":"item","numeric-id":2847816,"id":"Q2847816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1046f792d0734afb90da8741d70137b6607d0ab8","datavalue":{"value":{"amount":"+0.7941581010818481","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":"Q418910$40E28030-3FBF-4E07-A484-C9FF9E7C4352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f7e050d3615e021ec0ee06c0f0f472456fe7fa9","datavalue":{"value":{"entity-type":"item","numeric-id":4329244,"id":"Q4329244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6258e6289d275401f388f8f7176f7cdbbed0c2c1","datavalue":{"value":{"amount":"+0.7936093807220459","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":"Q418910$167AA750-8781-484A-9789-816B3ADEC3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ccd3c6d9558d005b0d82e22b0a538b63eff9aa5","datavalue":{"value":{"entity-type":"item","numeric-id":703528,"id":"Q703528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4157a937a0df87d337462fd959db513a70868ae","datavalue":{"value":{"amount":"+0.7863409519195557","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":"Q418910$A7D94684-12D0-4E33-97BA-F8815D9870EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"131df07368b76c2c49b1602020230541cf81228b","datavalue":{"value":{"entity-type":"item","numeric-id":3100168,"id":"Q3100168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e3d7df3b2a09f0a6120c12bd68e670bc318e0e0","datavalue":{"value":{"amount":"+0.7842362523078918","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":"Q418910$864BB99A-A7E8-476B-ABC4-A06EA14380FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b6aee020929d6d7f07a1a5fa907731f1093d6c7","datavalue":{"value":{"entity-type":"item","numeric-id":3638290,"id":"Q3638290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"060f3c7f69c0ece67526236505d0558b4f774b51","datavalue":{"value":{"amount":"+0.7784536480903625","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":"Q418910$C1B05FDF-B404-42C0-B0FE-595B7DFD88FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Natural duality, modality, and coalgebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Natural_duality,_modality,_and_coalgebra"}}}}}