{"entities":{"Q636381":{"pageid":638229,"ns":120,"title":"Item:Q636381","lastrevid":63168420,"modified":"2026-04-11T11:03:54Z","type":"item","id":"Q636381","labels":{"en":{"language":"en","value":"The determinacy strength of \\(\\Pi_2^1\\)-comprehension"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5943660"}},"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":"Q636381$FCCF69DB-43AF-454E-9B04-DC5F333AFA03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fdaf5bde61264d674bfc4ffb4f20392da2c037c0","datavalue":{"value":{"text":"The determinacy strength of \\(\\Pi_2^1\\)-comprehension","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q636381$59DEED6E-8A1B-4C7A-8EEC-45D1C100FAB7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4519fdc010a09ac76fa4795dda99645395688dcd","datavalue":{"value":"1226.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636381$218ACE95-E44B-4C38-94AE-228B80011CB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9461c80e1bd8740abe10530a97f1af44607cded3","datavalue":{"value":{"entity-type":"item","numeric-id":636378,"id":"Q636378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636381$EED802A4-072F-467C-9A71-6207583BBC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db57c596e9d8926f58614b1ce35838c725b57395","datavalue":{"value":{"entity-type":"item","numeric-id":636379,"id":"Q636379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636381$D79C79B1-BEA4-45A6-8B48-0122ABBBE829","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":"Q636381$5E1C8DBD-DC56-4757-90DE-BBE25436194F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8f347fb3b92d10259e32e7ae3b68d43ebb98729","datavalue":{"value":{"time":"+2011-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q636381$67D3D1E1-B526-4F05-B06E-F6F700C50E6D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0e5e318797b2945a75ed8205b4aff67bf2e7fd92","datavalue":{"value":"This paper characterizes the strength of \\(\\Pi^1_2\\)-comprehension in second-order arithmetic in terms of determinacy.  Let \\({<}\\omega\\text{-}\\Sigma^0_2\\) be the union of the finite levels of the difference hierarchy over \\(\\Sigma^0_2\\) and let \\({<}\\omega\\text{-}\\Sigma^0_2\\text{-Det}\\) be the statement that \\({<}\\omega\\text{-}\\Sigma^0_2\\)-games are determined.  The main result of this paper is that \\(\\Pi^1_2\\text{-CA}_0\\) and \\(\\text{ACA}_0+{<}\\omega\\text{-}\\Sigma^0_2\\text{-Det}\\) prove the same \\(\\Pi^1_1\\)-sentences.  The proof of this statement makes use of the so-called \\(\\mu\\)-calculus. Roughly, this is \\(\\text{ACA}_0\\) together with a least fixed-point operator \\(\\mu\\). In [Generalized inductive definitions. The \\(\\mu\\)-calculus and \\(\\Pi^1_2\\)-comprehension. M\u00fcnster: Univ. M\u00fcnster, Fachbereich Mathematik und Informatik (2002; Zbl 1050.03040)], the second author shows that the \\(\\mu\\)-calculus and \\(\\Pi^1_2\\text{-CA}_0\\) prove the same \\(\\Pi^1_1\\)-sentences. The main result is then established by showing that the \\(\\mu\\)-calculus proves \\({<}\\omega\\text{-}\\Sigma^0_2\\text{-Det}\\) and that (a characterization of) the \\(\\mu\\)-calculus can be interpreted in \\({<}\\omega\\text{-}\\Sigma^0_2\\text{-Det}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q636381$196D89EA-E7CE-46E2-BE1B-50FEAA83DEA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636381$EFD3F30B-E792-4DCA-8D2C-506BDF42F66D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d0fbfdd56746b1fac4d86fe54b6e7e79ffa6e12","datavalue":{"value":"03E60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636381$CEED89CE-C98B-46E7-8123-7CC1C81CA6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636381$27F41F60-7601-48A3-A844-E4D208123B06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4577b437e1152267bff4317c5eb012bb61bbb708","datavalue":{"value":"5943660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636381$DDED2956-CEBC-4B41-A517-1FADEB68DD4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q636381$13C473D1-7931-4C40-8BC5-FA4B70E72B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56adf33694e786dc761f163866775cf1c3cbb831","datavalue":{"value":"determinacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q636381$CD360279-404E-444A-A04C-17111268832B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q636381$AAA8A51C-81A8-4BD8-B8D7-F0810C990AEF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"40f697ed02d52afe57993528759bcd5315c722f6","datavalue":{"value":{"entity-type":"item","numeric-id":365681,"id":"Q365681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636381$14F283EE-B4A8-4536-B06A-B8D83B32FD1A","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":"Q636381$5EBE6347-D10C-4F2D-ACE7-8A155FA6285E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9bd451656cd100779d964225e9bfa9f2e53ef622","datavalue":{"value":"https://doi.org/10.1016/j.apal.2010.04.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q636381$92EC8E74-14EF-4254-9E9F-4D989B30CCAB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a258e09cdf148342f3db5c6e61ac7e25634925a","datavalue":{"value":"W121819503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636381$DE9A420F-EC0E-4D61-B05B-74ADD6B2817D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5fd9c8a86d54f136a6786613332ebf681fdcb24","datavalue":{"value":{"entity-type":"item","numeric-id":4945237,"id":"Q4945237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636381$6A5B5CA7-A3FA-450D-84BB-14D0D0389394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f773300cd053ea51f6b2e01c0bd0b060f02131","datavalue":{"value":{"entity-type":"item","numeric-id":4323294,"id":"Q4323294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636381$96F48200-E081-4A55-BF8C-7D5CFEACEDB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71df7289688a6f8a4ca5373356b7ba4f29382395","datavalue":{"value":{"entity-type":"item","numeric-id":4797583,"id":"Q4797583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636381$863BDEC2-6257-40F2-A67C-CDEAC7E4573A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ffed035003a07fe22ab4edff0f17bdfdb93781","datavalue":{"value":{"entity-type":"item","numeric-id":1139038,"id":"Q1139038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636381$2E6821BC-4660-46D7-B666-673A9EE1D7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9299096cc5f1dff4c22a5c4279a1d67eea625746","datavalue":{"value":{"entity-type":"item","numeric-id":5294020,"id":"Q5294020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636381$DA666DCB-C26A-49CA-9E88-168416D896E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4c43646d86d4421b9b1561ab47299ff23984385","datavalue":{"value":{"entity-type":"item","numeric-id":3530407,"id":"Q3530407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636381$1741A8D9-C4FA-4275-8C3B-85AB57CCB931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636381$2A059ACB-212B-4DD4-B00B-4A9CAC6DE808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"153cf84afb13d6612f520c1260b933080ea57b2a","datavalue":{"value":{"entity-type":"item","numeric-id":805613,"id":"Q805613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636381$4A847052-E0FC-4564-BD2C-82497211F750","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d6c615388e6ff88923de700d3dc17b6d96d8eb2","datavalue":{"value":"10.1016/J.APAL.2010.04.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636381$E237EB01-C3AA-4724-9A80-8144EBA62168","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68c693daf69eccfb4906665e7ed5ef4cc4070be7","datavalue":{"value":{"entity-type":"item","numeric-id":3353013,"id":"Q3353013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b8ff0432d32a426c29029fde4191324cea9ed31","datavalue":{"value":{"amount":"+0.76062083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636381$8C917681-798A-4EA9-AAB1-90A788598BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b71ae55a2dad061a608de6dcda30722a4fd03921","datavalue":{"value":{"entity-type":"item","numeric-id":805613,"id":"Q805613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cfa1af95af03b78f1b1baaf4819732b9bf9f252","datavalue":{"value":{"amount":"+0.74983615","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636381$F917CA57-4C4D-467F-926C-2114763C8923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1c43f569086590856b05f7423de09b0ecb59412","datavalue":{"value":{"entity-type":"item","numeric-id":6109090,"id":"Q6109090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cacae4fb84cb4cf19c4c8adf56dae5d44a1e0aaf","datavalue":{"value":{"amount":"+0.7246572","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636381$D9D2720A-90E9-4E75-9974-1C6F14086312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35732f6221900b18fc27007a6134a98eca5ea7e1","datavalue":{"value":{"entity-type":"item","numeric-id":3509078,"id":"Q3509078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16a5e0ca2ef411adb1e100cbaecb4e69952a301d","datavalue":{"value":{"amount":"+0.71981394","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636381$2F4E6886-127F-4129-88DE-93C93B31542E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73cef9693e437e5ff8bc8c69a20d4874c938f1e3","datavalue":{"value":{"entity-type":"item","numeric-id":3507462,"id":"Q3507462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a486c29ce808c9f0cfc289d432eb344f52a963d","datavalue":{"value":{"amount":"+0.7109083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636381$A9847239-DBD8-4FD1-8901-D74349083C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"767f59991fcd7f0d8204afaac75e260ebe175c6f","datavalue":{"value":{"entity-type":"item","numeric-id":480816,"id":"Q480816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f468b63450d4d6452186b6f4c0d594f9cf9c906f","datavalue":{"value":{"amount":"+0.70935696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636381$E9000953-192E-4DA6-8A3F-AD7A159FE86D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7d6dace9c12d1f2055878bceb4e6b0cbe3f79fb","datavalue":{"value":{"entity-type":"item","numeric-id":5394590,"id":"Q5394590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc0644cd08fac4faa7d2c958890fc4c6aecc65e2","datavalue":{"value":{"amount":"+0.7084358","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636381$42F663C6-5CB0-45C6-9832-6956989E1DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5ebdab13a85254bfd63443d5dc3f0ef1eabc65f","datavalue":{"value":{"entity-type":"item","numeric-id":2111115,"id":"Q2111115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2310f217705331affe43fc273d5b98fd5316b83","datavalue":{"value":{"amount":"+0.7008104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636381$DF85BCF0-85F2-4B55-8062-D4D51D18F5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ade5bf4d76fbd0e376b47448f793f09e728564d2","datavalue":{"value":{"entity-type":"item","numeric-id":4411813,"id":"Q4411813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2407befb5291cfc669efda408493cdbd95462bc","datavalue":{"value":{"amount":"+0.6990068","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636381$CDA32591-98CE-4B24-BB9A-FFA0181F4DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daa6d0b733cb5ca96190eda875b01728ba5e187a","datavalue":{"value":{"entity-type":"item","numeric-id":4635820,"id":"Q4635820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7074baa9b63dfdbabcd43d860b583eb72f2fd031","datavalue":{"value":{"amount":"+0.69669515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636381$CCA58074-069F-4CB2-B19A-9B3DC654B2DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The determinacy strength of \\(\\Pi 2^1\\)-comprehension","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_determinacy_strength_of_%5C(%5CPi_2%5E1%5C)-comprehension"}}}}}