{"entities":{"Q805613":{"pageid":807461,"ns":120,"title":"Item:Q805613","lastrevid":49514155,"modified":"2026-01-07T10:41:47Z","type":"item","id":"Q805613","labels":{"en":{"language":"en","value":"Weak axioms of determinacy and subsystems of analysis. II \\((\\Sigma ^ 0_ 2\\) games)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4204336"}},"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":"Q805613$A1C3A53E-724E-4754-8D1D-60D58B60B82F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c905656696c5b461aadf7a4131f4b04fe21ff77","datavalue":{"value":{"text":"Weak axioms of determinacy and subsystems of analysis. II \\((\\Sigma ^ 0_ 2\\) games)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q805613$509AB77E-DE4E-4CDC-A5C8-8ADC1B2E9259","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"abbff61d4888cc014b5ce237a89de323f7cd8d7b","datavalue":{"value":"0729.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805613$AAE704C3-9789-46B3-B8DA-CA5C7C2E0301","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04726239c88302b7e7230fb26a950429a171e728","datavalue":{"value":"10.1016/0168-0072(91)90045-N","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805613$C37F3595-8971-4AB6-8CB2-B60CFBD7CCE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eea4f97108b5d4f7a0bd80664332764ce166d4ee","datavalue":{"value":{"entity-type":"item","numeric-id":676309,"id":"Q676309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805613$6999BB03-0761-4B96-8B42-9800FDCA0C70","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":"Q805613$A0F5F366-6FC9-48BF-8060-DC347D6934B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q805613$A376C006-06E8-4830-8D17-C4712C5AFC11","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bbe17af0b9973be7980775e0515eff9989c42531","datavalue":{"value":"[Part I is reviewed above (see Zbl 0729.03032).]    Proof-theoretic strength of \\(\\Sigma^ 0_ 2\\)-determinacy is investigated with respect to the well-known calibration subsystems \\(\\mathbf{ACA}_ 0\\), \\(\\mathbf{ATR}_ 0\\), \\(\\pmb\\Pi^ 1_ 1\\)-\\(\\mathbf{CA}\\) of second-order arithmetic.    Recall that a mapping \\(\\Gamma\\) : P(\\(\\omega\\))\\(\\to P(\\omega)\\) is called a monotone operator (over \\(\\omega\\)) if \\(\\Gamma\\) (X)\\(\\subset \\Gamma (Y)\\) whenever \\(X\\subset Y\\subset \\omega\\). \\(\\Gamma\\) is a \\(\\Sigma^ 1_ 1\\)- operator if its graph \\(\\{\\) (x,X): \\(x\\in \\Gamma (X)\\}\\) is \\(\\Sigma^ 1_ 1\\) without second-order parameters. The axiom of \\(\\Sigma^ 1_ 1\\)- monotone inductive definition \\((\\Sigma^ 1_ 1\\)-MI) asserts that for each \\(\\Sigma^ 1_ 1\\)-monotone operator \\(\\Gamma\\) there exists a transfinite sequence \\(<\\Gamma_{\\alpha},\\alpha <\\sigma >\\), \\(\\sigma\\in Ord\\), such that \\(\\Gamma_{\\alpha}=\\Gamma (\\cup \\{\\Gamma_{\\beta}:\\beta <\\alpha \\})\\) for all \\(\\alpha <\\sigma\\) and such that \\(\\Gamma_{\\infty}=\\Gamma (\\Gamma_{\\infty})\\) with \\(\\Gamma_{\\infty}=\\cup \\{\\Gamma_{\\alpha}:\\alpha <\\sigma \\}.\\)    For any formula \\(\\phi\\) with a variable ranging over \\(\\omega^{\\omega}\\), a two-player infinite game \\(G_{\\phi}\\) is associated, in which players I and II alternately choose natural numbers. Player I wins if the resulting infinite sequence of natural numbers satisfies \\(\\phi\\). The game \\(G_{\\phi}\\) is determinate if either I or II has a winning strategy. For a class C of formulas, the axiom (C-Det) asserts that any game associated with a formula in C is determinate.    It is proved that  \\[ \\mathbf{ACA}_ {\\mathbf{0}}\\vdash (\\Sigma^ 0_ 2-Det)\\to (\\Sigma^ 1_ 1-MI),\\quad \\mathbf{ATR}_ {\\mathbf{0}}\\vdash (\\Sigma^ 1_ 1- MI)\\to (\\Sigma^ 0_ 2-Det).  \\]  It is stated as a conjecture that \\(\\mathbf{ACA}_ 0\\nvdash (\\Sigma^ 1_ 1\\)-MI)\\(\\to (\\Sigma^ 0_ 2\\)-Det).","type":"string"},"datatype":"string"},"type":"statement","id":"Q805613$4385F61A-DB4F-4E23-9DB7-56DF02FC9F86","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5b39a071f220ede335b535a94dac9b2e05d71f72","datavalue":{"value":{"entity-type":"item","numeric-id":802552,"id":"Q802552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805613$3F624AFA-E3F1-4642-89AD-FE4BEE8E383D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805613$0DF35A10-97EA-4F9F-810E-2E023DB4E2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d0fbfdd56746b1fac4d86fe54b6e7e79ffa6e12","datavalue":{"value":"03E60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805613$A98F6B3A-8BF7-490C-910C-05F307E42025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3fca415580115e1e0a74c69afb3a7d85b0c01d8d","datavalue":{"value":"03D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805613$A3A28462-BFA8-41C2-BD58-9C4B018ADBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805613$779F8998-411A-48D2-A449-1F0CAB9FE837","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0fa5d61cf21fcaf13f04ad948a04ed772e60796","datavalue":{"value":"4204336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805613$B6BD744E-223B-43D3-B705-4C798EF82E55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78ed478192346e3c7f10977db25f54f0e7a01767","datavalue":{"value":"calibration subsystems of second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q805613$260DE7A8-D11C-47F5-9C73-AA28E20804ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86b4590099370d65f5702e8a08d06821a4c54bdb","datavalue":{"value":"Proof-theoretic strength of \\(\\Sigma ^ 0_ 2\\)-determinacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q805613$A7113AE3-EF6D-45FE-98EB-634FCBCE7092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9fab473c3c0c0659b2bc1ba1109fa46b883cf9b","datavalue":{"value":"monotone inductive definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q805613$93637B9F-E296-4014-B97F-3CD4D9D33632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef495ac60c3b16908b02166353dc0985fcb6be96","datavalue":{"value":"two-player infinite game","type":"string"},"datatype":"string"},"type":"statement","id":"Q805613$EB2E4691-78EF-411F-8415-80D4E678E570","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c04ad77f81a5fc27cef6168c39c01e0f618be4bc","datavalue":{"value":"Q114684039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805613$A745249F-E70F-415F-B6D3-84171781C47E","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":"Q805613$6DAFFACD-18E5-44BF-974F-0082D6082E1D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0842236f0f9c6282c7fbe6f5512cae3e61d9ccae","datavalue":{"value":{"entity-type":"item","numeric-id":4111536,"id":"Q4111536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805613$229F9E5D-A59A-4C40-ADEE-89427316FD53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"291c0aac3acd9b073e4d9b018d15a1f5e5feb77d","datavalue":{"value":{"entity-type":"item","numeric-id":3671967,"id":"Q3671967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805613$8BCC26F8-5B5A-42CA-ABCC-829A80CC3677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"287785aa8651b26f912f2bcca2b2a743939d591e","datavalue":{"value":{"entity-type":"item","numeric-id":4146722,"id":"Q4146722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805613$75F5A2A2-F51F-4C77-B47B-772F3F6ECF0C","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":"Q805613$C5D68540-CB64-47A9-B261-B8675ED37A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bbba6cd1f1c8123f083e2f7c6bcf7bf52744286","datavalue":{"value":{"entity-type":"item","numeric-id":922541,"id":"Q922541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805613$B88B063F-A33E-43D6-A2BC-F62D31433928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db69c3d1bea51cae9245fff8b1ff8bcd37190160","datavalue":{"value":{"entity-type":"item","numeric-id":3699664,"id":"Q3699664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805613$6DA439C1-B2BB-4D21-8209-1F3154C2E02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb42af12e87b693c7af0edf08cc8e55e0ed73bf6","datavalue":{"value":{"entity-type":"item","numeric-id":1117221,"id":"Q1117221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805613$E98277DC-5892-43F1-BB8C-6F497330CB68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ee2a1b4643e9952149ff949e544761274e45ae8","datavalue":{"value":"https://doi.org/10.1016/0168-0072(91)90045-n","type":"string"},"datatype":"url"},"type":"statement","id":"Q805613$D6EA3940-2C31-4C4F-B661-0D77B27D5D25","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"467e0a0395d06250dc5e625e3819bace4e084d45","datavalue":{"value":"W1979890335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805613$8EE7F0ED-AEE0-42E6-9A4E-15E3993FAB9F","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":"f76c81f3e210dcfd0b4c64b29a7966ab259ae1f4","datavalue":{"value":{"amount":"+0.8850035667419434","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":"Q805613$91D90C23-E167-4A78-9A1A-8FCCC96383C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"698285bedd1468c15cafd61e35c38928259b85e0","datavalue":{"value":{"entity-type":"item","numeric-id":5293192,"id":"Q5293192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41a4e860898385850599ad3481f682d1d2e075fa","datavalue":{"value":{"amount":"+0.8167670965194702","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":"Q805613$9D642917-D6E7-4130-80CA-6CCF8EB39415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce0dc0ae0a17af5f31dd5eef6fff35b1d5a4f530","datavalue":{"value":{"entity-type":"item","numeric-id":2631880,"id":"Q2631880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e01ee130dd9445d6e9fcbe5909e399c6f7d2c2fb","datavalue":{"value":{"amount":"+0.8125205039978027","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":"Q805613$35EE26AC-3BBF-49D4-8AE4-87475FD64F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a97f718ed58b9f76980d43729beebf79357c89d","datavalue":{"value":{"entity-type":"item","numeric-id":2904432,"id":"Q2904432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8837c19e0f6cbadbd0074b573a82f97edbfd9e64","datavalue":{"value":{"amount":"+0.8026112914085388","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":"Q805613$E2E069D6-FD9A-4178-A156-A2F80FD7AA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15978ee46f154c058a13299f51b4fb9d5983739b","datavalue":{"value":{"entity-type":"item","numeric-id":3116522,"id":"Q3116522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"884faeb68d16cf839a7e584fad0137972030c4a4","datavalue":{"value":{"amount":"+0.7982832193374634","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":"Q805613$74D52981-652A-40FF-A59A-6E2734FAF8C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:805613","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:805613"}}}}}