{"entities":{"Q494659":{"pageid":496426,"ns":120,"title":"Item:Q494659","lastrevid":62266365,"modified":"2026-04-11T04:54:38Z","type":"item","id":"Q494659","labels":{"en":{"language":"en","value":"A definable \\(E_0\\) class containing no definable elements"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6477399"}},"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":"Q494659$851144C4-926C-462A-95EA-AAFD16681E01","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d872ab72ed8dd988d30a024851c8ecd35245497","datavalue":{"value":{"text":"A definable \\(E_0\\) class containing no definable elements","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q494659$AACE0E5D-4406-44AF-8905-540CBE2E1D73","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7989b7272cccacd0c7c02522933ab7c185256ad4","datavalue":{"value":"1343.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494659$A43BEB5D-FEF2-4B8E-90C2-3903AD2160B5","rank":"normal"}],"P16":[{"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":"Q494659$82CC3D21-CD8A-4350-8879-A99BF3CE9345","rank":"normal"},{"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":"Q494659$2F61A4D5-21E0-4839-B962-D372290DC579","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494659$0728A08E-754E-483A-AA44-88D1CFC8AA56","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6161adf15c0b81dd0975f5a646569a2bbc70a567","datavalue":{"value":{"time":"+2015-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q494659$9FCB0ADE-438E-4D6C-8B56-4D1072EC0D28","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d8e843b7e1ad9e7888a021a16f06cb6fbf0fb15","datavalue":{"value":"https://arxiv.org/abs/1408.6642","type":"string"},"datatype":"url"},"type":"statement","id":"Q494659$8B3CBDEF-3B23-46CF-A292-88188F3487A4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e898b37e4329f38d5e735b9dda191106f527807e","datavalue":{"value":"It is a well known fact that the following statement is consistent with ZFC: there is a non-empty ordinal definable (OD) set of reals containing no OD element. The problem of considering countable (ordinal) definable sets was raised in discussions in MathOverflow and FOM.  In a previous work of the authors [``A countable definable set of reals containing no definable elements'', Preprint, \\url{arXiv:1408.3901}], it is shown that in a \\({\\mathbb P}^{<\\omega}\\)-generic extension of \\(L\\), the set of all \\({\\mathbb P}\\)-generic reals (over \\(L\\)) is a countable \\(\\Pi^1_2\\)-set of reals with no OD elements, which improves a result of \\textit{A. Enayat} [Fundam. Math. 181, No. 3, 215--231 (2004; Zbl 1051.03041)]. Here, \\({\\mathbb P}\\) is Jensen's ``minimal \\(\\Pi^1_2\\)-real singleton forcing''. This result is optimal in that every non-empty \\(\\Sigma^1_2\\)-set of reals contains a \\(\\Delta^1_2\\)-element.  This article provides another example with an addition feature that the countable \\(\\Pi^1_2\\) is a \\(E_0\\)-equivalence class. Based on a Zapletal model of ZFC, in which there is an OD \\(E_0\\)-class containing no OD elements, the authors produced a generic extension \\(L[x]\\) of \\(L\\), via a variation of the aforementioned \\({\\mathbb P}\\) which replaces Sacks forcing by Silver forcing, such that \\([x]_{E_0}\\) is \\(\\Pi^1_2\\) but contains no OD elements.  In contrast to this forcing method, \\textit{A. Kechris} and \\textit{W. Woodin} [``On thin \\(\\Pi^1_2\\) sets'', handwritten note] showed that, under large cardinal axioms, in particular assuming sharps, every countable non-empty \\(\\Pi^1_2\\)-set of reals necessarily contains an OD element.","type":"string"},"datatype":"string"},"type":"statement","id":"Q494659$B856D04C-E474-4E75-BE9C-6A95A775B3EB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"004a10a5c768333f1f56f1c2cf5fda45c1f014f7","datavalue":{"value":{"entity-type":"item","numeric-id":512140,"id":"Q512140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494659$253BBD65-DCFD-4CF4-9E37-35D18C1CC262","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494659$6C94DC5A-BEF2-47CA-A9C7-DF5DD2AE047A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494659$EDBCFF6D-8D1C-44EE-832F-D8B5C6D70B6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62188b4dcf08191601acc59c0da11211310f4323","datavalue":{"value":"6477399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494659$6022AA51-195D-4130-BB34-6D2C2F0D9A66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"230bcaf2982fd63dc6c811bfab84dcdc492cc4e4","datavalue":{"value":"Jensen reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q494659$77A81DFC-33F9-43D2-B515-46C481DECB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98daa4272b29192662585dce16a5066af992d8b2","datavalue":{"value":"definable equivalence class","type":"string"},"datatype":"string"},"type":"statement","id":"Q494659$3BED50AC-D6FD-47E2-AFD3-6E0CA0C99AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc6de65506b94299b69c8a5ee0b998f761ff3314","datavalue":{"value":"definable elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q494659$033D0B60-445B-4BE9-A9F2-FFC0673353DE","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":"Q494659$F1CC017F-29D1-407E-9FDE-393506EF3FB1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4473f292c86e275cb44c707661db2f2a89a7e4df","datavalue":{"value":"W803471959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494659$7393DD5D-540C-4B8F-9851-36D182F362D1","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":"Q494659$E34A1C30-B421-4B9A-959B-9731DCF85577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0b9107ead49e3ab4b503b794674a581c93dc041","datavalue":{"value":{"entity-type":"item","numeric-id":5202650,"id":"Q5202650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494659$21B901C4-5BB4-47C8-818A-86B50493800B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2627b967c2520e2acc0a465b8aa943970417ac8","datavalue":{"value":{"entity-type":"item","numeric-id":1098846,"id":"Q1098846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494659$78444B7A-2C8B-4395-924A-0F07E9CD5DBB","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":"Q494659$6ACA9D3E-4837-4577-9C6B-84EB2995D928","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":"Q494659$CA7F9982-5E09-4A7C-AFB3-1A13C73C8AEB","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":"Q494659$2F06CDF6-F9DC-472C-AC2D-E55FAF406CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d17474e09faded5b1cbb7f18ae934b9180e0164","datavalue":{"value":{"entity-type":"item","numeric-id":3529420,"id":"Q3529420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494659$A6ABE2FD-E138-4DBB-AD26-862108FA2799","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":"Q494659$9B08A2F8-9513-4FAB-9DB5-4CC436B82D8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9aed8fe579f163106e9e2415e9cd38c016051b9","datavalue":{"value":"10.1007/S00153-015-0436-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494659$70C62203-9DBF-4024-A97A-BA1DD6572FA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edbd0833f7d1a09e8054d171643073bf19d161de","datavalue":{"value":{"entity-type":"item","numeric-id":2636533,"id":"Q2636533"},"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":"Q494659$ED6C4B18-45A7-49F2-9F5C-3243E8B4464D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f70f5244307e913351cad1cabe066fb4a87e4c3c","datavalue":{"value":{"entity-type":"item","numeric-id":4311398,"id":"Q4311398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a4b5fdfcff5dc20daee6fb557444520317d75cc","datavalue":{"value":{"amount":"+0.8474801182746887","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":"Q494659$C8A75B03-49AE-4810-B834-9A59AF598857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b782d4beb2682c9e15b7610c91f1e4c33b894a72","datavalue":{"value":{"entity-type":"item","numeric-id":5108871,"id":"Q5108871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b62599f4d73dcaf36c186e63c5d4339a413b3e32","datavalue":{"value":{"amount":"+0.7738303542137146","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":"Q494659$93DFF592-F52D-44BD-B21D-A5493CB0989E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"860414a1f1624539bf28eeb90842e03b2522795a","datavalue":{"value":{"entity-type":"item","numeric-id":1745352,"id":"Q1745352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c9ab33e634c3c8c0072037f19297d09b07eb59d","datavalue":{"value":{"amount":"+0.765546441078186","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":"Q494659$0FAD43A3-E2E4-4BA1-8C5E-9310D9441C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56bba0858ebe750b5d1df1260ae44126c81419bd","datavalue":{"value":{"entity-type":"item","numeric-id":679849,"id":"Q679849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b17ecef64b063cc5586ba39a1c224521587c2947","datavalue":{"value":{"amount":"+0.7645356059074402","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":"Q494659$4FBEA748-AECF-4577-BB72-9DAD503FF338","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A definable \\(E 0\\) class containing no definable elements","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_definable_%5C(E_0%5C)_class_containing_no_definable_elements"}}}}}