{"entities":{"Q2636533":{"pageid":2647276,"ns":120,"title":"Item:Q2636533","lastrevid":57967164,"modified":"2026-04-03T06:50:36Z","type":"item","id":"Q2636533","labels":{"en":{"language":"en","value":"Definable \\(\\mathsf{E}_0\\) classes at arbitrary projective levels"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6880854"}},"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":"Q2636533$5E4E914F-C322-4B34-80A9-373C2964AA05","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4ea98a82b774e00a2df04d5c6c40180edc3b8b1","datavalue":{"value":{"text":"Definable \\(\\mathsf{E}_0\\) classes at arbitrary projective levels","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2636533$53594113-EF85-4209-96DD-82FB7F519CB2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d850dc97ad44af89609405c4f519c8c4943fe4f5","datavalue":{"value":"1426.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2636533$54953209-EB43-447D-A519-BC05BA79CF18","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":"Q2636533$6DEFB00E-6901-4F5D-A5DF-3FB765E6F4C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0db8ec9d38e6d67bc3486bdc04d499c4b9f9925","datavalue":{"value":{"time":"+2018-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2636533$D393D3E5-06B3-47A0-B02F-1C27E7410222","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc66b9a69bef215c513d62957220b784696877af","datavalue":{"value":"https://arxiv.org/abs/1705.02975","type":"string"},"datatype":"url"},"type":"statement","id":"Q2636533$E4D41E48-D4C7-4A99-A9E4-636A27622833","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4c4094cbeb2e5667539f9e2fef20a8436830493b","datavalue":{"value":"In this article, the authors investigate the problem whether every definable countable set always contains some definable elements. The following is the main result of this article: \\par Let $n\\ge 3$. There is a generic extension $\\mathbf{L}[a]$ of $\\mathbf{L}$, by a real $a\\in 2^\\omega$, such that the following is true in $\\mathbf{L}[a]$: \\begin{itemize} \\item[(i)] $a$ is not ordinal definable and any ordinal definable real belongs to $\\mathbf{L}$; \\item[(ii)] the Vitali class $\\{a+r:r\\in\\mathbb{Q}\\}$ is a lightface $\\Pi^1_n$ set, which does not contain any ordinal definable real; \\item[(iii)] every countable $\\Sigma^1_n$ set belongs to $\\mathbf{L}$, hence consists of ordinal definable reals. \\end{itemize} \\par It is worth noting that the case $n=2$ is also valid. This result was proved by the same authors in [Math. Notes 102, No. 3, 338--349 (2017; Zbl 1420.03130); translation from Mat. Zametki 102, No. 3, 369--382 (2017)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2636533$1474E173-9E74-4DDC-9F49-6437C2543E83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2636533$F52A0182-F241-4E4F-9A7D-EE69F1BE55A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2636533$EBA23EC3-FDEB-438C-B09A-351B25340F8A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a64a8e884ab95fd2abc9de8a8ab9feec74814210","datavalue":{"value":"6880854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2636533$D453F1BA-2D09-4C9A-950C-C51961B58F06","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"820ebf768edd28dc63b05aa423343e55041bcf44","datavalue":{"value":"ordinal definable real","type":"string"},"datatype":"string"},"type":"statement","id":"Q2636533$6A3EFB1B-BAC5-424C-A327-190F437AEA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c09ebe087c564b91185dc76ce20e7511657fc8e8","datavalue":{"value":"projective levels","type":"string"},"datatype":"string"},"type":"statement","id":"Q2636533$F0EB118B-D2C2-4014-9332-45F47266367F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb91a7fdd05fc872cb7456e08f01986310ad9a7c","datavalue":{"value":"definable Vitali classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2636533$B16D12E9-92DE-4416-8C25-ABD8D8D47FC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74b09d794e8860c4a5215cac175587d216774250","datavalue":{"value":{"entity-type":"item","numeric-id":161810,"id":"Q161810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636533$E00A2239-4C1B-4004-8640-0FD424E0800D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e942b7c523827b4672341da17b11181636aba381","datavalue":{"value":{"entity-type":"item","numeric-id":440691,"id":"Q440691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636533$D3C4D276-DE03-4A8D-B4F7-88191C812F75","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"30f109a9845ef1a3f1bc7232ac3005675e134efd","datavalue":{"value":{"entity-type":"item","numeric-id":375691,"id":"Q375691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636533$F78C5DC5-A861-4172-BD5B-02D0457671B8","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":"Q2636533$08E962D4-6DB3-4CF9-86F0-A46C8CC2DA39","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9132f2358f77c3a6073a8825ee59eb2f5f54106d","datavalue":{"value":"W2612178054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2636533$61C9A5B7-9855-4027-B394-1C786167DD3F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4b9b24d1af13fb5db0ed2abf10eb5647146f37","datavalue":{"value":{"entity-type":"item","numeric-id":4829349,"id":"Q4829349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636533$9C2525A1-1E68-469C-A76A-308F880B815C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce5618f56d7bc3873d73a339d372027c81db336","datavalue":{"value":{"entity-type":"item","numeric-id":5108086,"id":"Q5108086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636533$6EDEE5F0-7E14-4427-9C3E-5C08349DB3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"579d5bc828d41a5507adb489507cb589633a8aa1","datavalue":{"value":{"entity-type":"item","numeric-id":4093444,"id":"Q4093444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636533$E946D689-AF10-4400-9823-512E8A6D34AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7c0f6f7575a65a2e6984bf3bd5ec3409e594b12","datavalue":{"value":{"entity-type":"item","numeric-id":3971678,"id":"Q3971678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636533$AAD1277E-66C5-4954-BF92-175E9E98F71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d542b29badc8a7fe50db3b8c16bd2d7c8d19ed5","datavalue":{"value":{"entity-type":"item","numeric-id":4780924,"id":"Q4780924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636533$27532576-CBD8-46F5-96E6-9CA151D2102B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f443312fd326dec5c6aad0da984ea936534e525","datavalue":{"value":{"entity-type":"item","numeric-id":5656764,"id":"Q5656764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636533$89800F55-FE22-46A5-8250-B6170528CB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8062ef1bcee6ae3347b7412c028c222714e1ca54","datavalue":{"value":{"entity-type":"item","numeric-id":494659,"id":"Q494659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636533$ECDFDDF4-4B49-4CD6-93CD-297565DC6C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56b4f9d6f5f08df1e97846085446a5929d957d22","datavalue":{"value":{"entity-type":"item","numeric-id":904147,"id":"Q904147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636533$3483072F-E8C0-494B-BEDD-2A1307F94727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be9cfc0ecc43371c9de11f7c869b410d1b2a3fd","datavalue":{"value":{"entity-type":"item","numeric-id":3863879,"id":"Q3863879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636533$2440FB27-2E47-46DE-A20C-29686C145BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6754d251ae0b7e00070f3903993b960789579dc9","datavalue":{"value":{"entity-type":"item","numeric-id":1814569,"id":"Q1814569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636533$BC6C8F82-60FB-4472-AC02-23F7B63589B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"577b1f37d09d1f2236e43d2f41f0bb78a91ca1a5","datavalue":{"value":{"entity-type":"item","numeric-id":679849,"id":"Q679849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636533$28158857-C259-44C7-AD0C-AFB326CBEE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d08c92fd4b24bb5a5b22ff16867871bf08be0732","datavalue":{"value":{"entity-type":"item","numeric-id":2849822,"id":"Q2849822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636533$3426458C-4199-41F2-BC84-A480658E5F31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36b9b74d05c26a7442cb50ee8dae5bf941c49175","datavalue":{"value":"10.1016/J.APAL.2018.04.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2636533$58FF6060-9963-4319-936E-6FA38B72852A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fa20ef6b48aab9dca712434d84c94a1388f89ce","datavalue":{"value":{"entity-type":"item","numeric-id":494659,"id":"Q494659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffa8da5720aadb1b5790c20ae380c734d60c395e","datavalue":{"value":{"amount":"+0.853115975856781","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":"Q2636533$0BA323C2-EB25-4109-845E-E1638A44B7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1a759a8a0007966b195996fe3b3eb6db4697e7c","datavalue":{"value":{"entity-type":"item","numeric-id":5108086,"id":"Q5108086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1f8ced9549d33fe8c2bc8a283554de690a65b9e","datavalue":{"value":{"amount":"+0.7641259431838989","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":"Q2636533$57A2BC54-1C21-44B8-87F1-D9594EE2A20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5675afa3d110efffb844fea53c99eb61ca871071","datavalue":{"value":{"entity-type":"item","numeric-id":3708012,"id":"Q3708012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95b172852e6b4cf050b063b14378ebf1697fa9c4","datavalue":{"value":{"amount":"+0.7293649315834045","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":"Q2636533$C5A6C71C-1F0A-4DD8-A9A4-A2BF6625A3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d62eebf34e0f2df2adee29e24b1ac1508309abe","datavalue":{"value":{"entity-type":"item","numeric-id":4365512,"id":"Q4365512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"853d24424d93f4c3b83a4484f15fe9201a460744","datavalue":{"value":{"amount":"+0.7106396555900574","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":"Q2636533$F25CF234-FB8C-4428-8BEE-AF41613EC9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2501ddc88d5148e3d2cb04e3a1c9ee0934b047c","datavalue":{"value":{"entity-type":"item","numeric-id":4262571,"id":"Q4262571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8144090df4ca9e41c52286b035437bac55183c4a","datavalue":{"value":{"amount":"+0.7071228623390198","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":"Q2636533$CA61FF73-8552-483A-98C8-AD2DFD9DD903","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2636533","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2636533"}}}}}