{"entities":{"Q2040222":{"pageid":2050964,"ns":120,"title":"Item:Q2040222","lastrevid":72489138,"modified":"2026-04-14T05:16:03Z","type":"item","id":"Q2040222","labels":{"en":{"language":"en","value":"Transfinite sequences of topologies, descriptive complexity, and approximating equivalence relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7370919"}},"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":"Q2040222$F1158C69-4698-4B0F-9E05-DA5143BFDE8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c85e3e24a7381e78a16a3f7ade9694ff2401c699","datavalue":{"value":{"text":"Transfinite sequences of topologies, descriptive complexity, and approximating equivalence relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2040222$DCD57A7A-193C-4D31-871B-E415F26CBFCF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76ebb141b8bbccd083ad89895ea4d62150cb9e8f","datavalue":{"value":"1477.54004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2040222$A267CFA4-BE1A-420F-AED1-C2EB25106FB4","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":"Q2040222$2B63B63F-8BD5-4C0E-84AE-4164EEDF40A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b168cbdb70f056f1ff9fc87d7bff79f83c6e09a3","datavalue":{"value":{"time":"+2021-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2040222$D9A7F0FA-6CC3-4A37-B808-C2EA2D26709D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9794ea71f669abedf09b6a0dd97ab350e3a5d8e","datavalue":{"value":"https://arxiv.org/abs/1908.10480","type":"string"},"datatype":"url"},"type":"statement","id":"Q2040222$541F3311-ACC9-4886-B98A-A09696173C62","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0b68f378b54bd6da91c9b2f8372c0ac7480119b6","datavalue":{"value":"An increasing transfinite sequence \\((\\tau_\\xi)_{\\xi<\\rho}\\) of topologies weaker than \\(\\tau\\) on \\(X\\) is a ``filtration from \\(\\sigma\\) to \\(\\tau\\)'' if \\(\\tau_0=\\sigma\\) and the \\(\\tau_\\alpha\\)-interior and \\(\\tau\\)-interior of \\(\\tau_\\xi\\)-closed sets \\(F\\) coincide for every \\(\\xi<\\alpha<\\rho\\).  The main results assume that \\(\\tau\\) is a regular and Baire topology on \\(X\\) and the topologies \\(\\tau_\\xi\\) of the filtration are completely metrizable.  Under the additional assumption that \\(\\tau\\) has a neighbourhood basis consisting of \\(C\\)-sets in \\(\\sigma\\), the filtrations stabilize by reaching \\(\\tau\\). More precisely, if \\(\\tau_{\\xi_0}=\\tau_{\\xi_0+1}\\), then \\(\\tau_{\\xi_0}=\\tau\\).  Under the stronger additional assumption that \\(\\tau\\) has a neighbourhood basis consisting of \\(\\sigma\\)-Borel sets, the filtrations from \\(\\sigma\\) to \\(\\tau\\) with \\(\\rho\\ge\\omega_1\\) stabilize by \\(\\tau_{\\omega_1}=\\tau\\).  Additional assumptions on the existence of a neighbourhood basis of \\(\\tau\\) consisting of sets of some concrete Borel classes related to \\(\\alpha<\\omega_1\\) ensure that \\(\\tau\\) is reached at the latest by \\(\\tau_\\alpha\\).  A natural sequence of equivalence relations \\(E_\\xi\\) is related to each filtration \\((\\tau_\\xi)_{\\xi<\\rho}\\) by making equivalent those \\(x,y\\in X\\) for which the \\(\\tau_\\xi\\)-closures of the equivalence classes which contain \\(x\\) or \\(y\\) coincide. Let us formulate a particular corollary of the main result under the common assumptions on the filtration mentioned above. If the equivalence classes of some equivalence relation \\(E\\) are \\(\\tau\\)-open and \\(\\sigma\\)-Borel, then \\(\\bigcap_{\\xi<\\omega_1}E_\\xi=E\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2040222$16A0DB1C-7041-4AD7-B802-6AF9913A04C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e886f6e0421be5a8f743ae1b051b4f18a64974b4","datavalue":{"value":"54A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2040222$AF3E32EE-E615-407D-865C-B5B892A9730D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4388e9a976e18bebff2edd807ee73ae25eae8b00","datavalue":{"value":"54E52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2040222$1D919ED4-8757-4C0E-B314-020105B96A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3933b21dbb425c0c8ed83b309b429364663b994","datavalue":{"value":"54H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2040222$7187276C-6CAC-47A4-842D-5716B79680C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1bfb6c3a40ce7428c8d982406923d20202e2cf90","datavalue":{"value":"7370919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2040222$27DCEFDD-0C02-4335-93EB-D6E57DFF6461","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"016f5a6a2a8a7f1d5a2d6fd6783ab0d1bc450fb5","datavalue":{"value":"filtration of topologies from \\(\\sigma\\) to \\(\\tau\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2040222$4BD0020D-1332-41B5-B99B-03BA373FAAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e756fe15d489770396478927e027bab09b3a44a4","datavalue":{"value":"Baire topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2040222$69969B70-BF9F-40E1-A9FC-0A5B42442247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b445fbf5ce14875e40abed1d3a39e6dcdf2c88f3","datavalue":{"value":"Baire property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2040222$A3346DFC-397C-44B7-B290-D7077ADC52B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af47dd0d79a1f58f2e4b3e8819f78e985cf685b3","datavalue":{"value":"Borel hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2040222$8049DCBF-83FA-43C1-8827-28EA62151599","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3dfdf655f4c4510ce586943d11ba9dbf60caf665","datavalue":{"value":{"entity-type":"item","numeric-id":178067,"id":"Q178067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040222$EE57A1B0-21A0-4D11-BA5B-D79CDDFAA879","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"369582608e82dc217fc0f0973b8f9539c82c56fb","datavalue":{"value":{"entity-type":"item","numeric-id":549571,"id":"Q549571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040222$8255BD6A-EC19-42E1-BA04-7EDBC09E8A4F","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":"Q2040222$25829635-E383-488E-99B9-B118E7937CCB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b61334379be12a79af68234ae7176d4fd3a20968","datavalue":{"value":"W3164560202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2040222$8E9745BD-48B8-40A3-8E25-801EAACF9FAF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d1b955fbe2d3dd00ce4681bc0dc54340860cc822","datavalue":{"value":"Q114221632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2040222$1923ECBD-1EF7-4181-BB34-7CA327779612","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"90e12c78cb40efa4277b18193c242284fd067d6e","datavalue":{"value":{"entity-type":"item","numeric-id":4383175,"id":"Q4383175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040222$C26EA48F-F4E0-4352-B74A-D7EB2837CB76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7bcac66bb3dc49c58eac971c8f573186f643d4c","datavalue":{"value":{"entity-type":"item","numeric-id":4331784,"id":"Q4331784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040222$BB679747-F1DF-46A6-86FE-BD780177ADD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dd067e6920469fdfa2aca4f58bc5129534fe76c","datavalue":{"value":{"entity-type":"item","numeric-id":2401685,"id":"Q2401685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040222$BBAA4489-9390-43A9-BB1D-A4599FD6664B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f2aa622352fb97e57ea51d03b3e786ff3386623","datavalue":{"value":{"entity-type":"item","numeric-id":3994935,"id":"Q3994935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040222$F7B7D694-C82F-4A68-A434-7887C34041A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b84a1bc84832cb7d35d964f468cae2a78d67803","datavalue":{"value":{"entity-type":"item","numeric-id":2576992,"id":"Q2576992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040222$AE7D3FBD-EF9E-41C2-8B90-C26E907D9D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c03f6eb91fa77a00f0eee204fc95474cfd08d87e","datavalue":{"value":{"entity-type":"item","numeric-id":4933738,"id":"Q4933738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040222$D24407C6-A82D-4CEC-98EF-9E0C64A063A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f773300cd053ea51f6b2e01c0bd0b060f02131","datavalue":{"value":{"entity-type":"item","numeric-id":4323294,"id":"Q4323294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040222$CAD28F32-4DF8-4E72-8B5F-4D84D7DB74F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f557bcf8384240f50a3ed1a9f4f4234fbadee70","datavalue":{"value":{"entity-type":"item","numeric-id":5904770,"id":"Q5904770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040222$C66A51EB-B76B-4C1E-AB17-5B69B54BD8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80dda240455747b162c6efb3ffe8bc7897d1d1e1","datavalue":{"value":{"entity-type":"item","numeric-id":4934567,"id":"Q4934567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040222$202E749D-801E-4A17-85E4-8BCAEA5230FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e3e38c528d8f0cf60cbb3eb1922dfaf24bd910","datavalue":{"value":{"entity-type":"item","numeric-id":3638114,"id":"Q3638114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040222$EF30FBDB-E157-4F2A-BE00-F0737CE7BE57","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94c806fe395041b25455758c8ff748218a2777ba","datavalue":{"value":"10.1007/S11856-021-2153-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2040222$029556FD-5EE2-4799-9FD8-E8B867125473","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c2cd02190e5ac9a750807ac18f1cf7c5cfb657c","datavalue":{"value":{"entity-type":"item","numeric-id":3810505,"id":"Q3810505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e9a03fd7676de1a088bbdcbf9e62bf22562ef7f","datavalue":{"value":{"amount":"+0.6947881579399109","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":"Q2040222$90116B61-9DC1-424D-84D4-8212EF3EDFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29d2b92710a12679c9e7d71b368e81e04dee08a6","datavalue":{"value":{"entity-type":"item","numeric-id":3788010,"id":"Q3788010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d335c69a5c5b46104e6924464b0b2d938fe84f0b","datavalue":{"value":{"amount":"+0.6880510449409485","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":"Q2040222$5FB31CCE-0D94-462A-B5FD-EFD0E896C4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a29e31854894315ffb8a4f6044f7dd257dd8e49","datavalue":{"value":{"entity-type":"item","numeric-id":1099631,"id":"Q1099631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64b6c47802a73c8ff7615d7b42bc0dccf269f609","datavalue":{"value":{"amount":"+0.6794846057891846","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":"Q2040222$1F853245-3DD0-4BB4-846D-7A5F9624A410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"702894a1b7afe65c4d5238775a8a8c2c1d7b850b","datavalue":{"value":{"entity-type":"item","numeric-id":4522440,"id":"Q4522440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"135e7b364cd48d32c6741b03b21cf9db1e2ba97a","datavalue":{"value":{"amount":"+0.6656480431556702","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":"Q2040222$42E85D7C-49FB-4A62-B10B-9E670082D472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94e07c8fd398ca33ae457aef7f6689ea143a5950","datavalue":{"value":{"entity-type":"item","numeric-id":4262602,"id":"Q4262602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21114e2ed1b7a47c464bf2ae4cb10c02bc1ad2d5","datavalue":{"value":{"amount":"+0.6651619076728821","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":"Q2040222$42E7B0A6-5B86-4428-B418-622AC8461FF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Transfinite sequences of topologies, descriptive complexity, and approximating equivalence relations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Transfinite_sequences_of_topologies,_descriptive_complexity,_and_approximating_equivalence_relations"}}}}}