{"entities":{"Q439300":{"pageid":441067,"ns":120,"title":"Item:Q439300","lastrevid":56894832,"modified":"2026-03-24T12:29:19Z","type":"item","id":"Q439300","labels":{"en":{"language":"en","value":"Topologies on \\(X\\) as points within \\(2^{{\\mathcal P}(X)}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6066685"}},"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":"Q439300$3D735C8F-5066-470C-B958-8A84CDD4EB8F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"440b71a7274dc33e7ea41baa93e13553456cf88c","datavalue":{"value":{"text":"Topologies on \\(X\\) as points within \\(2^{{\\mathcal P}(X)}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q439300$B1D7BA5E-6494-4DC4-AA6B-29402C99E69C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb2605009fde0c7f55c1d626e373545dbdea0eba","datavalue":{"value":"1273.54003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439300$B99D09A7-8700-42B2-8033-CEA00C41D94C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3267a162444c6020fa8cd93674d049f80f7a5a52","datavalue":{"value":{"entity-type":"item","numeric-id":439298,"id":"Q439298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439300$13FB3130-6EC1-482F-8DF3-8CDF86BB6818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0759320bc3f3852f652daa55c814242b7f7a5b97","datavalue":{"value":{"entity-type":"item","numeric-id":439299,"id":"Q439299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439300$9FE027C3-044D-4441-8E65-C038E038CBC5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439300$151C16AB-6BF1-43A4-9840-68828FA58022","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d101fdedee8fe26942f59fda6716c1df8d9aaf9","datavalue":{"value":{"time":"+2012-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q439300$533A51D0-DBC0-48F9-AAD4-E51058203032","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed3c76e78755e3be59cf9834beda646fc6851335","datavalue":{"value":"https://arxiv.org/abs/1111.3212","type":"string"},"datatype":"url"},"type":"statement","id":"Q439300$D983B094-604E-4DFF-9B78-31B20AE67683","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e886f6e0421be5a8f743ae1b051b4f18a64974b4","datavalue":{"value":"54A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439300$60CBBA38-B227-4026-867D-4F0551F0BF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"790702f50bb93532a7a4b32f255db82d04382a0d","datavalue":{"value":"06E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439300$03E1CED8-15D7-4EBE-8EF6-489119CFE6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439300$FB038430-2618-4C47-95DA-3F22B941BD0B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19cda11dc0fad3930bcdcf32324426af4e6e5913","datavalue":{"value":"6066685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439300$F5E6126C-79E4-4575-A3EB-3343D7FBE086","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830b3f19bbe145e95760b308f4e92655064d6f9","datavalue":{"value":"Top(X)","type":"string"},"datatype":"string"},"type":"statement","id":"Q439300$887F9014-E64A-4792-A4A4-4A9E3F15BE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3af357aec90c5907f64b44b8c9320f81d1cd94da","datavalue":{"value":"subspaces of \\(2^{P(X)}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q439300$376572A4-BFC5-4F9E-B066-EFE98AD1D140","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7606fe20d73c5baafe7fe3cb75bb917b4a408427","datavalue":{"value":{"entity-type":"item","numeric-id":631518,"id":"Q631518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439300$3B81DFB1-BF1F-4756-AFBE-FACA55267ED1","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":"Q439300$F3D55097-6282-4937-BB0D-95BFF5B0193D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b31131a38d5db8a66078e75c09c1ea9038dd9df6","datavalue":{"value":"W2315243216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439300$AB14ACC1-BC52-448A-89C4-7C2EDF07BFA3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb4dcbca89000a23287e12f14a4b846f47827b7a","datavalue":{"value":{"entity-type":"item","numeric-id":5761001,"id":"Q5761001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439300$03CF5B41-57D1-4487-B5A7-4B5C0F14C34C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5693d3f8be5704b52798a410190ad63532f1d05","datavalue":{"value":{"entity-type":"item","numeric-id":1862022,"id":"Q1862022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439300$9CDADE2B-7755-4C8B-B1FA-91A0B6A87343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a57446329c2f0c346f8994122e88c6ce28c6b2dc","datavalue":{"value":{"entity-type":"item","numeric-id":4229119,"id":"Q4229119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439300$CC69D641-61FA-4430-8461-65EAC6CD2E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89220ab8d602c71315d6ba104b33f57b84a863d5","datavalue":{"value":{"entity-type":"item","numeric-id":790108,"id":"Q790108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439300$1FF5EC7D-99D5-4399-B80B-D906095ADB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5156c5ff800336a533897717f2dd6679e4890a92","datavalue":{"value":{"entity-type":"item","numeric-id":1213671,"id":"Q1213671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439300$70FDDFCF-BDC3-4628-AC3E-2E7E2582817F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a78fe8a50d6a6c45cadea7fc3be9ea82150f3ad6","datavalue":{"value":{"entity-type":"item","numeric-id":4858033,"id":"Q4858033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439300$CC231A5C-7045-4660-BC14-61A96D97FE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41cb5024bff9fc457fc25cb549dade37d78832af","datavalue":{"value":{"entity-type":"item","numeric-id":4224293,"id":"Q4224293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439300$16815F37-CF1C-4BD7-A8EE-D15EC3E82334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d251713f495ae5c4c6e62fb7311cf043e63cc6ed","datavalue":{"value":{"entity-type":"item","numeric-id":1295343,"id":"Q1295343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439300$C585CD50-7DA5-47FE-8D8C-14B87C4FD33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d021a5241e46f66674fcb2e68861ad6fd5a51f20","datavalue":{"value":{"entity-type":"item","numeric-id":1877599,"id":"Q1877599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439300$6FA4027D-263E-45B9-B4FA-9FC63CE32481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1956eafe4032f261d5400a091049e8a26a5dda1","datavalue":{"value":{"entity-type":"item","numeric-id":1219903,"id":"Q1219903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439300$9B017DD8-749B-4E58-B135-977DD4591637","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c261fc37d130464a8c344c2d767d3a5504f346fb","datavalue":{"value":"10.1016/J.TOPOL.2012.05.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439300$F9165DB5-DB5F-4BE6-A40F-ED45792522C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1339fea77a47f6a5d73264bc0dc0bd7b7404d504","datavalue":{"value":{"entity-type":"item","numeric-id":1935835,"id":"Q1935835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f71e2b3bcbd6600935bf4cda71c4ad7269ce8e9","datavalue":{"value":{"amount":"+0.773303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q439300$25BC4921-A6C0-45FF-BE5B-7E189B5063E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aac781d39bd0cc7047974d96bf357074f1620a45","datavalue":{"value":{"entity-type":"item","numeric-id":963505,"id":"Q963505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d3b4e583abea16cb95a7999c8d94193aa4c74b3","datavalue":{"value":{"amount":"+0.7732524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q439300$AD9BFD1C-E320-4C9A-89E0-7E11DA7E7B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a74f74387881c7ef66592bf00306b87f87d37330","datavalue":{"value":{"entity-type":"item","numeric-id":3565695,"id":"Q3565695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d3b4e583abea16cb95a7999c8d94193aa4c74b3","datavalue":{"value":{"amount":"+0.7732524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q439300$8758506D-0D70-45B8-9ADB-C78779EFD24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89bc635187abb6b78ff4a5838d8c3461c6b36962","datavalue":{"value":{"entity-type":"item","numeric-id":5379780,"id":"Q5379780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b29a469427ccbbadf570e1151906000c62accc4","datavalue":{"value":{"amount":"+0.75604683","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q439300$A8399C31-794D-415D-84E0-A7D37B49AE82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c6db94b50f247fd2fa7eb7581e03dc20c036fb2","datavalue":{"value":{"entity-type":"item","numeric-id":262972,"id":"Q262972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ec8614bd8268dff99fe922195a3810631aa11e9","datavalue":{"value":{"amount":"+0.74400824","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q439300$C11DD105-90C8-4715-ADE3-974AB09E2B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c32c9b506de6164b0063e69230180e5df946923","datavalue":{"value":{"entity-type":"item","numeric-id":1575971,"id":"Q1575971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bd61f97e0d18a82bb5f1bfda31a5248eaf0f8fd","datavalue":{"value":{"amount":"+0.73673373","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q439300$BC12BF88-E356-4EC4-8690-1226A9D4D162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d273ad121a7dbcd34ebfb44e3f2b642259a57ae","datavalue":{"value":{"entity-type":"item","numeric-id":676796,"id":"Q676796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83a14140d58392a631b25a2abed39c56fb7734b5","datavalue":{"value":{"amount":"+0.73537576","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q439300$797201CD-4F20-4E35-86F6-7EE7C47CB90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b28f9d564de30fa823ed835c6d2356286e81fd71","datavalue":{"value":{"entity-type":"item","numeric-id":3067354,"id":"Q3067354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bbe135cb3b473b1e9474a51d80879961bde69ec","datavalue":{"value":{"amount":"+0.73102045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q439300$2DC5463E-9365-406E-81C1-F5C50762C067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4106682e20188392b9733c1c086ddd2f3d9c5fe","datavalue":{"value":{"entity-type":"item","numeric-id":3338249,"id":"Q3338249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6388750ec042c427540cf3691dc35e744e321ac","datavalue":{"value":{"amount":"+0.7268136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q439300$67EFE678-1A72-47EA-9E95-35C0DC4894F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"869078f21317fbea00954000348d6a80d9073daa","datavalue":{"value":{"entity-type":"item","numeric-id":4830343,"id":"Q4830343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"232b719c406e56bec4551e4ac4c5dacc24921035","datavalue":{"value":{"amount":"+0.7261245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q439300$9EA92CD4-4386-4A72-A0FB-851265707F8A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"633458bcb6744175b59699b950ef8aa780c0e8e7","datavalue":{"value":"In the 1930's, \\textit{G. Birkhoff} introduced and studied the order-theoretic aspects of the set \\(Top(X)\\) of all topologies on a set \\(X\\), [Fundam. Math. 26, 156--166 (1936; Zbl 0014.28002)]. The present work analyzes families of subsets of a set \\(X\\) naturally identified with members of the Boolean space \\(2^{P(X)}\\) (a product of the discrete space \\(2 = \\{0,1\\}\\)): The main interest lies on the set \\(Top(X)\\) and on the set \\(Lat(X)\\) (respect., \\(LatB(X)\\)) of all sublattices (respect., \\textit{bounded} sublattices) of \\(P(X)\\). Many sets are shown to be closed subsets: For instance, the set of all \\(T_1\\) topologies on \\(X\\) is closed in \\(Top(X)\\) and the sets \\(Lat(X)\\) and \\(LatB(X)\\) are closed in \\(2^{P(X)}\\).NEWLINENEWLINEThe main results in the paper are: (i) the subset \\(Top(X) \\subset LatB(X)\\) is a dense and co-dense subset with empty interior; (ii) \\(LatB(X)\\) is a Hausdorff compactification of \\(Top(X)\\); (iii) \\(Top(X)\\) is not locally compact. Also the authors introduce an expansion of the first-order language of Boolean algebras by a unary predicate symbol. In this language it is proved that a subspace of \\(2^{P(X)}\\) is compact when it has a definition expressible by a collection of universal sentences, thus \\(Top(X)\\) is not first-order definable by first-order universal sentences.","type":"string"},"datatype":"string"},"type":"statement","id":"Q439300$E3CD19AA-D8CC-40A3-BB5F-1422EBDE2C17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:439300","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:439300"}}}}}