{"entities":{"Q1293977":{"pageid":1304727,"ns":120,"title":"Item:Q1293977","lastrevid":68775078,"modified":"2026-04-13T01:58:31Z","type":"item","id":"Q1293977","labels":{"en":{"language":"en","value":"On the Cantor-Bendixson derivative, resolvable ranks, and perfect set theorems of A. H. Stone"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1310635"}},"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":"Q1293977$470056E3-352B-4F7D-930D-ACE3B87347F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae5809d882fb8f464ce2fcfa5d680f197c7353b1","datavalue":{"value":{"text":"On the Cantor-Bendixson derivative, resolvable ranks, and perfect set theorems of A. H. Stone","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1293977$931E0C0E-A68E-4E59-9847-74D4F823BDE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f5688794e587d6ebcff26c16d30bde6cc2db124","datavalue":{"value":"0924.03093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293977$294F4AAB-07E9-43B7-882E-D4370DC664CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7f9d36e85c3607c39b6c6f382e038110974ff70","datavalue":{"value":"10.1007/BF02808178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293977$11A2838E-453F-4790-8124-4238B8F8D0F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"45b810543486b5174bc44c04a33b000f7b410363","datavalue":{"value":{"entity-type":"item","numeric-id":555801,"id":"Q555801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293977$093DD83D-B637-4C52-8DEA-3260DCBF0317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8a2771bfe9e03b9deed15fb94156eadc6173377","datavalue":{"value":{"entity-type":"item","numeric-id":401452,"id":"Q401452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293977$063D110D-6A25-4C6D-A0D8-015C6F075403","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293977$3908951E-3D16-44BF-A7FB-F7DA9AEEE1CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3101a11bd8e29272e2d08448a17f7950c315162f","datavalue":{"value":{"time":"+1999-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1293977$600D5595-F1A1-437A-8CE7-EC78E09984B1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ddabaa7d8bce48890d5b36837ccde870600ec99e","datavalue":{"value":"Let \\(X\\) be a compact metric space and let \\(2^X\\) be the space of compact subsets of \\(X\\) with the Hausdorff metric. A Borel derivative on \\(2^X\\) is a Borel map \\(D:2^X\\to 2^X\\) such that \\(D(K)\\subset K\\) for \\(K\\in 2^X\\). For example, the Cantor-Bendixson derivative is a Borel derivative. The iterations of \\(D\\) are defined inductively as follows: \\(D^0(K)=K\\), \\(D^{\\alpha+1}(K)=D(D^\\alpha(K))\\), and \\(D^\\alpha(K)=\\bigcap_{\\beta<\\alpha}D^\\beta(K)\\) for limit \\(\\alpha\\). The rank \\(\\delta:2^X\\to\\omega_1\\cup\\{\\infty\\}\\) determined by \\(D\\) assigns to a compact set \\(K\\) the minimal \\(\\xi\\) with \\(D^{\\xi+1}(K)=\\emptyset\\), if such \\(\\xi\\) exists, or \\(\\infty\\) if \\(D^\\xi(K)\\neq\\emptyset\\) for all \\(\\xi\\). The main result of the paper says that for any analytic set \\(A\\) in \\(2^X\\) if for some \\(Z\\subset A\\) the set \\(\\{\\xi:Z\\cap\\delta^{-1}(\\{\\xi\\})\\neq\\emptyset\\}\\) is stationary in \\(\\omega_1\\), then for all but non-stationary many \\(\\xi<\\omega_1\\) each \\(F_\\sigma\\) set containing \\(A\\cap\\delta^{-1}(\\{\\xi\\})\\) intersects both \\(Z\\cap\\bigcup_{\\alpha<\\xi}\\delta^{-1}(\\{\\xi\\})\\) and \\(Z\\cap\\bigcup_{\\alpha>\\xi}\\delta^{-1}(\\{\\xi\\})\\). With a Borel derivative \\(D:2^X\\to 2^X\\) a partial order \\(\\preccurlyeq\\) on \\(2^X\\) is determined by \\(L\\preccurlyeq K\\) iff \\(L=D^\\alpha(K)\\) for some \\(\\alpha\\). The second main result of the paper says that if an analytic set \\(A\\subseteq 2^X\\) intersects stationary many layers \\(\\delta^{-1}(\\{\\xi\\})\\) then \\(A\\) contains an \\(\\preccurlyeq\\)-antichain intersecting all but non-stationary many layers \\(\\delta^{-1}(\\{\\xi\\})\\) in a Cantor set. These results are presented in a more general framework of resolvable ranks introduced in the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293977$2D2259AB-BDEB-461F-8A56-2AFF30554019","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24f8d16b2be3be7c389bb7bc4bfcdf6adc672a29","datavalue":{"value":{"entity-type":"item","numeric-id":173771,"id":"Q173771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293977$D1C47547-DE5B-4A2A-9C8A-62A20C3E8CEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293977$89DFA5C0-B9AD-4143-A3A9-5BE03728F945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"486e712aa0e58a7d88cad0afe626adea8bd0f027","datavalue":{"value":"54E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293977$D0C07B8F-D942-4EFD-896C-19133BA9D29D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3933b21dbb425c0c8ed83b309b429364663b994","datavalue":{"value":"54H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293977$C2EEC887-8EDC-4B7C-AE8C-FA07B97FA9B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"040864a7d42f47c1a6de43c87233a0405b309d35","datavalue":{"value":"1310635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293977$580B4D5E-39F6-4633-96EE-47ACB6F02FCA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"852638471da28d34f527bd04c185228e033c4e0d","datavalue":{"value":"Borel derivative","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293977$70BA5D83-7953-4EDC-A0CE-6FA0D1F93578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d90a5dc5bf4e046d63e4ff4378cbbc351fb6b3de","datavalue":{"value":"Cantor-Bendixson derivative","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293977$0E20B7A6-AECF-4FC0-B950-D9A0468365D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e202f5abb41593763e218ccafab16957c4f43d80","datavalue":{"value":"perfect set theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293977$CDB2020D-9D87-45EE-86E4-DE9420C3D9D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37c45ab8ab2c5122fe7efcc3def95bb312781b83","datavalue":{"value":"resolvable ranks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293977$A10DF7B6-0502-4E30-BF45-20F7663BC352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c63b3ffd99d47508067b9473fa5f34196744ee39","datavalue":{"value":"stationary set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293977$E2D4743C-21D3-4D41-B835-926541DADBDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0ed6d42d7a464d78002f317f1ee30eedfeaaa20","datavalue":{"value":"analytic set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293977$D8A15DA1-2A46-414D-BB12-EC9BE54E05D8","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":"Q1293977$7D659511-C6E6-4023-B3A0-6D994F730019","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"96db26a133e591d6f76b57adcc3162a62135f21a","datavalue":{"value":{"entity-type":"item","numeric-id":3345432,"id":"Q3345432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293977$49D8E639-86AD-4328-8B92-D2BED0D1D7EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e73b4b1934dbd4e3b488d0c1dacb86a8ad68d327","datavalue":{"value":{"entity-type":"item","numeric-id":4868621,"id":"Q4868621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293977$EAE8A8F1-F66B-484D-8C92-FA2D6EEF0431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e3dd80b67c457f311539d9d7b618fab1ceb0b90","datavalue":{"value":{"entity-type":"item","numeric-id":1379778,"id":"Q1379778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293977$5A919AAF-CE4F-4343-91C0-F24CD2F9EA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22f681c5e8ff0327695e1d8e81cc36969784893f","datavalue":{"value":{"entity-type":"item","numeric-id":4227935,"id":"Q4227935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293977$5F31957B-D43F-4A4E-BAAE-ADEE2B0687BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be0f7163f3e23f54e4a9ecf5fd117a549c98b0df","datavalue":{"value":{"entity-type":"item","numeric-id":4281184,"id":"Q4281184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293977$6C51DC12-0C8E-4409-BF59-BD40617C69E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c56e5f3d04099429d7abf8e0094315eba6ba178","datavalue":{"value":{"entity-type":"item","numeric-id":1332843,"id":"Q1332843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293977$5BCE4693-0E9D-42D3-94A2-165DAC06DDF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea0f884704c36167f926d336ee3820616cb6ed87","datavalue":{"value":{"entity-type":"item","numeric-id":3833021,"id":"Q3833021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293977$D6D32BEA-F559-4613-A2C7-1815F4712EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293977$61802963-7A9B-40A0-97C3-675D5E270AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06fbe4d57ee638c21da9a8d8dbb071257ac3948c","datavalue":{"value":{"entity-type":"item","numeric-id":5541832,"id":"Q5541832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293977$40A40EA3-CCB6-4809-A9C0-8601C9CA2A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9469215bbaf893cdc0985c90449b6696b785b107","datavalue":{"value":{"entity-type":"item","numeric-id":1229868,"id":"Q1229868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293977$AD743D6F-ACF2-4D67-B71A-08F86E19459C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"987c8a17228df535e71c1530a662c113748ec9e4","datavalue":{"value":{"entity-type":"item","numeric-id":4875415,"id":"Q4875415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293977$F6000216-57CF-468F-9C32-0123D0160D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c987e3d804e80776eecbcdcd2de6b05fea7fa1f5","datavalue":{"value":{"entity-type":"item","numeric-id":5737109,"id":"Q5737109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293977$C0E9E182-9362-490C-B620-15C52898AE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2600ce027707f34598f3b3127aa32d60ca83da25","datavalue":{"value":{"entity-type":"item","numeric-id":4171285,"id":"Q4171285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293977$98B102F9-137B-43E6-BA82-AD27F41E768C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d0f713ca7224f7ef45911967a9bc8a81e8d2cc1","datavalue":{"value":{"entity-type":"item","numeric-id":4188419,"id":"Q4188419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293977$188DBEBD-E134-4066-A6AF-BACB75859298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a31f09fa7ccd6de695288a075588bafa02778ad","datavalue":{"value":{"entity-type":"item","numeric-id":4314689,"id":"Q4314689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293977$1286E3BD-9A78-45A9-B465-A6C6CD2A1E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a799171caa49a0470182d07555c899fd8185e835","datavalue":{"value":{"entity-type":"item","numeric-id":5722778,"id":"Q5722778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293977$6CF7779B-351D-47E2-967B-946CD914082C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddb1cb38e94bfb581d8da68700a0df38c4bc74e6","datavalue":{"value":{"entity-type":"item","numeric-id":5657390,"id":"Q5657390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293977$159D800A-877F-431D-A3AF-5A82C981D635","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e2aa3c14b643484861610c700150d31dd2d7d38e","datavalue":{"value":"https://doi.org/10.1007/bf02808178","type":"string"},"datatype":"url"},"type":"statement","id":"Q1293977$1F50DF4C-E5BA-45BD-89AF-54E9895F8BA1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b8e1e972864c9467cba07628a5f8c198541288c0","datavalue":{"value":"W2077534088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293977$111108AE-F3C1-449C-8C76-A3E6710800A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"543d7ac86718e60c4f1bb75e244ae023d04f96b0","datavalue":{"value":{"entity-type":"item","numeric-id":1966253,"id":"Q1966253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14687eddcb4ec3dff5899b78b5d392857c4bf989","datavalue":{"value":{"amount":"+0.7270961999893188","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":"Q1293977$042B6472-1720-4C7F-8AD3-12BF13599BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a4f82f85ce9f168482152a1263ea27f167bc58","datavalue":{"value":{"entity-type":"item","numeric-id":5185693,"id":"Q5185693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e3b512b7de314dbb32709161071cfa3c0435de9","datavalue":{"value":{"amount":"+0.72586590051651","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":"Q1293977$D7EB5BDA-F3E6-48F5-8D46-2E936FE69090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3c474e9409e0697edeea9787ee90387cbc28f70","datavalue":{"value":{"entity-type":"item","numeric-id":3345432,"id":"Q3345432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c87796cbee14e09557f69b2382c45fbbd503044","datavalue":{"value":{"amount":"+0.7253413796424866","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":"Q1293977$7A473819-23E2-4F42-ABE6-5DD89AA7BF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"458729b5a644607e7955ebb5a43327a370d660c4","datavalue":{"value":{"entity-type":"item","numeric-id":1084100,"id":"Q1084100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffdd685b8b0738e55464867de6a3796fb3081380","datavalue":{"value":{"amount":"+0.7204859852790833","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":"Q1293977$43018906-F139-4830-9AE5-3B165A52F59B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the Cantor-Bendixson derivative, resolvable ranks, and perfect set theorems of A. H. Stone","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_Cantor-Bendixson_derivative,_resolvable_ranks,_and_perfect_set_theorems_of_A._H._Stone"}}}}}