{"entities":{"Q2766392":{"pageid":2777131,"ns":120,"title":"Item:Q2766392","lastrevid":83153876,"modified":"2026-05-07T06:20:53Z","type":"item","id":"Q2766392","labels":{"en":{"language":"en","value":"Delays, recurrence and ordinals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1696307"}},"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":"Q2766392$E8839FFC-36A4-4BA0-9F3F-4AAFE62081D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2712e2b37842586120b0f7674dcd2f99374e2fda","datavalue":{"value":"1017.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2766392$1BE84D36-CAA6-44DF-9233-066DEE270730","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b4db40807b63d57aecad3ef828df0e3a30d26ae","datavalue":{"value":"10.1112/S0024611501012734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2766392$7C89C383-7F66-4705-A508-CF6F44299B50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"add45323944bf63dbd1dd63bd05c680569804e5c","datavalue":{"value":{"time":"+2002-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2766392$362413AE-B606-4937-ACB4-9393013F07B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2766392$3FB437B5-2F0A-4071-AD06-69FCBEB6E78C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"162400a10781af61bdd5cefbc3066e403d730f80","datavalue":{"value":"37B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2766392$D36FBF89-6D97-4DC2-96EE-A7484A70A4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b559307b5b2969939e6945d65ee127220f8f6f4b","datavalue":{"value":"37B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2766392$D447F9DB-D71B-4346-8903-F726E568D2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3933b21dbb425c0c8ed83b309b429364663b994","datavalue":{"value":"54H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2766392$F1F98375-5484-4767-B52F-65AF0D9D9170","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"afd2d476ea393381614afa07972a6c492cadd216","datavalue":{"value":"1696307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2766392$8E4C2370-868E-46D6-87EC-EECCC29D6A88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66519391ea9a1978cb8c59756587a65be2897a22","datavalue":{"value":"Polish space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2766392$5D578FFA-735D-449D-854D-C90650330A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7efa12a784ca975c898939b01ad4328daced2a2","datavalue":{"value":"Borel set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2766392$38CCDB00-78F4-4782-B664-6B026CFFD895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0ed6d42d7a464d78002f317f1ee30eedfeaaa20","datavalue":{"value":"analytic set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2766392$DD2EB25E-7DA6-4D01-A1CC-6CB01E2EBC04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdf835a3110a8b02fe3c7aa029b1674fa67c2560","datavalue":{"value":"continuous function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2766392$170FA33E-DC73-4D34-97C2-3BC68E1D4EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d1cb0c92ec117e721722563d91e34f49c8d853c","datavalue":{"value":"orbit","type":"string"},"datatype":"string"},"type":"statement","id":"Q2766392$27165E52-7C3A-4CF5-939C-3B0E1694813F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89b5c28ce31c1759628c64ba1269e0bb145a7d1d","datavalue":{"value":"recurrence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2766392$5F49968D-EC5B-422E-B129-B2E382ED2F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a69f0df29fc376f8cab44fccdf78726d7e892b6","datavalue":{"value":"ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2766392$0B9769FA-A98F-4820-8701-04902FA855F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d278d91d33134d454caac0cb9b809519edd50f5","datavalue":{"value":"Baire space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2766392$C7FD27BE-8BF5-48CB-9F88-01FF41B67B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58fbf3a0598460101f5504019dae16d97424b174","datavalue":{"value":"shift function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2766392$8887E115-1567-4D62-A952-88917960FBC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b12abbcb0a7b047891aaa5ec845e0574a8f7e04","datavalue":{"value":"descriptive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2766392$68CC96FF-CE7D-44B0-87B4-279AF625B90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a196c10f61cc375b4a447812d5ebeae4c0736a42","datavalue":{"value":"wellfoundedness of trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q2766392$49DAEF52-568F-4A94-A9B5-C722DA37DB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc7329150fe27681ac49436176e272e660b59210","datavalue":{"value":"boundedness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2766392$B15652F2-88B3-4508-ADA2-44D5E4E45118","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c70380042d747dc4fd26ae33db4b8519b40a0272","datavalue":{"value":{"entity-type":"item","numeric-id":1013094,"id":"Q1013094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2766392$9EA78B2C-C905-4178-880A-A3E7F319355A","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":"Q2766392$4AA21C05-4A44-40F4-98F3-0FE783AD695B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05bf393bfbd95dbcd5b3ab71957268f394364ec0","datavalue":{"value":{"text":"Delays, recurrence and ordinals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2766392$1B192121-497C-4DDF-914B-1C30A4687FFF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"05c75dfbfeb57f29a657af8520ed8349037c0a8a","datavalue":{"value":{"entity-type":"item","numeric-id":6486853,"id":"Q6486853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2766392$C6762966-6A94-4763-83F4-ED857D00F281","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bd744c75176952d66079b8ec421102e9b86e4036","datavalue":{"value":"Given a Polish space \\(X\\) and a continuous function \\(f : X \\to X\\), say that \\(x \\in X\\) attacks \\(y \\in X\\) if \\(y = \\lim_{n \\to \\infty} f^{\\alpha (n)} (x)\\) for some strictly increasing function \\(\\alpha : \\omega \\to \\omega\\). \\(\\omega_f (x)\\) is the set of points attacked by \\(x\\). In analogy to the Cantor-Bendixson derivative, define recursively a decreasing sequence of sets by \\(A^0 (x,f) = \\omega_f (x)\\), \\(A^{\\beta + 1} (x,f) = \\bigcup \\{ \\omega_f (y) : y \\in A^\\beta (x,f) \\}\\) and \\(A^\\lambda (x,f) = \\bigcap_{\\beta < \\lambda} A^\\beta (x,f)\\) for limit ordinals \\(\\lambda\\). The score \\(\\theta (x,f)\\) is the least ordinal \\(\\theta\\) with \\(A^\\theta (x,f) = A^{\\theta + 1} (x,f)\\). \\(A (x,f) = A^{\\theta (x,f)} (x,f)\\) is the abode, and \\(E(x,f) = \\omega_f (x) \\setminus A(x,f)\\) is the escape set. NEWLINENEWLINENEWLINEThe author shows that \\(\\theta (x,f)\\) is at most the first uncountable ordinal \\(\\omega_1\\), and that it is countable in case \\(A (x,f)\\) is a Borel set. This is proved by characterizing membership in \\(E(x,f)\\) via wellfoundedness of a certain tree and then appealing to the classical boundedness theorem in descriptive set theory. NEWLINENEWLINENEWLINESay that \\(z \\in X\\) is a recurrent point if it attacks itself. In general, recurrent points need not exist, but if \\(X\\) is compact, each \\(x \\in X\\) attacks at least one recurrent \\(z \\in X\\). Furthermore, \\(y \\in A(x,f)\\) if and only if there is a recurrent \\(z\\) which attacks \\(y\\) and is attacked by \\(x\\). Therefore, recurrent points exist if and only if \\(A(x,f) \\neq \\emptyset\\). NEWLINENEWLINENEWLINEThe shift function \\(s: \\omega^\\omega \\to \\omega^\\omega\\) on the Baire space \\(\\omega^\\omega\\) is defined by \\(s (y) (n) = y (n+1)\\). Refining the rank analysis which permeates many of the proofs, the author shows that for each countable ordinal \\(\\zeta\\) there is \\(x \\in \\omega^\\omega\\) with \\(\\theta (x,s) = \\zeta\\). By an even more sophisticated argument, he obtains the analogous result for a compact space. Finally, a connection to effective descriptive set theory is given, and a new complete analytic set is constructed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2766392$56D1A017-A967-40B0-95BE-D445EC51BF3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cc60a635522378680fe312094e5f9ec2e009c42","datavalue":{"value":{"entity-type":"item","numeric-id":3021803,"id":"Q3021803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2e62298075acab6f274e5f1a5ef26454129d503","datavalue":{"value":{"amount":"+0.8677088022232056","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":"Q2766392$7E59B5EB-F0A2-4F0F-BEC4-2CACB62EE696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a2c610767727d53213a64604e78bf94250959d7","datavalue":{"value":{"entity-type":"item","numeric-id":4379933,"id":"Q4379933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37498349abe2756be61ab2befd8ad19ef4f50e77","datavalue":{"value":{"amount":"+0.8663178086280823","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":"Q2766392$640392EA-6482-4FAB-A5A2-1CAFF06E36ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"818d2b1457f9023d9acbb50e48fb1fc588401673","datavalue":{"value":{"entity-type":"item","numeric-id":3314620,"id":"Q3314620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37498349abe2756be61ab2befd8ad19ef4f50e77","datavalue":{"value":{"amount":"+0.8663178086280823","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":"Q2766392$357B835A-DCF1-44CE-8501-C78BB77FD49E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62b183af003edc15a0c1c2381d17b7186f86880e","datavalue":{"value":{"entity-type":"item","numeric-id":4671995,"id":"Q4671995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"714f3b6b3b9949a7ceb6f3d044ba75668f950e3a","datavalue":{"value":{"amount":"+0.8221176862716675","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":"Q2766392$B0840B59-C887-4E49-8567-B9DF7477672B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"685c9ea654c708dbd5ae8b2e8c2135da8fd88298","datavalue":{"value":{"entity-type":"item","numeric-id":4671994,"id":"Q4671994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"365219a556d5a6ce055a36f639af6b87933cdea7","datavalue":{"value":{"amount":"+0.7541144490242004","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":"Q2766392$D4830F4D-4B91-4E3A-A347-5FD85717E107","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Delays, recurrence and ordinals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Delays,_recurrence_and_ordinals"}}}}}