{"entities":{"Q2518765":{"pageid":2529508,"ns":120,"title":"Item:Q2518765","lastrevid":50542178,"modified":"2026-01-14T08:30:13Z","type":"item","id":"Q2518765","labels":{"en":{"language":"en","value":"Borel extractions of converging sequences in compact sets of Borel functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5493237"}},"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":"Q2518765$EBCB30D9-E591-4A69-885A-287F02670C94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80a97ec603194b433ea2dc8902bfa4d64dfca53b","datavalue":{"value":{"text":"Borel extractions of converging sequences in compact sets of Borel functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2518765$9CDD8CB5-37A7-4A3D-8645-36F56C666944","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06e21bf85e952ec31ef827d0666b75f52d89d5ea","datavalue":{"value":"1158.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2518765$BE6851D5-DD12-4977-81F3-8D4F96A4BDC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3926c3f8f1620d06a254dea1a49d564cfd98354","datavalue":{"value":{"entity-type":"item","numeric-id":411826,"id":"Q411826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2518765$455AD985-D6AF-4ED4-AD8F-752C7A50FB5B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c5ad7b9baf8e531c6b1ad954eb5f2899cc8fe5e5","datavalue":{"value":{"entity-type":"item","numeric-id":85344,"id":"Q85344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2518765$60CF4F47-3FCB-4413-9EAF-5764C981666E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e9641c3d22c083c62eb9335e1946facf29f71bc","datavalue":{"value":{"time":"+2009-01-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":"Q2518765$6F7680CF-0B61-45CC-B0BC-7EFF1316B2EF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"99eeb5b0476c8fef170e8b32569b915dbae0fa12","datavalue":{"value":"A result of \\textit{J. Bourgain, D. H. Fremlin} and \\textit{M. Talagrand} [Am. J. Math. 100, 845--886 (1978; Zbl 0413.54016)] says that if \\(K\\) is a pointwise compact set of Borel functions on a Polish space then, given any cluster point \\(f\\) of a sequence \\((f_{n})_{n < \\omega}\\) in \\(K\\), one can extract a subsequence \\((f_{n_{k}})_{k < \\omega}\\) converging to \\(f\\). The author improves on this result by proving that this extraction can be achieved in a ``Borel way''.  Let \\(X\\) be a Polish space; when effective notions are considered then \\(X\\) is assumed to be recursively presented. We denote by \\(\\mathcal B (X)\\) the set of Borel functions on \\(X\\), and \\(\\mathcal B (X)\\) is endowed with the pointwise convergence topology.  The main result of the paper is the following effective extension of the above-mentioned result: if \\(K\\) is a compact subset of \\(\\mathcal B (X)\\), \\((f_n )_{n < \\omega}\\) is a \\(\\Delta^{1}_{1}\\) sequence in \\(K\\) and \\(f\\) is a \\(\\Delta^{1}_{1}\\) cluster point of \\((f_n )_{n < \\omega}\\) then there exists a \\(\\Delta^{1}_{1}\\) subsequence of \\((f_n )_{n < \\omega}\\) converging to \\(f\\).  This result is closely related to the earlier work of the author in [Mathematika 34, 64--68 (1987; Zbl 0644.54012)], where he obtained that if \\(K\\) is a compact subset of \\(\\mathcal B (X)\\) then every \\(\\Delta^{1}_{1}\\) sequence in \\(K\\) has a converging \\(\\Delta^{1}_{1}\\) subsequence, which is the effective analogue of a result of \\textit{H. P. Rosenthal} [Am. J. Math. 99, 362--378 (1977; Zbl 0392.54009)], stating that every sequence \\((f_n )_{n < \\omega}\\) in a compact subset \\(K\\) of \\(\\mathcal B (X)\\) has a converging subsequence.  The paper emphasizes the interest of effective methods in the treatment of classical descriptive problems. Accordingly, for the sake of non-specialist readers, the author gives a quick presentation of the main effective concepts and results used in his work.   We also recall an effective descriptive set-theoretic result of the paper which plays an important role in the proof of the main result and is interesting in its own. Let \\(\\mathcal F\\) be a filter on \\(\\omega\\). We say that \\(\\mathcal F\\) decides a set \\(A \\subseteq \\mathcal \\omega\\) if either \\(A \\in \\mathcal F\\) or \\(\\omega \\setminus A \\in \\mathcal F\\). For a family \\(\\mathcal A\\) of subsets of \\(\\omega\\), \\(\\mathcal F\\) decides \\(\\mathcal A\\) if \\(\\mathcal F\\) decides every \\(A \\in \\mathcal A\\).  Theorem. For every family \\(\\mathcal A\\) of \\(\\Pi^{1}_{1}\\) subsets of \\(\\omega\\) which is \\(\\Pi^{1}_{1}\\) in the codes, there exists a filter basis \\(\\mathcal D \\subseteq \\mathcal A \\cap \\Delta^{1}_{1}\\) such that \\(\\mathcal D\\) generates a \\(\\Pi^{1}_{1}\\) filter which decides \\(\\mathcal A\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2518765$22207F8E-6E57-4DDE-A27A-630B3240C98C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f90841066c0eea3979703fe8132637ed0fffebc1","datavalue":{"value":{"entity-type":"item","numeric-id":375849,"id":"Q375849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2518765$1D2849C2-BEEC-4894-AFD3-9CDB7A2A5578","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2518765$DC518E3F-E999-4412-90C2-ECAEB35DD0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"50e54321cc80124293b2516610b1f4290bd18505","datavalue":{"value":"54C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2518765$AFC6EA7A-AB9E-4B11-8136-F8E6E5ED1748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3933b21dbb425c0c8ed83b309b429364663b994","datavalue":{"value":"54H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2518765$7BC61AA4-2F03-47B7-A71B-C0BB7F501229","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f563e3836f1fd56d81ac425fe6d66a49c39d1cc5","datavalue":{"value":"5493237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2518765$075D243A-D4BF-4E5C-85FB-CDB490E5CE67","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ebb6ee5d0d25ad626de053a7ebfc9ec6a2e04d4","datavalue":{"value":"compact set of Borel functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2518765$D05D796C-C93F-4BD0-A67F-E1EE6F33668A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d25d6b38f0afb7281107947cd62704d6e590fdf5","datavalue":{"value":"cluster point","type":"string"},"datatype":"string"},"type":"statement","id":"Q2518765$5E3881C9-F614-4911-84E9-574DD1326422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f30afa8cee118518d2f57e0512e390ee58643cc5","datavalue":{"value":"convergent subsequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2518765$873C2BB2-A397-4FF9-A210-84506E558B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6cd522e6589a4836ae9f596063dd4c498054372","datavalue":{"value":"effective descriptive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2518765$96572AB6-DA3D-4BF2-A74E-B2499153E0FE","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":"Q2518765$95A6CED9-C12A-46E9-8296-5466CF482A43","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"efe81b010fc0cfae351d76c8aa188e70ade4c00b","datavalue":{"value":"https://doi.org/10.1016/j.jmaa.2008.06.031","type":"string"},"datatype":"url"},"type":"statement","id":"Q2518765$E58D5178-D564-46E4-AD40-FEC336B425D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd1b5c8d29f1a2eb613944bbe2f0aeb870d89831","datavalue":{"value":"W1973354184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2518765$D80063C5-6947-42AD-BB48-37BDDAD8E556","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ee6a51317722354410fc8df728662964ddfebcd","datavalue":{"value":{"entity-type":"item","numeric-id":5440224,"id":"Q5440224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2518765$5EC35BA9-1106-4E46-BA60-DD9BB68D5617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"185f327059521931d9d2220a9900a4d1422c7eb0","datavalue":{"value":{"entity-type":"item","numeric-id":2480871,"id":"Q2480871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2518765$CE38AE3B-1CFD-46FD-BCCC-AF990DB944C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55a35607fc3b36ac1bcd5b789febff70272734a2","datavalue":{"value":{"entity-type":"item","numeric-id":3047874,"id":"Q3047874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2518765$46751FE8-6727-4D3C-913C-964782F60319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45a1735301fe23d5e02ad54a20ecb64d1ae12569","datavalue":{"value":{"entity-type":"item","numeric-id":3787116,"id":"Q3787116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2518765$9A904E7E-2B52-4BD3-9463-138519760D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16526d0acb3532b558182b4cc77f3d1611e28ed3","datavalue":{"value":{"entity-type":"item","numeric-id":2501537,"id":"Q2501537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2518765$989559D3-4FD6-4C25-AEE0-DB3307CC7AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4387040eae9010cbf18aadb626f86ac910f5c8da","datavalue":{"value":{"entity-type":"item","numeric-id":3118345,"id":"Q3118345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2518765$92F5762D-101D-496D-B9FE-B0A5CFE5183D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa762974e3cb0286b2a40e5214b429aa00cb948","datavalue":{"value":{"entity-type":"item","numeric-id":1217684,"id":"Q1217684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2518765$1AB658EF-E997-4E9E-A7E6-41FCFB08EFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ffed035003a07fe22ab4edff0f17bdfdb93781","datavalue":{"value":{"entity-type":"item","numeric-id":1139038,"id":"Q1139038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2518765$DC6A4140-7337-45BD-A2E7-F1598850B39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"217030dccd6c3c6c3465c3ed9362610a02a0b83e","datavalue":{"value":{"entity-type":"item","numeric-id":4173946,"id":"Q4173946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2518765$B8F6B522-5454-4F26-922D-BB47E77F80A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43224d188437f230ea76494d0a43aec915f05f0","datavalue":{"value":{"entity-type":"item","numeric-id":4198744,"id":"Q4198744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2518765$1925AF20-2D1B-4FEC-B85C-EF151A6DABFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb074406e4f78ce654b9b6583ef6bcefd512096","datavalue":{"value":{"entity-type":"item","numeric-id":4257714,"id":"Q4257714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2518765$1006E533-F3C2-4758-ADE0-6F9A46808AF6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"689c320df31c8de4e2b4425406e7ae7c0f6a13b7","datavalue":{"value":"10.1016/J.JMAA.2008.06.031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2518765$CF0ABFA1-F715-4346-B0D6-EF7AE13B6A36","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89cf5a3ee7eaae4d07ece4063ba18f3ef246c63b","datavalue":{"value":{"entity-type":"item","numeric-id":3787116,"id":"Q3787116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dc93671e06961113dc555101a455e4c3287ce98","datavalue":{"value":{"amount":"+0.8204787373542786","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":"Q2518765$578F6A60-CF6A-42B0-9CFE-84495E2C2911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0ed9bae46c84a180d5df4dafe04dd60203ef519","datavalue":{"value":{"entity-type":"item","numeric-id":5718683,"id":"Q5718683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b824221f08823a954db4cb48ed3ad36a757659bd","datavalue":{"value":{"amount":"+0.7428522706031799","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":"Q2518765$A41A60BA-10D2-48F5-A22D-4DE8D1E691FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d47e738389ee287036411f79a784827b6d8266e","datavalue":{"value":{"entity-type":"item","numeric-id":946585,"id":"Q946585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8de6ad3ad48a17f7ad9817e1c34b381123a09a88","datavalue":{"value":{"amount":"+0.741984486579895","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":"Q2518765$6C62E61C-01BA-4C77-A092-612F938E37CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"000b6912aca67166962849091ce969996b8f0a39","datavalue":{"value":{"entity-type":"item","numeric-id":3977668,"id":"Q3977668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fff27627afd026637a9472e3e422ba88e2e3957d","datavalue":{"value":{"amount":"+0.7369279861450195","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":"Q2518765$68105981-EF91-4255-A09D-ADC02FC6D878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dffd17c10ac4eaa5ee8b3e0ea61a64fe6ea713cd","datavalue":{"value":{"entity-type":"item","numeric-id":5440224,"id":"Q5440224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"437b534cd5e83a56c54a5a19c5e7df1b0506e34e","datavalue":{"value":{"amount":"+0.7363376617431641","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":"Q2518765$3AD0C884-E3F5-4C01-8A4B-7AEA58D404F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2518765","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2518765"}}}}}