{"entities":{"Q688847":{"pageid":690696,"ns":120,"title":"Item:Q688847","lastrevid":63495039,"modified":"2026-04-11T13:33:15Z","type":"item","id":"Q688847","labels":{"en":{"language":"en","value":"Exact equiconsistency results for \\(\\Delta_ 3^ 1\\)-sets of reals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 438611"}},"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":"Q688847$A8EF1060-A873-4D61-92AE-2E8B6298F7C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c03fba6ec5d99d7794069972f742112fec22d43","datavalue":{"value":{"text":"Exact equiconsistency results for \\(\\Delta_ 3^ 1\\)-sets of reals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q688847$0FE2C316-0B1F-4E2B-9523-4FA1A10EEBED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b910f8dd2daac44aa58986335ec91ae6242af969","datavalue":{"value":"0786.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688847$9F4B69FE-9221-4741-B48B-35EA3376E396","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7fa613bb762a0c89e1aa4a982215395eba56e748","datavalue":{"value":"10.1007/BF01269952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688847$7ABBF329-82E2-4EF6-8260-01EDA4553DAD","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":"Q688847$FC0CFDCF-A835-4D48-8961-6F01B9EE9232","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":"Q688847$DB28362F-FF8A-415D-AAA2-683FED40AC2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a56fa44f05f9c865c2049cda281119f7946a004","datavalue":{"value":{"time":"+1993-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q688847$C1917A3C-45E5-4912-B96E-3A1660C032B2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0387d67eca5070b5ca26dd30927f00ce743e045c","datavalue":{"value":"Raisonnier proved that if (a) all \\(\\Sigma^ 1_ 2\\) sets of reals are Lebesgue measurable and (b) all \\(\\Sigma^ 1_ 3\\) sets are \\(K_ \\sigma\\) regular, then \\(\\aleph_ 1\\) is inaccessible in the constructible universe. The author relaxes \\(\\Sigma^ 1_ 3\\) in (b) to \\(\\Pi^ 1_ 2\\) and shows that one cannot relax it to \\(\\Sigma^ 1_ 2\\).   He gives a model in which all \\(\\Sigma^ 1_ 2\\) sets are \\(K_ \\sigma\\) regular and all \\(\\Delta^ 1_ 3\\) sets are Lebesgue measurable, Ramsey and have the Baire property. He also gives a model in which all \\(\\Delta^ 1_ 3\\) sets have the Baire property but not all \\(\\Delta^ 1_ 2\\) sets are measurable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q688847$10771CFA-0965-4F52-901C-D2976A9426FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688847$C27AC3A3-155A-47E7-B35F-C15754BB9DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688847$CECC4D28-498E-4F40-AC33-BDD9A971FFE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cac295d3aefcf8eb39c5acc2f255bade83462a16","datavalue":{"value":"438611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688847$CA5788B0-39C5-46F2-8989-553DD1AD2A15","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4bda0ae01dac6a5eda1985342a7309e714a1dd9","datavalue":{"value":"sets of reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q688847$2DCD71ED-8A6C-4ACC-B61D-87E317BFC237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ace92d9b682597a9606ba294023abe4f8e5bc9c0","datavalue":{"value":"Lebesgue measurable","type":"string"},"datatype":"string"},"type":"statement","id":"Q688847$B4D886B4-D32D-4D6A-9D91-1748525ADA60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12fe3d93818556d981ab269736c237cbc3a660f0","datavalue":{"value":"Ramsey","type":"string"},"datatype":"string"},"type":"statement","id":"Q688847$B70E50FA-F852-43A3-A785-D0DD4648E4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b445fbf5ce14875e40abed1d3a39e6dcdf2c88f3","datavalue":{"value":"Baire property","type":"string"},"datatype":"string"},"type":"statement","id":"Q688847$9B1D5120-7C95-472F-8AE8-6EB9F6FA63CB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9ba549a010e9fbb2a721670eb631f065908faf02","datavalue":{"value":{"entity-type":"item","numeric-id":334981,"id":"Q334981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688847$DCB3BDF7-9B1F-43BF-B02C-5A88E6041A06","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":"Q688847$AC9D1A4C-6949-435C-B00A-6C334E84B626","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"909c8764e44a88fe42b47cfdea73fd2676bc26b8","datavalue":{"value":{"entity-type":"item","numeric-id":4043087,"id":"Q4043087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688847$85CCB5D8-C3F0-41F4-85C4-A4C53889ABD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f6d0bce71699c4759b52fafe96d92f3ba0daab8","datavalue":{"value":{"entity-type":"item","numeric-id":1066894,"id":"Q1066894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688847$EEBED668-264A-4AAD-8AF6-F947C169CC21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed42cf4f8187fe5f89c8a556117f5f32f71a1a0","datavalue":{"value":{"entity-type":"item","numeric-id":3795671,"id":"Q3795671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688847$F2E07F66-6CF5-4EE6-981C-ECFA13DE4521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41ff0def9e75e95a4e323caa5bed2684b3f4ac5f","datavalue":{"value":{"entity-type":"item","numeric-id":3826546,"id":"Q3826546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688847$FB7E7414-8ABE-4BEE-B099-B1B043103304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88d1c20dca878dfbd007b8afa54b5bd3f635c8d3","datavalue":{"value":{"entity-type":"item","numeric-id":3826545,"id":"Q3826545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688847$41141EB8-719D-4848-8867-BEE2985AD772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f26bfd5f925a623cfb1eec360c3c78276804f06","datavalue":{"value":{"entity-type":"item","numeric-id":3852172,"id":"Q3852172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688847$FDABBBE2-0831-4F27-8A92-527F3F0D2DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7d190212f003fdcd70a283bc92c5fa5364cf48d","datavalue":{"value":{"entity-type":"item","numeric-id":4184827,"id":"Q4184827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688847$D7CB2FAE-A561-4BBB-9636-C0AE45C0B540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"310a1844f8ba61b969327a55f4bec8641d741d25","datavalue":{"value":{"entity-type":"item","numeric-id":5626662,"id":"Q5626662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688847$D057DA7E-7B24-496E-9D08-C04C41183C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7456392ba6402a2398a43c3568dad7f52da20183","datavalue":{"value":{"entity-type":"item","numeric-id":4147976,"id":"Q4147976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688847$580C0FA8-32D2-4CFA-879D-7BEEA449122B","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":"Q688847$F3579ABB-A138-4478-A18A-2C2DB0EF0CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8b14cd49d761b20dc492a3b561e93ab293f767c","datavalue":{"value":{"entity-type":"item","numeric-id":1078180,"id":"Q1078180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688847$E3B25116-2B4F-4F8B-BE68-377C8249C756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba4daaac5191c9a7584f0531e7aa58f9ad0cd31b","datavalue":{"value":{"entity-type":"item","numeric-id":1081600,"id":"Q1081600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688847$438CAF69-CF8A-4AB6-AAD4-3AC546C06845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ef289b917a565b3292b9c57084a93e31ed23b2f","datavalue":{"value":{"entity-type":"item","numeric-id":1078178,"id":"Q1078178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688847$7E611E09-FA0E-45EC-A8F6-31238CFD0028","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":"Q688847$AF3D524F-1972-4D0D-BFDB-99207600920A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6fd7a3aa6462545bd6d6ace103196f77ba03677","datavalue":{"value":{"entity-type":"item","numeric-id":1069930,"id":"Q1069930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688847$A896A92F-C0F2-40E1-B2E2-6C4553362708","rank":"normal"}],"P1643":[{"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":"2edc379d1c8b9990be86422625e46f959d0a87f6","datavalue":{"value":{"amount":"+0.8917064666748047","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":"Q688847$0361DAA8-8E66-45B5-9F6C-D7EE90961A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"858173c45bc7179ac2e8d0e3d21b0cca32bd9668","datavalue":{"value":{"entity-type":"item","numeric-id":4848574,"id":"Q4848574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2486abcf3cc3060ff6176afc6c0a735f6759a411","datavalue":{"value":{"amount":"+0.8901462554931641","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":"Q688847$A5E12B9A-6933-466D-A0A9-82A613C3415C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05692253401e62faf0e335ef4c1b759e7ad15582","datavalue":{"value":{"entity-type":"item","numeric-id":4382482,"id":"Q4382482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1acdf00df62f9c2dc9b30b53ff3f20b0e16de245","datavalue":{"value":{"amount":"+0.8510450124740601","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":"Q688847$3E141956-0171-4B95-A3CA-A78DC490777F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ef45ea79372d6c1e452b566d4c622844d0b13af","datavalue":{"value":{"entity-type":"item","numeric-id":1117922,"id":"Q1117922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f9a21a305ec4e4fd31045395ec2761acffc89d0","datavalue":{"value":{"amount":"+0.8505401611328125","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":"Q688847$6B8A7DB8-533C-4EC2-B4F2-16F33A97B489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f5b3ace2f4bd7db8f36c94fac0ab801d369efdf","datavalue":{"value":{"entity-type":"item","numeric-id":1908811,"id":"Q1908811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6dabf5fa008574f79af1678bd16fa10dd9c719e","datavalue":{"value":{"amount":"+0.8375565409660339","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":"Q688847$751E5317-4CA3-4F4E-9707-99DFDC38ED8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exact equiconsistency results for \\(\\Delta 3^ 1\\)-sets of reals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Exact_equiconsistency_results_for_%5C(%5CDelta_3%5E_1%5C)-sets_of_reals"}}}}}