{"entities":{"Q922541":{"pageid":924389,"ns":120,"title":"Item:Q922541","lastrevid":49422538,"modified":"2026-01-07T03:25:10Z","type":"item","id":"Q922541","labels":{"en":{"language":"en","value":"Fixed point theory in weak second-order arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4168675"}},"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":"Q922541$5EEE839B-D157-413B-8CA2-4D19083D4824","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4fa4820b2d6f63cf653c124ee282d885b1f7d0e","datavalue":{"value":{"text":"Fixed point theory in weak second-order arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q922541$A0A78815-4670-4E75-AA65-255B2B0EBA34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c22779591f4e15eef240e1d9575da78382a7319","datavalue":{"value":"0711.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922541$417697F1-232D-4328-BC65-1EB6F4C250C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67d647487090506e2b96a0cc8fbfbb45f4ae079b","datavalue":{"value":"10.1016/0168-0072(90)90068-D","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922541$68C74B67-48D1-48E0-855C-00C76D9BBB1A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bac307cd32d07c47f0d2138da072773a66fbc11","datavalue":{"value":{"entity-type":"item","numeric-id":283559,"id":"Q283559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922541$334031C6-CB2E-4658-BD99-4A6ECC72EB19","rank":"normal"},{"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":"Q922541$8C2BA999-309B-48FF-822E-50DFC4261398","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":"Q922541$18696494-EF1D-469D-90D8-B65759A940C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q922541$C2CA0D9C-FB72-4B87-A8E6-032CA0165642","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5f617e8355beec293156442bc66eb8df58143e65","datavalue":{"value":"The paper is devoted to the study of fixed points in weak subsystems of second-order arithmetic RCA\\({}_ 0\\) and WKL\\({}_ 0\\). It is shown that Brouwer's theorem (asserting that every nonempty compact convex closed set C in \\({\\mathbb{R}}^ n\\) has the fixed point property, provided that C is expressed as the completion of a countable subset of \\({\\mathbb{Q}}^ n)\\) can be proved within \\(WKL_ 0\\) (indeed within \\(RCA_ 0)\\). Brouwer's theorem is then extended to its infinite dimensional analogue (in \\(RCA_ 0)\\). As an application the Cauchy-Peano theorem for ordinary differential equations is proved within \\(WKL_ 0\\), the Markov-Kukutani theorem asserting the existence of a common fixed point for certain families of affine mappings is proved within \\(RCA_ 0\\) and the Hahn-Banach theorem is proved within \\(WKL_ 0\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q922541$B605E46C-54AF-4440-9FE1-73F569EA3AF9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c45938d3b1c1a5c68183caabb02f42934d9ff682","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922541$E8BA9BA5-7782-4D3F-9CCC-19102C9A5ABD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922541$E8E3A79A-4856-47E2-843A-A4076A4E147F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d09026a8f79dd92863f9bf9fd58473d128b04978","datavalue":{"value":"4168675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922541$0372A0EA-AD87-4D91-B8E5-BCD7AAF81A7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q922541$F5F843C0-EDED-48EE-B58A-CF4477774441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b094949d1477dca480431bde79a717ee524ecc86","datavalue":{"value":"weak subsystems of second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q922541$7FB656A8-9F5E-49F9-A43B-04A01C8C218E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c845ae95babb6af7a7afdd88d456741bf43be141","datavalue":{"value":"\\(RCA_ 0\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q922541$64901C61-699B-4CFB-A081-ABE152E23BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d40c2b10dce191dd3396d9503e15b68f634b62c5","datavalue":{"value":"\\(WKL_ 0\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q922541$8289767E-C3B5-474C-9364-5B5B20004475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"842ff58c9853a0b010e41440ddd7bd066cc2b185","datavalue":{"value":"Brouwer's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q922541$CF7E0050-4554-4A99-BBA6-0EE73AC9FE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79dcd860fb674fa627cd5757f739dae2dd72f541","datavalue":{"value":"infinite dimensional analogue","type":"string"},"datatype":"string"},"type":"statement","id":"Q922541$3CAB6032-0BAB-4A0A-8400-E0B704A979BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af1f5b81960d0331dee19f28bbebc61f0d441513","datavalue":{"value":"Cauchy- Peano theorem for ordinary differential equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q922541$90502F0A-9830-498E-8A00-C0A3107B264A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50908aeee2dc98d289d15232f82af8032274f5f7","datavalue":{"value":"Markov-Kukutani theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q922541$2A45EA2B-3B76-4038-800D-579DD818FA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37519be74de3baa568a0c26d7132e9d7613a24a0","datavalue":{"value":"affine mappings","type":"string"},"datatype":"string"},"type":"statement","id":"Q922541$C193BAF7-9ACD-4F4B-9AC9-47D653CC07DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2caac2706504f2f1006241de1819141d7be685d9","datavalue":{"value":"Hahn-Banach theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q922541$D9C2EBD2-4D0A-4D73-B16C-2F84D2382B32","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":"Q922541$677C54E0-A5B1-45BD-B3E1-0E8029FDFE72","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bd06ae5202dd80859d0fd11b1b229caa7bf7c87","datavalue":{"value":{"entity-type":"item","numeric-id":3910522,"id":"Q3910522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922541$278CAA49-DBF7-48CD-98EB-238A707C760A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922541$99A4453B-5627-43B5-A518-E04694463565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c04eefff02b2e316a44c6dd3a4910700df42c66c","datavalue":{"value":{"entity-type":"item","numeric-id":1820779,"id":"Q1820779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922541$15042A28-6CFE-427A-89DC-97BC3BCF77D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f69b42a8a60c99417cabbfede6572df81b1f5849","datavalue":{"value":{"entity-type":"item","numeric-id":3941926,"id":"Q3941926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922541$A480AE5D-9F49-4245-8691-95944DBB9D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"049a29583df6c5f08ae3bb77a354823211784640","datavalue":{"value":{"entity-type":"item","numeric-id":772593,"id":"Q772593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922541$423118C3-A9C3-49D0-B5C3-40FE5CCFD72D","rank":"normal"},{"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":"Q922541$C0EDC870-7580-48DC-AAFC-D2B36E670AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29c45866e6366266fc85213b2eb8d896f6640763","datavalue":{"value":{"entity-type":"item","numeric-id":1063593,"id":"Q1063593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922541$8EDB6422-AA26-46F1-A4BB-F86D569EA044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b84cee3f7ed8dbc012667f10149beddf306bb2d4","datavalue":{"value":{"entity-type":"item","numeric-id":3895282,"id":"Q3895282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922541$30127073-61F4-48E1-84DF-92C263F0BB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b825df37142d8ee8e02427401195696ab589941e","datavalue":{"value":{"entity-type":"item","numeric-id":1838118,"id":"Q1838118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922541$43FC083D-25F6-4BAE-9568-A990C5ACB343","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":"Q922541$D702351B-B779-4579-8676-245818AD6AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4f7d5d967bc58beac3514f316741fe13abe703","datavalue":{"value":{"entity-type":"item","numeric-id":3708798,"id":"Q3708798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922541$5B97FB34-EF39-4D59-B23F-8A1434430CD2","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":"Q922541$E3D4AEBB-255B-42DA-BECF-E09E24E57E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5852ef2bc5dccf1c5c56cec50eb2fa158408bc3c","datavalue":{"value":{"entity-type":"item","numeric-id":4051163,"id":"Q4051163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922541$E77FEBCA-680F-44AC-8DEE-7D2CD947CBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d32c0459766f067a20b67972287d569f0e26ad7b","datavalue":{"value":{"entity-type":"item","numeric-id":3776120,"id":"Q3776120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922541$42343ED7-6A66-4956-ADEF-992CDD613BB1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75c9fedc5fa3c7ae20aab46885390948a5bf1892","datavalue":{"value":"https://doi.org/10.1016/0168-0072(90)90068-d","type":"string"},"datatype":"url"},"type":"statement","id":"Q922541$758E41BB-12DB-4581-923C-951FFB04C185","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77e3435fa25eca76343ba789517f082db7d696e9","datavalue":{"value":"W2013342737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922541$3CD0507E-9BB8-44CD-91C1-3AC9BEE4996B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67ea63ba8de941243d6a615642dc2f97260b72ef","datavalue":{"value":{"entity-type":"item","numeric-id":527337,"id":"Q527337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f243de18da750b50ae31d52bf7e4157cb3dac299","datavalue":{"value":{"amount":"+0.8191215395927429","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":"Q922541$91778208-9C9F-47E8-923D-7977D42BB316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6a8a7b3a81348e7f9788dfd70810e22fc114249","datavalue":{"value":{"entity-type":"item","numeric-id":3138013,"id":"Q3138013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fe03bdf72d1e92cbdaed477a6ef8fb123a683ee","datavalue":{"value":{"amount":"+0.8183654546737671","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":"Q922541$D967C17E-E6DC-4263-A228-BAE1354F88DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc503475ecd3cf8e015c2335e40b4a7cc98c8547","datavalue":{"value":{"entity-type":"item","numeric-id":5108123,"id":"Q5108123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0d8bc366af9575400fe42e00c26fb38e4ddc3c1","datavalue":{"value":{"amount":"+0.8151911497116089","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":"Q922541$7B17A011-9D96-4F6F-8278-42DBB489358C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2a0054b324577f06410e3f3adb185598e441a66","datavalue":{"value":{"entity-type":"item","numeric-id":5203004,"id":"Q5203004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"303878b0c879fa468c1da2fa4e632a1a957bfa2f","datavalue":{"value":{"amount":"+0.81063312292099","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":"Q922541$E6FB8A3E-5DC2-4193-A240-34FEA4036457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0c2e7e6db1551d85238aab539f1bfc42b230639","datavalue":{"value":{"entity-type":"item","numeric-id":2367412,"id":"Q2367412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0bc4b2028b2edd01443f14024e69cb7a56dc151","datavalue":{"value":{"amount":"+0.793279767036438","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":"Q922541$CE858F4E-F808-4896-AD65-BD549AD2823A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:922541","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:922541"}}}}}