{"entities":{"Q6156423":{"pageid":13290964,"ns":120,"title":"Item:Q6156423","lastrevid":55455913,"modified":"2026-02-17T16:48:35Z","type":"item","id":"Q6156423","labels":{"en":{"language":"en","value":"Forcing the \\(\\Pi_3^1\\)-reduction property and a failure of \\(\\Pi_3^1\\)-uniformization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7695420"}},"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":"Q6156423$7DF95D7C-B3BC-40F9-A463-03A64CE310DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc4fcbf323ea25c00b2b559421665ad974b3c97c","datavalue":{"value":{"text":"Forcing the \\(\\Pi_3^1\\)-reduction property and a failure of \\(\\Pi_3^1\\)-uniformization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6156423$A80D7421-54AC-4423-8FE3-B3FB91F0996D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d634c8202161434f9b4be21c9f4b9c85372123f","datavalue":{"value":"1525.03106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156423$C46A28BD-BDD8-4ACE-B63A-77F160BB9402","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd32177574b8e2f3dfee2dcde3af4ed9f8642572","datavalue":{"value":{"entity-type":"item","numeric-id":5000261,"id":"Q5000261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156423$2DB2E4D4-7876-46CD-9230-925355F853A1","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":"Q6156423$059E9618-A237-477D-87CC-7102E9A9E505","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eea7a550f980bf0ce22e37e9b1c0b5e403fd09f5","datavalue":{"value":{"time":"+2023-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6156423$22658EC9-6222-4194-8DB2-B906F44A5049","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ec5d7d59a761fee5b0f53dc3cdac1c103d69d12f","datavalue":{"value":"The reduction property is one of the three regularity properties of subsets of the reals which were extensively studied by descriptive set theorists, along with the separation and the uniformization property.  We say that the \\(\\Pi^1_n\\)-reduction property holds if every pair \\(A_0, A_1\\) of \\(\\Pi^1_n\\)-subsets of the reals can be reduced by a pair of \\(\\Pi^1_n\\)-sets \\(D_0, D_1\\), which means that \\(D_0\\subseteq A_0,\\) \\(D_1\\subseteq A_1,\\) \\(D_0 \\cap D_1 = \\emptyset\\) and \\(D_0\\cup D_1 = A_0\\cup A_1.\\) We say that \\(\\Pi^1_n\\)-uniformization property is true if every \\(\\Pi^1_n\\)-set \\(A\\subseteq 2^\\omega\\times 2^\\omega\\) has a uniformizing function \\(f_A\\) (i.e. \\(f_A: \\pi_1[A]\\to 2^\\omega\\) and a graph of \\(f_A\\) is a subset of \\(A\\)), whose graph is \\(\\Pi^1_n\\).  It is known that the \\(\\Pi^1_n\\)-uniformization property implies the \\(\\Pi^1_n\\)-reduction property. Kondo's theorem states that the \\(\\Pi^1_1\\)-uniformization property is true. However, there was no known example of a universe of set theory where the reduction property holds for some pointclass, yet the corresponding uniformization property fails. In the paper under review, the author constructs such a model (being a generic extension of G\u00f6del's constructible universe \\(L\\)) in which the \\(\\Pi^1_3\\)-reduction property is true and the \\(\\Pi^1_3\\)-uniformization property is false.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156423$7F78EC76-960A-42C3-ABD8-51460A21FDD8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f62215c6bb5ff17694d438b16ae53a68ff07b80b","datavalue":{"value":{"entity-type":"item","numeric-id":592012,"id":"Q592012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156423$98BC4721-6D21-47AA-B500-860C870253FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156423$B93C34CD-3B95-4FB4-9B52-F338615377A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156423$BD25DD34-B39D-4100-98F2-0C9E54F83EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156423$9305E484-2A73-4FA0-9EDF-37E1005DFB7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa5731263902c71d8f22af89f0ca5e0f0a926583","datavalue":{"value":"7695420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156423$D15F2FE0-82B8-4B59-9348-5E1467441FB9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156423$6E4AAB17-ADB7-4C0C-82BC-96241D09CE72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156423$8CDD013F-6529-44E5-9C62-B3CE1FFB16A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b12abbcb0a7b047891aaa5ec845e0574a8f7e04","datavalue":{"value":"descriptive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156423$FB93438C-AE64-4844-ADFE-3D9674CA4F9B","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":"Q6156423$65272DDA-29E3-4070-93AF-03027D1BAB7B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5f534863039d8b112e2e8b13dd1c6e757fc83e7","datavalue":{"value":"https://doi.org/10.1016/j.apal.2023.103292","type":"string"},"datatype":"url"},"type":"statement","id":"Q6156423$E6F54ECD-6521-4213-BACD-06843D9DADD7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e380d7391571cf7c72b9f45a18222465fce3ca1","datavalue":{"value":"W4377091880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156423$F41DC22F-9BC6-46B0-88E5-2D1307855EA0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae13c95739388d0908d6b352d91ed116ad2cc1ee","datavalue":{"value":{"entity-type":"item","numeric-id":4111558,"id":"Q4111558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156423$74F49A9C-F093-446B-B426-631CBB7F230B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d45e990202a28147a0b3d92756ad6005ac64bed4","datavalue":{"value":{"entity-type":"item","numeric-id":3669400,"id":"Q3669400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156423$A3157ECC-86DD-4F6F-9969-5FEAA1C56BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c364f01dfe342ba10621a922ebed77e1ccafbfde","datavalue":{"value":{"entity-type":"item","numeric-id":636333,"id":"Q636333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156423$5A2B038F-B672-4A06-AB52-0F27C2FCD00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d020728d356abe73d00d8918491dc80de85e41","datavalue":{"value":{"entity-type":"item","numeric-id":4983681,"id":"Q4983681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156423$D0FABD90-FE1A-462C-8648-6F1B9A9C143F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"943ca96337373885ba06d335e16238a440b2998c","datavalue":{"value":{"entity-type":"item","numeric-id":3630573,"id":"Q3630573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156423$59F3D177-6837-42C4-8030-C64F772F6F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbd3980417552d239a66caf36d61cd51dc3980e3","datavalue":{"value":{"entity-type":"item","numeric-id":4379928,"id":"Q4379928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156423$9D51BBAD-F0CC-4CF5-8AC7-785BDD125A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6de6adf46f3298343c9b35364c448da0f838d48c","datavalue":{"value":{"entity-type":"item","numeric-id":5000262,"id":"Q5000262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156423$5BDDBA10-57B8-440B-9B37-F2F1F46B1550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a37d7480d82557602a702d6fa4f6558a38fae53","datavalue":{"value":{"entity-type":"item","numeric-id":5094533,"id":"Q5094533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156423$45FFDB7D-27D9-4898-833C-1509A92EBCB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b925524429d1fe93684c705869e846dbfd40a4dc","datavalue":{"value":{"entity-type":"item","numeric-id":5626664,"id":"Q5626664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156423$4EFB5FC3-3400-4DAC-AA55-FCA46421BB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e9621e33c24015246230bab72a5d6f133223db","datavalue":{"value":{"entity-type":"item","numeric-id":3820593,"id":"Q3820593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156423$C821F967-2954-45B7-A073-37AD8C4C1216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acac465b50b4416d584c00c235627930c0f9a8e9","datavalue":{"value":{"entity-type":"item","numeric-id":4314815,"id":"Q4314815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156423$9B6B9137-C7FB-4A64-8700-0EEDD44B72C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1f0c3549d5b8155ce7e1ff13ae07abb3b6da851","datavalue":{"value":{"entity-type":"item","numeric-id":5322161,"id":"Q5322161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156423$2169D707-E684-4C39-97AA-FCBA540DB3EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3120dd5bda1659f6ca35bb9939e3db3862d4690","datavalue":{"value":"10.1016/J.APAL.2023.103292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156423$144C69E8-1B0F-479D-99FB-7303CE0D78CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca820577d73a8527d365391a8efcd579d1bf8971","datavalue":{"value":{"entity-type":"item","numeric-id":5094533,"id":"Q5094533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fadbedadb99e8e72fd4b886abc639bd93ec4861e","datavalue":{"value":{"amount":"+0.8043838739395142","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":"Q6156423$83A9C9CB-5099-4F07-B671-EB77EB5F3803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f78b29312d5394d5714802ccda4df76de99800d","datavalue":{"value":{"entity-type":"item","numeric-id":904147,"id":"Q904147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db3dc5cee2bfdc630ca2c060dec7aaf7eef06af6","datavalue":{"value":{"amount":"+0.8003883361816406","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":"Q6156423$5977CCE1-2AD4-4719-A277-DB6E0ED6CD4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db3533e0977f6674c347879665c6ffd1a2b73902","datavalue":{"value":{"entity-type":"item","numeric-id":2220386,"id":"Q2220386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e847992588bc0e7c2f3d687036f46a0a85912502","datavalue":{"value":{"amount":"+0.7279853224754333","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":"Q6156423$C87E4227-AB2E-4271-87B3-B622E3D943EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93a54bc13dd601ccca30e011d29150cee5707abe","datavalue":{"value":{"entity-type":"item","numeric-id":5287681,"id":"Q5287681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e78c54c0d6885d946113626e65587c9f76abfe9","datavalue":{"value":{"amount":"+0.7167954444885254","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":"Q6156423$965B2248-6EB9-49AB-88DB-D884D7A86CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59d806799cbd30b26124b876bedc06807204da95","datavalue":{"value":{"entity-type":"item","numeric-id":5322893,"id":"Q5322893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b421e2d55b9805f7e5047ab84ff05e83da9846c4","datavalue":{"value":{"amount":"+0.714577317237854","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":"Q6156423$41A0D81A-A0CC-4C72-A6C2-594A91F4126A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6156423","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6156423"}}}}}