{"entities":{"Q1102308":{"pageid":1113060,"ns":120,"title":"Item:Q1102308","lastrevid":66684231,"modified":"2026-04-12T11:55:40Z","type":"item","id":"Q1102308","labels":{"en":{"language":"en","value":"Heyting* algebras, topological Boolean algebras and P.O. systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4049694"}},"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":"Q1102308$06FF2FB3-1E69-43F3-9410-A5CA4ADC5625","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08ae59b82ddb041601a351e2d7bfa239b58d8769","datavalue":{"value":{"text":"Heyting* algebras, topological Boolean algebras and P.O. systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1102308$D6449BDD-F6D1-412C-B821-7FB61BE94F53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87476b09736c3a7b8077c53e7ea91a0fce542e16","datavalue":{"value":"0644.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102308$607AEC54-0902-471C-97B9-C00CBB2CD856","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2d995cc99cff9682a8046a9604281fce5260d4a","datavalue":{"value":"10.1007/BF01188379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102308$FA9B118A-9A6F-4B83-8EC4-77A16A1B936B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5e678948d925067f66fedf0fdac088474c235e7","datavalue":{"value":{"entity-type":"item","numeric-id":1095166,"id":"Q1095166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102308$F649D49A-80D8-40F0-8CA7-8386103FE54D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102308$33E2A356-97E2-489B-86C9-E9624367C944","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1102308$3D31EAAA-0331-4E95-9E7A-B000DDC22BC7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ca2c8b308da8472befb151e01a703651745f2eb1","datavalue":{"value":"The background to this paper is the theory of topological Boolean algebras (TBA's) developed by R. S. Pierce. TBA's are closure algebras with a unary operation which captures algebraic properties of the Cantor-Bendixson derivation.    Using the notion of Heyting algebras with a unary operation, also destined to capture algebraic properties of topological derivation, the author generalizes Pierce's duality to the category P of all partially ordered systems and morphisms of p.o. systems (as defined by Pierce) and to a category A of TBA's with some conditions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102308$3DD344E7-847D-4D77-AAF8-02207337498E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102308$974EE428-662A-489A-84EF-F6C7D8BD0B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102308$722CF25A-443F-4A25-9409-68C718C3A4E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71bbf8908df4029c7c5a43a073153a222c7369db","datavalue":{"value":"4049694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102308$D9330E15-6B4B-433B-ACE3-12191169250A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fc8a496f940ae640f6375167a0d56259b7758d8","datavalue":{"value":"topological Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102308$06DC34E3-3998-4049-B22B-9E6E14C3C5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc82aacb72df593e9638fb7b015d44399baedc90","datavalue":{"value":"closure algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102308$655B34AE-89D1-413E-8B34-59BFAB0865B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f4eb9abe37ecd0dc0d928a530d7050917e0686a","datavalue":{"value":"Heyting algebras with a unary operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102308$D4043787-E22E-4BDB-9781-7C7FDFFA3CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e8e0ef5e57e8e3ec68eea80488e10e038c20dd3","datavalue":{"value":"topological derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102308$DEBA477F-81DC-42B7-9D00-FF76455D0BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1640b8b37259422b8a0de82ff36c4b4ea8843b3d","datavalue":{"value":"partially ordered systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102308$9B4DC100-490C-4C61-8096-DFF43DC165E7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"55cce125d2b50c23768a94700ce957231de3a61f","datavalue":{"value":{"entity-type":"item","numeric-id":454369,"id":"Q454369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102308$2A714056-C5AA-4AB4-96DC-BA6D9EB4E7A7","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":"Q1102308$9ECE6018-80FD-4CED-9833-3D6C625DF3E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4cca440f5c10a728769119bee0fffd0577a91d","datavalue":{"value":{"entity-type":"item","numeric-id":5827041,"id":"Q5827041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102308$4BAD5BDE-C027-4A6E-9BB7-79C8F3D13C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c4b125e8de8a7bb82b695f7f34e9b067a9ecafe","datavalue":{"value":{"entity-type":"item","numeric-id":3956998,"id":"Q3956998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102308$9AFB195D-E11F-44F7-937E-C280854316E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d414f51649e857be26468402ac605eb351354827","datavalue":{"value":{"entity-type":"item","numeric-id":2652482,"id":"Q2652482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102308$AABF54F7-D7FD-440D-B5AA-275BEAEA001C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04f067426f1a6a3b3bc6aad987813b4105a8b5d6","datavalue":{"value":{"entity-type":"item","numeric-id":5667240,"id":"Q5667240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102308$4817A4D1-C06D-4666-907C-FF6244077D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7154d6a3b7579c1d22218e93df76974c247b6338","datavalue":{"value":{"entity-type":"item","numeric-id":5816743,"id":"Q5816743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102308$3B3CE63D-EC45-4A84-9407-B2F957D08637","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11da3c77fa6b53da4ea8226500118b87944628af","datavalue":{"value":{"entity-type":"item","numeric-id":2887377,"id":"Q2887377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c79aeb60e08d51ef6086ae22d3fa7ec67b927af2","datavalue":{"value":{"amount":"+0.90368426","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1102308$DEABF772-87F5-4A53-901C-F541B4662E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c352c912217493d616248b035b38b10a37586ca","datavalue":{"value":{"entity-type":"item","numeric-id":3510451,"id":"Q3510451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65d8ba0eaf4ed20810dae7e8066cdc34a35fd256","datavalue":{"value":{"amount":"+0.89964515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1102308$88200D92-0A19-448F-B0F9-99BA1BA23A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6807224e3d817a225911f118015304f520c17047","datavalue":{"value":{"entity-type":"item","numeric-id":4695117,"id":"Q4695117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42b0138ade1499e827ee327867fc6ecbc5754882","datavalue":{"value":{"amount":"+0.89868414","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1102308$92F07379-1A3A-4173-92FD-3E91AF0D21BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"456a8eae61efab27456b8972b8ed33d41f0bd9ef","datavalue":{"value":{"entity-type":"item","numeric-id":5720407,"id":"Q5720407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42acbb93662381a20c84b91d3d2b0191c8e6caef","datavalue":{"value":{"amount":"+0.89242613","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1102308$910E40D6-740C-4079-92A2-1C6435EE06E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94590ac9fbda243bb5cf940e4af063209ffe7e74","datavalue":{"value":{"entity-type":"item","numeric-id":762188,"id":"Q762188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2526af70df0c01e641bdc0123fd40be846fc89b0","datavalue":{"value":{"amount":"+0.8918846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1102308$A7D7A2C2-B43A-4C96-AE46-3700FB8FE43B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8df964064dd82280b6402c6620100eb6eb06afa","datavalue":{"value":{"entity-type":"item","numeric-id":3325784,"id":"Q3325784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1e45fe8529ba96c1ee02fa4f4d0994ac54e09d6","datavalue":{"value":{"amount":"+0.8914904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1102308$E58A4A2F-96BA-43B5-8287-A78DED30F085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10203ac777ec32d0d37e0d3ebddd23a38a813118","datavalue":{"value":{"entity-type":"item","numeric-id":1076014,"id":"Q1076014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9d3ae86c13cb2cf8dc8be98047494eeba4f4611","datavalue":{"value":{"amount":"+0.8906977","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1102308$750066F6-78FE-4C2A-930A-FA14F93E8271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6241773137172d2178ab5e4c1f0210f9f7eeaed5","datavalue":{"value":{"entity-type":"item","numeric-id":3324006,"id":"Q3324006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db6ae3769b531ae28cbc9124228a615ded207019","datavalue":{"value":{"amount":"+0.89009726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1102308$04DFF3B7-870F-4DFE-BEAF-5A2A40295672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1670e34177a461c273519fd8c536d1225e1692e6","datavalue":{"value":{"entity-type":"item","numeric-id":5598254,"id":"Q5598254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95c8471f315e3aeace9a9cba00c46285d0d4c266","datavalue":{"value":{"amount":"+0.88987654","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1102308$48635896-209B-48E4-BFD8-1D3B1249DDE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28912883a25f3d262a647134c84b886b46ceca3a","datavalue":{"value":{"entity-type":"item","numeric-id":2836400,"id":"Q2836400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"909caadabba4042b32d3eca6bd2b95ce0b1db36c","datavalue":{"value":{"amount":"+0.8861571","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1102308$7F3CEFF2-CFD2-4A51-B7D3-6F85F1360D96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Heyting* algebras, topological Boolean algebras and P.O. systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Heyting*_algebras,_topological_Boolean_algebras_and_P.O._systems"}}}}}