{"entities":{"Q1163016":{"pageid":1173765,"ns":120,"title":"Item:Q1163016","lastrevid":70028388,"modified":"2026-04-13T11:57:04Z","type":"item","id":"Q1163016","labels":{"en":{"language":"en","value":"On the necessary use of abstract set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3758318"}},"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":"Q1163016$497577E7-57B2-4D82-9885-EB25D1797F3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"580cd1c8cc23cce73a8ce10750182aa44f63e3ba","datavalue":{"value":{"text":"On the necessary use of abstract set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1163016$46008F46-09BE-47E2-A40C-7CEB2366309E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96aee1238faf371c5503a692db1b218fa01bb27e","datavalue":{"value":"0483.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163016$341BBDCF-AF20-4B3B-BB42-D6CFAE704EE9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f7d9e53a5c5902e3de4562dc46f41fbc02dd633","datavalue":{"value":"10.1016/0001-8708(81)90021-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163016$7E91D0F3-3D1C-4DDB-86CE-9E028918D7AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163016$2B934D46-8D0D-4F66-857B-152FA9E5087D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q1163016$12BED118-AA2A-4BFF-B15C-1779CC9466F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163016$4A9ED649-CB1F-497D-AAAF-5A7D8A2CE3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163016$BDCDAEA2-0F11-451D-8B1D-9DFC784A0470","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b5573c4363cfb6824614052ee28ee93c8ae39ab","datavalue":{"value":"3758318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163016$233E8B6A-8A93-4061-A459-E1681EDF3C43","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c222d2154c724462abd633657d9386ca4ec975ff","datavalue":{"value":"Zermelo-Fraenkel set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163016$DA0EEFB1-EBD6-429A-A600-81C75DDEF4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7eb953076aa9ce7b6f6c5030f9a283a81c1b4d3b","datavalue":{"value":"Borel functions of several variables from the Hilbert cube into the unit interval or back into the Hilbert cube","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163016$5E390DFB-FEF9-4C8A-8E21-9FEB42976743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd69a042b2883bb31f36b1118ec728747c5b51b8","datavalue":{"value":"iterations of the power set operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163016$86573524-DD72-4101-BAB9-BCC0A9092F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d06372bbe354f9f4f211d1120f2eb8265ceaa59","datavalue":{"value":"finitely Borel sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163016$F0C4325E-C112-49F8-89B1-0924747A1F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36cd694a0795938f375d46f2c3b8ae0f556591e","datavalue":{"value":"Borel determinacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163016$9CEA6B47-3C6F-4051-91BF-BC82D90E26DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe5be01d0b99f53dc094f8badfdb96d0c2dcdfad","datavalue":{"value":"Borel diagonalization theorem for arbitrary Borel equivalence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163016$CBD547ED-069D-4A69-9892-F6124CB34BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85ae265b7ae283ad0acbed04055218102c3e6a3d","datavalue":{"value":"fixed point type theorems for Borel functions defined on a Borel quasi order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163016$326024D5-BBC4-4425-B883-9A7518F558A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3d47f93d88d729201fa1720fe408d24ddeaccd8","datavalue":{"value":"Borel Ramsey theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163016$A3818B41-6D3D-4D4C-8468-B8CEC9FDCD92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"180467cce92207199ac2adc9856069cb17811267","datavalue":{"value":"Morse-Kelly theory of classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163016$A046465E-8A74-4DBE-994D-84A0FE24B2BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4db7d460ffc6b3e0069ff40b20b2755df97aa354","datavalue":{"value":{"entity-type":"item","numeric-id":196044,"id":"Q196044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163016$C31B2D39-C3A0-457B-9932-3B467E5C4F43","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":"Q1163016$4D2D0783-B1BF-4D9F-9605-7FAF58D97853","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77d4b53b03ca6066410ffe414ab0c7bad923ecfa","datavalue":{"value":"https://doi.org/10.1016/0001-8708(81)90021-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1163016$B66B8812-0893-4DFE-9DCB-EAA729FFF7EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c4dcf245e76c05f730fa64f3b9822d52440c9864","datavalue":{"value":"W2093587077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163016$526AFCF7-C9D4-4AD3-999F-12BA4EF6BCB8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"43462c86ae02afa9195c70f32ca9140d08f0c928","datavalue":{"value":{"entity-type":"item","numeric-id":3926570,"id":"Q3926570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163016$1814B385-6A67-4514-BDA1-71C2FB2B0C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a9e9cd00bd888e0c2ec3144ef21f154ae7d49a0","datavalue":{"value":{"entity-type":"item","numeric-id":5573370,"id":"Q5573370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163016$FAABA08A-320E-436A-85A7-FBA29C142217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4805f38d8a13b8d932339f139b139686d1952c8","datavalue":{"value":{"entity-type":"item","numeric-id":5618369,"id":"Q5618369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163016$7C8EE325-E442-4368-A2AA-0BB8B4CADD64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0cc4a183a16ac598a5db517e80e2022883acbb7","datavalue":{"value":{"entity-type":"item","numeric-id":4182737,"id":"Q4182737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163016$16AFC24A-B2D1-4E4F-9105-7AB88059910E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b734ceb7555886c9ce8280fe0f39b73661cc4fa2","datavalue":{"value":{"entity-type":"item","numeric-id":3226862,"id":"Q3226862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163016$32288FF4-F610-4191-A6FA-AA25C37494B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"058c9849d1a01c16d1b1868cdad37665faa51283","datavalue":{"value":{"entity-type":"item","numeric-id":5619096,"id":"Q5619096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163016$F5AABC80-B723-46A2-9710-86D547694E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da8e8cc36d2b41104889e91dde28a77d4c70be46","datavalue":{"value":{"entity-type":"item","numeric-id":1229718,"id":"Q1229718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163016$3830A9BD-0FB5-461C-8C20-14BFADDA6429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60d8592c57bbc8686cef0b7e6d88577a971f47d3","datavalue":{"value":{"entity-type":"item","numeric-id":5666553,"id":"Q5666553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163016$9D693221-F7CA-4861-BF0A-27728D91EB3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the necessary use of abstract set theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_necessary_use_of_abstract_set_theory"}}}}}