{"entities":{"Q1373391":{"pageid":1384131,"ns":120,"title":"Item:Q1373391","lastrevid":67268769,"modified":"2026-04-12T16:29:34Z","type":"item","id":"Q1373391","labels":{"en":{"language":"en","value":"On a construct of closure spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1089764"}},"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":"Q1373391$CCE4B908-5957-4837-9E3D-F8ED8B5A1420","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"debc41322af21e0d0af26620bc55ad8f084ca834","datavalue":{"value":{"text":"On a construct of closure spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1373391$CD3D550A-DD23-47FA-B23A-7875E1F59B33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"660795bb123159e54d53301ea7dd7c28851c40a7","datavalue":{"value":"0884.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1373391$501D1798-9F5E-4C0E-880F-3B59E4F48BD2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6af647a6737f985b4a05f48bb3566efa4d11ff7d","datavalue":{"value":{"entity-type":"item","numeric-id":175167,"id":"Q175167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1373391$D8287B51-E842-4CD5-9176-F619E6D22F54","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"816e97a1cfcdf018f87d172411a8ab21b6bfff04","datavalue":{"value":{"entity-type":"item","numeric-id":361729,"id":"Q361729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1373391$88F934DC-0C57-44FB-B091-721896FF3B16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7765eefed21fdf2360b9d246dd6272bcc4bb251f","datavalue":{"value":{"time":"+1998-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1373391$E9E660B8-12DC-44C6-ACB8-8C75CEF65ACF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe129e42f19aa649f70031178c0985995b05c1f4","datavalue":{"value":"http://www.numdam.org/item?id=RSMUP_1997__97__1_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1373391$2D94E22A-875D-43AA-8C18-820EC68E7478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"826deed7ed0b8b695b204ce845d31f1be320901b","datavalue":{"value":"https://eudml.org/doc/108424","type":"string"},"datatype":"url"},"type":"statement","id":"Q1373391$DD467935-F4DC-496E-8C5A-FF3639F24008","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3c3f51030f8a04fef44e7e5f5a8f6a399b3c7c33","datavalue":{"value":"Let \\({\\mathcal C}lo\\) be the construct of closure spaces and continuous mappings. Let \\({\\mathcal C}lo_T\\) be the full subconstruct of \\({\\mathcal C}lo\\) formed by all spaces \\((X,u)\\in {\\mathcal C}lo\\) such that for every \\(A\\subseteq X\\) and for every \\(x\\in uA\\) there exists a sequence \\(\\{x_i\\mid i\\in\\omega \\}\\) indexed by an ordinal \\(\\omega\\) such that \\(x_i\\in u\\{x_j\\mid j<i\\}\\) for all \\(i\\in\\omega\\) and \\(x\\in u\\{x_i\\mid i\\in\\omega \\}\\). Let \\({\\mathcal C}lo_S\\) be the full subconstruct of \\({\\mathcal C}lo\\) formed by all spaces \\((X,u)\\in{\\mathcal C}lo\\) such that \\(u(uA)=uA=\\bigcup_{x\\in A}u\\{x\\}\\) for all \\(A\\subseteq X\\). A space from \\({\\mathcal C}lo_S\\) is called a finitely generated topological space (or a quasi-discrete topological space, or an \\(S\\)-space, respectively). Let \\(\\mathcal K\\) be a construct with finite products and let \\(\\mathcal L\\) be a full isomorphic closed subconstruct of \\(\\mathcal K\\). We say that \\(\\mathcal K\\) is an exponential superconstruct of \\(\\mathcal L\\) provided that for any two objects \\(G\\in \\mathcal L\\) and \\(H\\in \\mathcal K\\) there exists a power object \\(G^H\\in \\mathcal K\\) such that \\(G^H\\in \\mathcal L\\) and a pair \\((G^H,e)\\), where \\(e\\) is an evaluation map, which is a co-universal map for \\(G\\) with respect to the functor \\(H\\times -:\\mathcal K\\to\\mathcal K\\). Then, \\({\\mathcal C}lo_T\\) is an exponential superconstruct of \\({\\mathcal C}lo_S\\). This fact generalizes that \\({\\mathcal C}lo_S\\) is cartesian closed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1373391$F37173F7-8714-417C-B817-525E82952520","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9de122ab855f9ddfed11049bff6760e78c7b0fb5","datavalue":{"value":"18B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1373391$B0F31D92-79D3-4187-A780-7BDCD679BF3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da6bb9e4e82c31800f6eb5c65d9d41d5a31cc52a","datavalue":{"value":"54B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1373391$7693A7C5-78E8-47EB-B238-2AB4FC366EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1373391$7AEDACCB-4B6E-4186-8AD9-7494EE3C9C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a74b099c042ea6e846e1f740298ec70c9db4aa8","datavalue":{"value":"54A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1373391$36408C78-7B2A-446F-9776-876CD0F6B951","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06e060350bc42d38ca48e63a24356ad1779380cd","datavalue":{"value":"1089764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1373391$A1778033-AE68-43D3-A9DD-41EE78C0A02D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94b41aac1310de69b34ae465a4b84c610ad0ebe9","datavalue":{"value":"closure space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1373391$C4FB23C5-4ED2-429D-B16A-9B73C1B04B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"692ac20a5efb069c271cdb8995c433188cdbbbbb","datavalue":{"value":"exponential object","type":"string"},"datatype":"string"},"type":"statement","id":"Q1373391$CD25CEA8-75DB-4A77-AF74-9C58FF6E0AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5b47fa71711691d44d973132e265dd1794cf351","datavalue":{"value":"full subconstruct","type":"string"},"datatype":"string"},"type":"statement","id":"Q1373391$77901EE9-55B5-4AA6-8BEE-EA2ACC0FD4E5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e77d710fff360ac5f5e834555bc2a388abb806e6","datavalue":{"value":{"entity-type":"item","numeric-id":409252,"id":"Q409252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1373391$32D747AE-5706-46DB-8E37-0FAAA8AC9299","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":"Q1373391$85B2CEC6-2EE9-496D-B391-B6434FC3187D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"19d0acaaaaeb58d4d8e5cf6e1bdba8e1cfaaecd1","datavalue":{"value":{"entity-type":"item","numeric-id":5516652,"id":"Q5516652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1373391$5298D713-F0F8-4FC1-9874-B6AFE4797413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63dee936ab3c2003c00fdde770483f24a8a1a19c","datavalue":{"value":{"entity-type":"item","numeric-id":5586461,"id":"Q5586461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1373391$E1655934-7C33-4419-8329-15278B0856B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3925d6eb2d35d7ac2c492b03b72b02f1c0fe849e","datavalue":{"value":{"entity-type":"item","numeric-id":4079792,"id":"Q4079792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1373391$F7221A08-1885-4264-A4B2-34A2471D8DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a441ffcbaae801c76a20cf9569b246225e79cb6","datavalue":{"value":{"entity-type":"item","numeric-id":5682456,"id":"Q5682456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1373391$1A8E535D-376B-4C25-812E-1279A613F07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e8fb515fbfb7a54f15f7e889dc79bf1dc94f3b0","datavalue":{"value":{"entity-type":"item","numeric-id":5607699,"id":"Q5607699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1373391$55D9D714-23F9-45F7-B108-C3334BABB364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a7b6e2ed47cafcb00696c3670d8f23889ee7d19","datavalue":{"value":{"entity-type":"item","numeric-id":4141961,"id":"Q4141961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1373391$AB575CDA-8BBE-4044-8AA5-7B026431823C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b6c4f137e3dc19c23fdb997af08479807e674db","datavalue":{"value":{"entity-type":"item","numeric-id":3142669,"id":"Q3142669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1373391$B976F599-1985-40B9-B6B4-EA0D717F42B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12251625bebe4e0964425fb216efacc4d9b022f4","datavalue":{"value":{"entity-type":"item","numeric-id":4277391,"id":"Q4277391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1373391$0FC5F72C-FBB5-4F95-A02F-AF0BB9AB3411","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97fdee7bde803113e77f426bf153f0987f7f9af2","datavalue":{"value":{"entity-type":"item","numeric-id":4371060,"id":"Q4371060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7dd4ef84f5b276f58f936b6c99c00f60b1cfe01","datavalue":{"value":{"amount":"+0.8198376297950745","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":"Q1373391$AC0E6562-0611-4E71-93A1-3CDEA7189027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c9395fc7c098c1dd197b3cff1c4e2b8402ac48c","datavalue":{"value":{"entity-type":"item","numeric-id":2748523,"id":"Q2748523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffd3fe2ddfeb8baa34bde948173575fed8eb989b","datavalue":{"value":{"amount":"+0.7849797010421753","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":"Q1373391$19020690-C0BE-4EDE-8A34-0E6E21770B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"233de21ef31e302b1c7d10cdb3cbf7d47a0a20a9","datavalue":{"value":{"entity-type":"item","numeric-id":3071970,"id":"Q3071970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"501f07431b19ee5e10cd8cfe5b81a2d8069feb71","datavalue":{"value":{"amount":"+0.7683462500572205","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":"Q1373391$49B65649-80A4-4DF1-9435-54F8012DDA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41b67465367fce1d6f601b92375a92f1bcfff613","datavalue":{"value":{"entity-type":"item","numeric-id":1320339,"id":"Q1320339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caeffbcec0a7296c3867a4e301f778bc286a81e6","datavalue":{"value":{"amount":"+0.7565615773200989","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":"Q1373391$BBC5DF49-8BEB-40C0-8ED8-AE2316DA86AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a construct of closure spaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_a_construct_of_closure_spaces"}}}}}