{"entities":{"Q478401":{"pageid":480168,"ns":120,"title":"Item:Q478401","lastrevid":62129967,"modified":"2026-04-11T03:58:29Z","type":"item","id":"Q478401","labels":{"en":{"language":"en","value":"On topologies defined by irreducible sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6376577"}},"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":"Q478401$E54AF01E-BB98-4730-8501-D2F0CC8C22E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac67e82faea0507d27080e12c82bc53a4432d7ce","datavalue":{"value":{"text":"On topologies defined by irreducible sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q478401$BC3B8CFA-E041-488C-ABDB-7001652E934A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c761e5a2ff27f1f212998cbe93a5fe32e605aba0","datavalue":{"value":"1308.54019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q478401$1FEE89B0-6704-4C68-B9AF-725560C6971E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2879e3e3ee84eeca3778658797f13f2e5056d734","datavalue":{"value":{"entity-type":"item","numeric-id":171475,"id":"Q171475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478401$31AA27F8-B885-4C75-BE73-C32797408104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b9eacbbaec5e7af888d1eef3f5f429071bf163a","datavalue":{"value":{"entity-type":"item","numeric-id":276428,"id":"Q276428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478401$3E51623C-E795-44DB-9EDA-B62B122004CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478401$7DA3C3E9-52BE-40AD-8DA3-006F8E7A5645","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"726f2859ee2ab0ef37011c240f51f25426a8471d","datavalue":{"value":{"time":"+2014-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q478401$F9956D45-C275-4F12-975A-B18E6903D7B3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"df3f8c3dba29d429388bbea34d8256026923f384","datavalue":{"value":"A non-empty subset \\(F\\) of a topological space is called irreducible if whenever \\(F\\subseteq A\\cup B\\) for closed sets \\(A\\) and \\(B,\\) then \\(F\\subseteq A\\) or \\(F\\subseteq B.\\) Given a \\(T_0\\)-topology on a set, the authors use its irreducible sets to define a new topology on that set. The method in which this new topology is derived is inspired by the manner in which the Scott topology of a poset can be constructed from its Alexandroff topology.  The investigations of the irreducibly-derived topology lead to a weak concept of sobriety which the authors call k-bounded sobriety. It is shown that a \\(T_0\\)-space is k-bounded sober if and only if its irreducibly-derived topology coincides with the original topology. Finally the authors formulate several open questions concerning the irreducibly-derived topology.","type":"string"},"datatype":"string"},"type":"statement","id":"Q478401$225572B7-0559-4987-92FF-D144B0CC966C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2193e4c351a5ae8a19e08e563c2540f53af0e96","datavalue":{"value":"54D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q478401$E1D685B6-211F-4111-86B7-49448E589F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q478401$928802E7-0453-432A-AE39-E69A8A22F966","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a1a7e0d58aadabcdb7deda7a14d5a7346438023","datavalue":{"value":"6376577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q478401$CA6AB359-7F49-476B-977B-B3E2B78F9B51","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29b404ff2a6eaa500cdd51433f2781ece3a701a2","datavalue":{"value":"\\(T_0\\)-space","type":"string"},"datatype":"string"},"type":"statement","id":"Q478401$B73B0C6D-D3EC-4703-B56C-4FE765E3CAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf7907b232bc03cd92891e7f9d4b1339ad6ad54","datavalue":{"value":"sober space","type":"string"},"datatype":"string"},"type":"statement","id":"Q478401$685B61B1-9108-4C4D-8FCE-AE1B491D2E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca454a08fde45deec905577fa899f7896e71c232","datavalue":{"value":"k-bounded sober space","type":"string"},"datatype":"string"},"type":"statement","id":"Q478401$D079568C-2A11-4B61-9080-8FEB740EAF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32478a5091ef244ab591c8461e77459a3a505ad7","datavalue":{"value":"irreducibly-derived topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q478401$368F7BFB-BA8D-458B-8FD4-335ABBB6B493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea6241e75c0ae428ed6022c535deb13947dbd52b","datavalue":{"value":"SI-open","type":"string"},"datatype":"string"},"type":"statement","id":"Q478401$40C830AE-A2B4-4C7A-8F35-192AD620CDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c0c5234f1c77925a7d945332d3681640f7161d","datavalue":{"value":"Scott topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q478401$BFEC1D7E-CD6D-421A-92D7-376E63883F68","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b06c1395e4711da17bf8b93bbe80ac88c912a760","datavalue":{"value":{"entity-type":"item","numeric-id":386876,"id":"Q386876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478401$529324FE-874C-4221-96D0-953C4D6CD4AA","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":"Q478401$E9357B85-ABFF-4CAC-8B02-ED8D8AA57593","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69c80a74f98712f3cd1eeb76ab8376717bc73298","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2014.10.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q478401$2973A80F-92C6-47DF-A609-59A430F0003B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d38580d1f75b876ff163fbb066c09a0293db62b","datavalue":{"value":"W1963725260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q478401$6B60392F-0255-4500-9B28-FA21AAE92BC4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e33a71a40dd07d2c785418e1246441f44c113099","datavalue":{"value":{"entity-type":"item","numeric-id":4147263,"id":"Q4147263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478401$0363AB85-1D9E-4E56-9F28-21A3C2C36A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e1a21cbc753595d7ca886a71f09296da296247","datavalue":{"value":{"entity-type":"item","numeric-id":4150804,"id":"Q4150804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478401$C80DF9A6-3B57-4DE4-AEAB-2DDEC7951965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8232fad960af308269dc53209575ec59ddd95d5","datavalue":{"value":{"entity-type":"item","numeric-id":3976464,"id":"Q3976464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478401$1EA8CC81-75F8-4850-9882-111D7126F40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf201fde44655e64d588156b950e69b96b2642f","datavalue":{"value":{"entity-type":"item","numeric-id":1214177,"id":"Q1214177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478401$65ABF958-3D0A-438C-AB7B-5D295F012FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2688733f28b725c17e09e67736562b2ca8285969","datavalue":{"value":{"entity-type":"item","numeric-id":1960418,"id":"Q1960418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478401$94B9D253-4942-4C97-BFCE-C757D0233371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478401$3958F62B-FD30-425D-A4B4-05CA5364234E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b42a1c3ee06f9654510272357578368daee23b","datavalue":{"value":{"entity-type":"item","numeric-id":4914616,"id":"Q4914616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478401$D30C8779-1BD7-4B0A-8016-3A8901DAC8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f9a86bdce90ab2f020ed1bf1785a72b28ee4a2","datavalue":{"value":{"entity-type":"item","numeric-id":3057284,"id":"Q3057284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478401$5CC7F09D-EE53-42B0-832A-51B662F13E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a45aca3cdd344520de42ed426baffedac3530533","datavalue":{"value":{"entity-type":"item","numeric-id":3933035,"id":"Q3933035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478401$2A7799A6-6191-4BE5-AAB6-19CFCEE1DE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f388c8ac8e74a3ed084d253b4c00a0695d6951","datavalue":{"value":{"entity-type":"item","numeric-id":3953814,"id":"Q3953814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478401$BA49DB63-57CB-477E-9DD3-EB8A07CC0EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8704d06c1649afb522f1aa88d4e2f7421bf5112","datavalue":{"value":{"entity-type":"item","numeric-id":3922730,"id":"Q3922730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478401$A1070BB0-1A2B-4F68-8584-6F39CDCAD469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478401$241E1590-6379-4605-9752-38685829A34A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73488216077a8f2fb95870113b1939b3a859d3a3","datavalue":{"value":{"entity-type":"item","numeric-id":1023293,"id":"Q1023293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478401$D8FBB601-C53C-4389-B083-8750798A1AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dafadf8d86f5e474ec3c4cc6fdee31c6fe01736","datavalue":{"value":{"entity-type":"item","numeric-id":1130868,"id":"Q1130868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478401$05DCE22F-786C-4534-A064-2796FD69EE1C","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":"Q478401$2EA10557-5069-4E2F-8F0B-4D0527AB1F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92d3662579656f6bd74a49823facafe82498906c","datavalue":{"value":{"entity-type":"item","numeric-id":974109,"id":"Q974109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478401$A68E477C-2777-459A-8D37-CBD028F1C44F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c26ab9bd04f51d45b38311ff31acd48baab033d","datavalue":{"value":{"entity-type":"item","numeric-id":1099835,"id":"Q1099835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478401$CC388926-5E86-4818-BA7C-B98A7CF7B982","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc5f6d01def55efa42df2d31a5cd9730b645a286","datavalue":{"value":"10.1016/J.JLAMP.2014.10.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q478401$D3C32A42-4B61-427E-B7D5-89C6AD8240BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d862ad5d1c18faf0791168503a0c0f416b69330c","datavalue":{"value":{"entity-type":"item","numeric-id":5148242,"id":"Q5148242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6540449358d1908cf96d17d3f98695d4d820514","datavalue":{"value":{"amount":"+0.8193933963775635","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":"Q478401$68F0A1BB-FACD-468A-9C5B-131FCFA7CBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db8f94eb3de9ff2411b58b5f564285fba13c7288","datavalue":{"value":{"entity-type":"item","numeric-id":4624136,"id":"Q4624136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b641f6a0418c12076338e4a6418bab1229bee091","datavalue":{"value":{"amount":"+0.7803206443786621","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":"Q478401$21B8AC40-E1F3-4D9E-9F2C-6D4D0DA31633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a347559f1819e2e91f252bab2439795147ed3ca3","datavalue":{"value":{"entity-type":"item","numeric-id":2215643,"id":"Q2215643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10336f1112bd33d1fac49accbf92b1bd66882ee0","datavalue":{"value":{"amount":"+0.7780076861381531","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":"Q478401$C3550E7D-0D21-41B5-9CF6-BAF787CF3019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96c2801af906cf1aa2b11c76d0b329661045061d","datavalue":{"value":{"entity-type":"item","numeric-id":5194480,"id":"Q5194480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"416067a918770a2601bb0ef35e6c88c616b3b71d","datavalue":{"value":{"amount":"+0.7569759488105774","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":"Q478401$2FB36C49-5741-4E82-9E25-6E0DE296113A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a0a448eeb9aa92f819cf8584c52c3f4e10055eb","datavalue":{"value":{"entity-type":"item","numeric-id":3024405,"id":"Q3024405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"400174ba3973a5ba8f2b3f7f9142bcfbeba396ee","datavalue":{"value":{"amount":"+0.7463770508766174","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":"Q478401$B0690AE5-7227-4745-AC3C-8AB0270A2B75","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On topologies defined by irreducible sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_topologies_defined_by_irreducible_sets"}}}}}