{"entities":{"Q1019738":{"pageid":1021586,"ns":120,"title":"Item:Q1019738","lastrevid":69615249,"modified":"2026-04-13T08:13:18Z","type":"item","id":"Q1019738","labels":{"en":{"language":"en","value":"A constructive Borel-Cantelli lemma. Constructing orbits with required statistical properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5559002"}},"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":"Q1019738$859CC8DC-E40C-4117-87C9-99D35155DCEA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53e4308a8372d62872b714a14bedf340c837767d","datavalue":{"value":{"text":"A constructive Borel-Cantelli lemma. Constructing orbits with required statistical properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1019738$43F0F99A-0921-41D1-BB57-9081CCCCE5AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26879813e1685b7dd1d6ae6c38039089d3a8cf7a","datavalue":{"value":"1171.60002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019738$717E24CF-4A79-4D53-94FD-4C4457131C4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c7a9b7eac4826dc9c54ea10736fc72a8eb8749a","datavalue":{"value":{"entity-type":"item","numeric-id":187062,"id":"Q187062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019738$081423D2-46F7-47CB-AE68-A9D7D589F18C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72fd48acaa84d7826cd50a971b3c8781ec7710d1","datavalue":{"value":{"entity-type":"item","numeric-id":418116,"id":"Q418116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019738$BAC6FC24-B51F-4E62-8195-8B528FE95735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3b220c7e682174f582fc3ffa98568e82caff1ee","datavalue":{"value":{"entity-type":"item","numeric-id":406297,"id":"Q406297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019738$DB0CDE61-0CB7-4E5C-A66A-657EA448DFF7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019738$75DA6EA4-00CC-4E3C-B923-663E85278E21","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"007d554cae8390924a30c1fbbc213e981500b382","datavalue":{"value":{"time":"+2009-05-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":"Q1019738$2721111B-FC31-4413-ADA6-BAB9C913C3F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"85c68a05d5a6a05c0ac6acf996c5f7b62e159960","datavalue":{"value":"https://arxiv.org/abs/0711.1478","type":"string"},"datatype":"url"},"type":"statement","id":"Q1019738$AC0C2501-E6E5-4FA2-8DE6-CCF1247B2495","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6b9a9f6b872f6b410b4f7319bfd33ec147e90fac","datavalue":{"value":"This paper is concerned with the computable metric spaces and computable measures. The authors prove a kind of constructive Borel--Cantelli lemma.  As a consequence of this they obtain the existence of computable points which follow the typical statistical behavior of dynamical system (they satisfy the Birkhoff theorem) for a large class of systems, having computable invariant measure and a certain ``logarithmic'' speed or convergence of Birkhoff averages over Lipshitz observables. This is applied to uniformly hyperbolic systems, piecewise expanding maps, systems on the interval with on indifferent fixed point and it directly implies the existence of computable numbers which are normal with respect to any base.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019738$6D9C560F-DC03-43A8-9702-D347D5010C0D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0536959cfc4dfc92623370a89bdeee0eb0d487fe","datavalue":{"value":{"entity-type":"item","numeric-id":591057,"id":"Q591057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019738$5A227F6C-DF20-4CC5-B0C8-9BFAD4508916","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e53a6cfe05bc659e05b57b388d8f4856a6983d52","datavalue":{"value":"60A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019738$1826BD76-4878-411A-894E-CB0C8D638AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"452a95d35f44102a74d715b25e83366927e66d9c","datavalue":{"value":"60F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019738$2910D6DC-790D-4381-BEE9-DDE561A78C83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec827423ad12b32a836679ed92a7f750a6f65858","datavalue":{"value":"5559002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019738$5747ECEB-3BFA-4890-AE5E-60F851E428E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ceaef8c46877ffc7fde45dec2f9133fd73f8fad","datavalue":{"value":"computable metric space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019738$7864B51C-9FEE-455D-84A0-0B57FFF1E3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a70160cb706d2270c875477b279445d63f76410c","datavalue":{"value":"computable measures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019738$846D0B3C-E4C2-4066-BAE0-9FF068E9C089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d0b016db5a33dbb17020a32566f379f19a11a82","datavalue":{"value":"Birkhoff ergodic theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019738$F2D9DB4E-5AD8-4251-9B7F-266F30731ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26dc0bbafb088ffdce28885d4b335b063641d2ec","datavalue":{"value":"Lipshitz observables","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019738$A20EC506-C034-4D87-9676-BEDF0DDAD56E","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":"Q1019738$3680D5B9-7904-414D-9B53-2834D2F65E5F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e167bcfe7d6ace2744e493de5f31fa9444ccf1e4","datavalue":{"value":"W1978181468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019738$5D23C484-D747-4E92-8C71-8A9605D8A7C4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6ca23eab8bc62ed278e768bf92af22f46f3cd26c","datavalue":{"value":"Q124974439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019738$4024ED24-A390-44D1-9EE7-6C251A3C84B1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ec17660636a0f31c1276dab27eb2e16bf4256a4","datavalue":{"value":{"entity-type":"item","numeric-id":5958342,"id":"Q5958342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019738$18120C56-7B8C-417B-B2C4-0F6D20A77BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1e31fd78d6ab366b9b045d637407ee147a2951b","datavalue":{"value":{"entity-type":"item","numeric-id":4269108,"id":"Q4269108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019738$47ACFD43-A602-43DC-9E45-B625AB8B8EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6bbeff9ce8589255858815fefb6bf0d4fe1f307","datavalue":{"value":{"entity-type":"item","numeric-id":2566004,"id":"Q2566004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019738$9521884C-EB2D-4DC7-B556-3AD0531A0DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05daaa534b126ef8957889ebc08976af6582698e","datavalue":{"value":{"entity-type":"item","numeric-id":628764,"id":"Q628764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019738$3271D2AA-8A61-4DF9-B21E-B86F60C780EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"002b169cc44cc15aff96d5523db4e57042709a82","datavalue":{"value":{"entity-type":"item","numeric-id":4210546,"id":"Q4210546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019738$8AE7F9B4-5150-44FB-8CAA-6A5967E1EBB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"160868e091800d047d1878cef2c98e34e396f336","datavalue":{"value":{"entity-type":"item","numeric-id":1885585,"id":"Q1885585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019738$C6C3C77C-0AB1-4D1C-A390-CE80C0E465F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cad819cc2f27ae0d26ecf6e0fa589e64dcf928ea","datavalue":{"value":{"entity-type":"item","numeric-id":4840149,"id":"Q4840149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019738$33F6DDDD-3DBF-499D-8D3E-316294C2D2FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f46566aa4a308a834c13eed04f323f80b2bdabfc","datavalue":{"value":{"entity-type":"item","numeric-id":2389335,"id":"Q2389335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019738$56B72BDC-702F-4FF4-92F1-B1BFA0E572CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c18cdfcb23446f51bd05559d6d58b373c35509c","datavalue":{"value":{"entity-type":"item","numeric-id":4815022,"id":"Q4815022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019738$FD78E3E5-6F84-4CE1-AD43-28C128197E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f44335d8b4407fe312c6cfc8fc99e26ee2d0a2c","datavalue":{"value":{"entity-type":"item","numeric-id":4297799,"id":"Q4297799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019738$3C188498-A5CC-4F57-9D94-347DC9B98930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3014be6b7fd6ef39108aa610af76bba0c00945","datavalue":{"value":{"entity-type":"item","numeric-id":2550943,"id":"Q2550943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019738$444096C7-62D8-48FB-9441-709478F50637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1613a6ff5ac7b010de5ba58e55ebd9cdec3d5273","datavalue":{"value":{"entity-type":"item","numeric-id":5765445,"id":"Q5765445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019738$4E27446C-38EC-46EB-8AFE-BA96E168328D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"812b944852fc2053ee4c2f512a060671ff7963fe","datavalue":{"value":{"entity-type":"item","numeric-id":1129862,"id":"Q1129862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019738$CCEEEF4C-1CC2-4685-A138-D5D41A3A97B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e8a62cd46463c62f9ff883109d60c4695ebc92","datavalue":{"value":{"entity-type":"item","numeric-id":4485693,"id":"Q4485693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019738$794BBBFA-3D6D-4DAC-B0A5-61E98888EF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d8966e313e8e3f4402e289cd5c9bb6dade07882","datavalue":{"value":{"entity-type":"item","numeric-id":1292419,"id":"Q1292419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019738$0B42FDE1-D37C-43DF-8F5E-40CCDEFB6DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4723707d412aeeac6136f8eb8f8b47d3b99078cb","datavalue":{"value":{"entity-type":"item","numeric-id":1398109,"id":"Q1398109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019738$8B892C48-D5CF-4EA9-9F45-70EF40B04187","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6bcd48db6b89f30425833616f2cf160a18b5b13","datavalue":{"value":"10.1016/J.TCS.2009.02.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019738$24F69C07-83AE-4F9A-818A-771EC1C367CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9e7bca9cc318666a75074ea779e660781537987","datavalue":{"value":{"entity-type":"item","numeric-id":2862140,"id":"Q2862140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1973258e54ed9f8d5121b9af8eb91afe6817714d","datavalue":{"value":{"amount":"+0.86999786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1019738$696D6AF1-68ED-44BE-8628-0581287ED6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a551980f77b4582164d20af513a9db30ed4f8dd1","datavalue":{"value":{"entity-type":"item","numeric-id":1040565,"id":"Q1040565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7a221f8e92f03da07bc2d7ae1feff1ab5db3605","datavalue":{"value":{"amount":"+0.8691054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1019738$530E3BE7-DF22-40C5-9034-570B44A5E753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5719506bdb1d2a8a5008b1a194a369ea66947997","datavalue":{"value":{"entity-type":"item","numeric-id":5904061,"id":"Q5904061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"706063e661ab4fe930a51348fbb65f52776a0698","datavalue":{"value":{"amount":"+0.8647946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1019738$9B6C42BA-E950-4222-8C44-85F30430E0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d717bbdd523782d41cb592f97e612765a1e977ae","datavalue":{"value":{"entity-type":"item","numeric-id":5916171,"id":"Q5916171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"706063e661ab4fe930a51348fbb65f52776a0698","datavalue":{"value":{"amount":"+0.8647946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1019738$65A8F980-D859-4D4E-AAF6-C86AA6D1EAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"300e5f1e675d5ecf187c1a9a88e1c5697b1bf20c","datavalue":{"value":{"entity-type":"item","numeric-id":5917503,"id":"Q5917503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f51c8ea301c7ab513de85a3b808f02d5d65bdb6","datavalue":{"value":{"amount":"+0.86415917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1019738$7EA93049-B4E7-497F-AC0B-B705D4645A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f909f3c3069925a44929e895a2f04dc43d60d938","datavalue":{"value":{"entity-type":"item","numeric-id":4872841,"id":"Q4872841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3d23f4414bff235bcd994202eeab6631914e05d","datavalue":{"value":{"amount":"+0.86313915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1019738$6A01A9E2-1A12-4021-A050-E21F6EC9F4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa6255aa1062d829a4a65240cb0b259d55b4f923","datavalue":{"value":{"entity-type":"item","numeric-id":1995567,"id":"Q1995567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"942c96da5d2de5f4fdc060ff3ba097751f02be36","datavalue":{"value":{"amount":"+0.85953987","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1019738$78131559-133F-4942-B915-42D0CBD26094","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A constructive Borel-Cantelli lemma. Constructing orbits with required statistical properties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_constructive_Borel-Cantelli_lemma._Constructing_orbits_with_required_statistical_properties"}}}}}