{"entities":{"Q923080":{"pageid":924928,"ns":120,"title":"Item:Q923080","lastrevid":65377092,"modified":"2026-04-12T02:10:45Z","type":"item","id":"Q923080","labels":{"en":{"language":"en","value":"Projective subsets of separable metric spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4170898"}},"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":"Q923080$53EA8BD3-5362-4096-A8CF-D2FE01A78AF8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b537a274d92c5371bd5f2c302725c3e064f1257","datavalue":{"value":{"text":"Projective subsets of separable metric spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q923080$9BDD01CA-6DF0-414E-8D3D-4A3469B471BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f6661d9951e131d4ea29fa094bf61d09cb13411","datavalue":{"value":"0712.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923080$F58473A5-9F12-4A42-81DB-554A68F2EC05","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09529f9af0212b9a88b08d02191868ff0e393d28","datavalue":{"value":"10.1016/0168-0072(90)90054-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923080$86391E26-4F91-43A8-84D5-7A8EA0790BB4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a806c8e9ca1bbc8876ba9486525ac31c8fe64b20","datavalue":{"value":{"entity-type":"item","numeric-id":178057,"id":"Q178057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923080$D44FE186-B079-4FC8-AA74-80FE4AC943C0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923080$03111356-F1E2-4605-9D73-49374252A5A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q923080$75D32F56-B857-4F30-834D-D2006CCF6DC9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e0550661915593fc4975c6ac74466aa0105d3601","datavalue":{"value":"In this paper we consider two possible definitions of projective subsets of a separable metric space X. A set \\(A\\subseteq X\\) is \\(\\Sigma^ 1_ 1(X)\\) iff there exists a complete separable metric space Y and Borel set \\(B\\subseteq X\\times Y\\) such that \\(A=\\{x\\in X:\\exists y\\in Y\\) (x,y)\\(\\in B\\}\\). Except for the fact that X may not be completely metrizable, this is the classical definition of analytic set and hence has many equivalent definitions, for example, A is \\(\\Sigma^ 1_ 1(X)\\) iff A is relatively analytic in X, i.e. A is the restriction to X of an analytic set in the completion of X. Another definition of projective we denote by \\(\\Sigma_ 1^ X\\) or abstract projective subset of X. A set \\(A\\subseteq X\\) is \\(\\Sigma_ 1^ X\\) iff there exists an \\(n\\in \\omega\\) and a Borel set \\(B\\subseteq X\\times X^ n\\) such that \\(A=\\{x\\in X:\\exists y\\in X^ n\\) (x,y)\\(\\in B\\}\\). These sets can be far more pathological. While the family of sets \\(\\Sigma^ 1_ 1(X)\\) is closed under countable intersections and countable unions, there is a consistent example of a separable metric space X where \\(\\Sigma_ 1^ X\\) is not closed under countable intersections or countable unions. This takes place in the Cohen real model. Assuming CH there exists a separable metric space X such that every \\(\\Sigma^ 1_ 1(X)\\) set is Borel in X but there exists a \\(\\Sigma^ 1_ 1(X^ 2)\\) set which is not Borel in \\(X^ 2\\). The space \\(X^ 2\\) has Borel subsets of arbitrarily large rank while X has bounded Borel rank. This space is a Luzin set and the technique used here is Steel forcing with tagged trees. We give examples of spaces X illustrating the relationship between \\(\\Sigma^ 1_ 1(X)\\) and \\(\\Sigma_ 1^ X\\) and give some consistent examples partially answering an abstract projective hierarchy problem of Ulam.","type":"string"},"datatype":"string"},"type":"statement","id":"Q923080$6CD5A8EE-BBEF-48A6-A755-88705DF11211","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923080$74902CEB-EAE5-4DD1-BE92-A694DBAB943B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0811f646ec2beab33a0c1dbc0bd89948db426b12","datavalue":{"value":"4170898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923080$BA4CF196-8C31-41F8-A765-0110F15757DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23e1a492030d78b302e449f3af6ea64f8feeda4c","datavalue":{"value":"projective sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q923080$8C9C28BF-6D7A-4A7A-909F-B5FE6204886D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16b64d4977e07dd5ebdbdb30bf803ebc753f7f3e","datavalue":{"value":"separable metric space","type":"string"},"datatype":"string"},"type":"statement","id":"Q923080$1E36F84F-8060-4D6F-ABDD-B84BD3F16346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7efa12a784ca975c898939b01ad4328daced2a2","datavalue":{"value":"Borel set","type":"string"},"datatype":"string"},"type":"statement","id":"Q923080$D8C7D571-8E47-4720-9AB0-D932649AAC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c1e155cad8428fa451b28651981e038e134373c","datavalue":{"value":"Cohen real","type":"string"},"datatype":"string"},"type":"statement","id":"Q923080$86806D28-3403-41A9-925B-D7F22AEEDD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9882af87f5a59a54bb06d437e61b6319b63679a","datavalue":{"value":"Luzin set","type":"string"},"datatype":"string"},"type":"statement","id":"Q923080$CD604BE6-0761-43B6-8F3E-DADE45B4A7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2c0ed8783d1df0a66e03db6db4f53a4fb5220d4","datavalue":{"value":"Steel forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q923080$5687630C-64FC-403E-B3C2-9064103265C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc32ea43d7502e82d1e588a9003945938fd9a94","datavalue":{"value":"tagged trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q923080$1B432EC0-89C9-4359-9D94-DBB9DF0CA1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a78a942a14d12c9feeb6448bb29d72818aea825d","datavalue":{"value":"abstract projective hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q923080$14B272B3-0638-4E93-BA47-A2CF383BCE4E","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":"Q923080$5830AB72-E064-417A-B148-2949D6C3A838","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72bb56ae2bc59f693ce6305258d087d80c3acdb2","datavalue":{"value":"https://doi.org/10.1016/0168-0072(90)90054-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q923080$AD7553EF-C0D7-4453-B5D6-CF13A2EB4CE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"285005b9c6a4119d100d4322e94ba8e9d6faa4a0","datavalue":{"value":"W2020107124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923080$FE9E137F-970C-4386-92DB-03B8478EE665","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"baca68a33706f43e1812724e0e77e1277e5ebaca","datavalue":{"value":{"entity-type":"item","numeric-id":2560402,"id":"Q2560402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923080$FEF11795-73F9-444D-ADF2-A4442D8BA508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c00a4cc64488966ab5d10b55bfe9e2890d59910","datavalue":{"value":{"entity-type":"item","numeric-id":3966126,"id":"Q3966126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923080$22157E4D-A15E-4478-9F9B-F4C34ADFF44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0cc4a183a16ac598a5db517e80e2022883acbb7","datavalue":{"value":{"entity-type":"item","numeric-id":4182737,"id":"Q4182737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923080$5660E021-4DD7-416B-A90A-BE0798732658","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":"Q923080$0AABCEBB-8282-4BFE-928D-5147EE683100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5983bacb6c7dc76084780d3bc9de9e0e33ff3b0","datavalue":{"value":{"entity-type":"item","numeric-id":3050418,"id":"Q3050418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923080$23837ED7-5D73-43E6-9408-B89446B3AEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"134afe3ea2151f918c2052e6a8330a01b1c0959e","datavalue":{"value":{"entity-type":"item","numeric-id":1159664,"id":"Q1159664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923080$AF06B652-0DB3-4421-AC18-0F84F1AFE296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b18454fa4c1c0438c09fc5d8575d9ae23d0a7388","datavalue":{"value":{"entity-type":"item","numeric-id":3715868,"id":"Q3715868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923080$9312F029-CA5D-40E3-8A3B-F8D396A85231","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":"Q923080$22F9182B-491A-4442-A447-8187B54654E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"070f50f66851de35961c4bb6f2a59f5c2791e874","datavalue":{"value":{"entity-type":"item","numeric-id":5620774,"id":"Q5620774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923080$7D20F8ED-62E4-4F85-8056-A87F00F74277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6d3906a94cbcac9abb857d8e3b0997cd5d6900d","datavalue":{"value":{"entity-type":"item","numeric-id":3036264,"id":"Q3036264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923080$7A4DD273-B57D-4F9F-ACA9-A8C13495FAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a1bdebe5330a0bc43b4aecc19c865b4befee5e","datavalue":{"value":{"entity-type":"item","numeric-id":2542987,"id":"Q2542987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923080$8BCEB874-0886-4CF7-96E6-52EE655E3405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4f9e605bbed59a679eaddbc4e2f59017a1a3029","datavalue":{"value":{"entity-type":"item","numeric-id":4189261,"id":"Q4189261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923080$7DB97824-C1F1-46D1-9C26-3E0801DFCC06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2756f1fb70f97d331ce2b92ae69227cb65fbab2","datavalue":{"value":{"entity-type":"item","numeric-id":4156783,"id":"Q4156783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923080$3AA8CB7A-2CA6-4C76-8967-E76FA414A47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8a16eca4ed1974d42fac45b2a54a4ab7c5c568d","datavalue":{"value":{"entity-type":"item","numeric-id":3671957,"id":"Q3671957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923080$B48E136F-C9C8-4F54-8B51-5EB41178C086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21230d0c3cf1eb641f225ca77971331769911b38","datavalue":{"value":{"entity-type":"item","numeric-id":3342555,"id":"Q3342555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923080$D8B7426F-A83D-4B41-BBE1-244A9AFB1400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffa7659ca4a6afaf861868fcb4966bc8c9066f4","datavalue":{"value":{"entity-type":"item","numeric-id":5511350,"id":"Q5511350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923080$76228FFA-D6CE-40AD-9D4B-4349CBF4C2D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9482b8719a3d741077d07b13f665fe54627f92c1","datavalue":{"value":{"entity-type":"item","numeric-id":1738925,"id":"Q1738925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a17bd874e5387c8dcc2818c9a2984ceb2677b02b","datavalue":{"value":{"amount":"+0.7774807810783386","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":"Q923080$DD86F89F-0AB1-4CC1-ACA5-E305BEF7B46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4a7614bf222acbb4dec8d77e7529562606b3e83","datavalue":{"value":{"entity-type":"item","numeric-id":3769601,"id":"Q3769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ceb3a62b9153b9d1abdd88e8c9dc0acba00c35e","datavalue":{"value":{"amount":"+0.7668139338493347","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":"Q923080$2DDA2211-7512-44F3-8CF3-35F454A175C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8fe3b26c597a1ec67bd7a851cceb98f6043c264","datavalue":{"value":{"entity-type":"item","numeric-id":4916557,"id":"Q4916557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa8ec5b4e123f28e69608afead65e8b04f1d9f54","datavalue":{"value":{"amount":"+0.7632142305374146","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":"Q923080$9E8B10B8-078C-45A5-80FC-67D9B44C2D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fc5b841f892fb8ff5321bc2bb3556faf72fcca8","datavalue":{"value":{"entity-type":"item","numeric-id":802551,"id":"Q802551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa22cde490a780c5c22ccab4907f3fcb426f828a","datavalue":{"value":{"amount":"+0.7552316188812256","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":"Q923080$57301E55-A0AB-42BE-86B4-2447AE0C2A5B","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":"f4b09a2778ce87164db83968fc574f84da8f653e","datavalue":{"value":{"amount":"+0.7544540762901306","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":"Q923080$9923E5C2-F19F-47C3-83F9-78EBDC8AC56B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Projective subsets of separable metric spaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Projective_subsets_of_separable_metric_spaces"}}}}}