{"entities":{"Q1908811":{"pageid":1919553,"ns":120,"title":"Item:Q1908811","lastrevid":46443312,"modified":"2025-12-24T19:23:26Z","type":"item","id":"Q1908811","labels":{"en":{"language":"en","value":"On the structure of \\(\\Delta^ 1_ 4\\)-sets of reals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 851901"}},"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":"Q1908811$B94CAAB8-4C45-48F9-8984-5A4C0AC541C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4124956f923d718439f648c3ee87bc102df1312d","datavalue":{"value":{"text":"On the structure of \\(\\Delta^ 1_ 4\\)-sets of reals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1908811$E1A2F47F-038B-4DA2-8002-D32C37B267D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd2d73e87f84b180eab8afa11db19e288b45c61d","datavalue":{"value":"0842.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908811$81AC7F01-57B0-4AB9-9F28-6715D17DF09B","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":"Q1908811$6427CE1B-9F46-4D9A-AAD7-7BFD6413A8C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7fccc18d6c4a5ac2eec70cdab732eae3cab6f1c7","datavalue":{"value":{"time":"+1996-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1908811$FC52242C-FB31-42EC-9C2A-086FCCF3CD9E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"999744a82869f5b591a208224f6de55f5bf7befb","datavalue":{"value":"It is shown that assuming the consistency of an inaccessible cardinal, it is consistent that every \\({underset\\sim\\to\\Delta}^1_4\\) set of reals is measurable but not every \\({\\underset\\sim\\Delta}^1_4\\) set of reals has the Baire property. Solovay in 1970 showed that assuming the consistency of an inaccessible cardinal it is consistent to have every projective set of reals be both measurable and have the Baire property. Shelah in 1984 showed that the use of an inaccessible is necessary to obtain Solovay's result, in fact, every \\({\\underset\\sim\\Sigma}^1_3\\) set of reals measurable implies that \\(\\omega_1\\) is inaccessible in \\(L\\). The technique used in this paper is to modify a model of \\textit{R. David}, ``\\({\\underset\\sim\\Delta}^1_3\\) reals'' [Ann. Math. Logic 23, 121-125 (1982; Zbl 0519.03039)]. David's model has the property that  \\[ x \\in L[y] \\text{ iff \\(x\\) is } \\Delta^1_3(y) \\]  for every two reals \\(x\\) and \\(y\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908811$26393EEA-AF5B-4D85-8BED-B42A86FF14BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908811$7F6E783D-1ED9-46D6-A3E9-5039BA5A0175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908811$4282CF4B-AA53-4861-9331-F7AC6E02DC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908811$ACC26BFB-C2DF-4821-80B8-1EED428BB201","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c419b0d5daf684d385b1560bf10ad72d6f14fcc","datavalue":{"value":"851901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908811$4C71EA5F-9C81-4A98-B30F-56C7D5614B55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2e0df4dff245ff28ebde10d0a7d81313d5d6caf","datavalue":{"value":"Lebesgue measurable sets of reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908811$1BCC1481-825D-4722-B6B0-53E21523025D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75a3de4a8ef0a9697b595189c7252fde0e6c115d","datavalue":{"value":"projective hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908811$624ED5BB-E44B-4BF1-98B6-7F7EA86FCA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908811$40648297-BF3F-46B7-B5AE-E1CA639B69B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5d245bedbbd00e2a48d50a97b0d53723af0be7","datavalue":{"value":"inaccessible cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908811$0689E03A-A75B-46EE-96D3-3F0D2FF50D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b445fbf5ce14875e40abed1d3a39e6dcdf2c88f3","datavalue":{"value":"Baire property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908811$8C22F45E-A261-45A0-ACFB-25A7126270C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bdfa73781626587e71aa56e0427b22e9bd754ed1","datavalue":{"value":{"entity-type":"item","numeric-id":584256,"id":"Q584256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908811$53138646-7B59-4134-A794-728D7FE632C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8262db8ecbad2abb192ad9f98cfdcb697ec1589","datavalue":{"value":{"entity-type":"item","numeric-id":273111,"id":"Q273111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908811$828B94AD-17B2-4583-948F-C4D6EFC342B6","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":"Q1908811$03EBC718-1946-406E-9AE7-F038D9D2AA50","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"655e895d4d9fc5f279929b02160ebee9bea360c4","datavalue":{"value":{"entity-type":"item","numeric-id":688847,"id":"Q688847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"713506408007594ecbb5aeaf9ed678526a6838b1","datavalue":{"value":{"amount":"+0.8400382399559021","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":"Q1908811$099D1FB7-A878-4FBF-AC5F-3EE79512E963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aef69fa01f462efc84e6a793e938830006c49d9","datavalue":{"value":{"entity-type":"item","numeric-id":5287680,"id":"Q5287680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a91950db87332de55a93305c44a594dcf5190e33","datavalue":{"value":{"amount":"+0.8287672400474548","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":"Q1908811$6C41E456-EEFF-454A-96F9-6729B5C557ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"738797be08daf2257c966427673095595eb06295","datavalue":{"value":{"entity-type":"item","numeric-id":1078178,"id":"Q1078178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d448ce9b25dc7072e8001ff8e8a53db194e35982","datavalue":{"value":{"amount":"+0.8279930949211121","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":"Q1908811$0B628294-5102-4172-8269-62744D6F03BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1908811","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1908811"}}}}}