{"entities":{"Q2367412":{"pageid":2378155,"ns":120,"title":"Item:Q2367412","lastrevid":74092557,"modified":"2026-04-14T18:20:13Z","type":"item","id":"Q2367412","labels":{"en":{"language":"en","value":"Periodic points and subsystems of second-order arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 243576"}},"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":"Q2367412$A30A9F4E-9BD5-4CFB-90FB-915835DC1362","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3095ce2e1117b488275b40e1f6a74c076a03096b","datavalue":{"value":{"text":"Periodic points and subsystems of second-order arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2367412$7C6D99F1-4482-41CA-89E1-EF271812C90E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e70bf2c341472b84abffe82592ca147c128f69c","datavalue":{"value":"0781.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367412$F2E6A9BF-F17E-478E-838D-A2FA16FA9ACD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54703af373a9ff92da4d76a68448c1a482eef6e6","datavalue":{"value":"10.1016/0168-0072(93)90187-I","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367412$92C463F0-D23E-4765-8BD1-73B58F6F55EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4db7d460ffc6b3e0069ff40b20b2755df97aa354","datavalue":{"value":{"entity-type":"item","numeric-id":196044,"id":"Q196044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367412$D928C0C0-6025-4490-B38C-CB7EF8115E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"68f5fcd1cb62389cc4f745277f8208c7cbfab8e9","datavalue":{"value":{"entity-type":"item","numeric-id":306820,"id":"Q306820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367412$EF138838-3192-4430-91DE-BE7D37380DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5750e8230fbc17e5b24a1295175cb4626625ef07","datavalue":{"value":{"entity-type":"item","numeric-id":673664,"id":"Q673664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367412$2C609140-FBD3-492D-B9B6-93E12878FED5","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":"Q2367412$4713FDF1-988E-4710-9972-18A4ED90A340","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a03d7e72c2f27d8f30f9a3e566010dcf9193975","datavalue":{"value":{"time":"+1993-08-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2367412$7CB58021-B014-49E1-9091-B11147AE5C9A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e289781b738f098218c16766cca79e83972a3092","datavalue":{"value":"The paper is a contribution to reverse mathematics of Friedman and Simpson. Its aim is to study which part of second-order arithmetic is needed to prove Sharkovsky's theorem concerning periodic points in dynamical systems on a closed bounded interval of the real line. It is shown that Sharkovsky's theorem is provable in \\(\\text{WKL}_ 0\\) and, with an additional assumption, also in \\(\\text{RCA}_ 0\\). It is also proved that the existence for all \\(n\\) of \\(n\\)-fold iterates of continuous mappings of the closed unit interval into itself is equivalent to the disjunction of \\(\\Sigma^ 0_ 2\\) induction and weak K\u00f6nig's lemma.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367412$C7CEF064-8582-43F5-8D15-1BFADE98F54B","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":"Q2367412$EC94F7EC-3BAE-44E6-866F-2200547DF762","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367412$AB755E77-FBD8-4FA3-AB6B-A5AE17FC38F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aeb91583b678cc0a7192b022e70df290249baee2","datavalue":{"value":"243576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367412$CAE670A6-F7FB-4D8B-9E83-E6A1A59CEE24","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367412$CCA9A18F-7055-4EE8-991B-9F50A0524690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367412$1A89D9F8-ADCB-4B65-8EBF-A2C0ABDCDD99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bee784dd859e681ea7efcd9ac4cf61a93502fcc0","datavalue":{"value":"Sharkovsky's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367412$2C91516A-9FF6-49D3-B550-B2E39E63ACC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80d73b2a9df22e7f6f27a3d30b12f23c390caacb","datavalue":{"value":"periodic points","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367412$E74F57E2-F83F-4CE4-B7AD-F6B52AE20D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"554ce1904bc7aad8ab28dec67ee5f4a3db655bbe","datavalue":{"value":"dynamical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367412$67C503B3-82D5-44C8-AC73-76E38BC288D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9b68fef298817cca1058a2c240e1997ef82198a","datavalue":{"value":"iterates of continuous mappings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367412$4422868C-8ABE-4C9D-B225-0B7330939493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f65c903e15f344548cee589bcf472518f888ec2b","datavalue":{"value":"weak K\u00f6nig's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367412$4C7D95D2-039A-4221-8B52-280F2856AFDB","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":"Q2367412$5A45E97A-7CDD-437D-B309-5B6F399324F8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"431ba3ec1a052b9e89178dda950c60e38dfa0948","datavalue":{"value":{"entity-type":"item","numeric-id":3797180,"id":"Q3797180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367412$DED6A211-34A0-4C3E-813D-1C11C93F57DD","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":"Q2367412$1722BE3C-358F-4421-AE4D-447F7169A2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cce7ff7be3ea1011fc17ff6c9482aab2154a580","datavalue":{"value":{"entity-type":"item","numeric-id":1063594,"id":"Q1063594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367412$6E708C20-069D-46F7-A7BF-6DACFE823D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c47cff689853aaf00cb2aef8a735700a7ed3a924","datavalue":{"value":{"entity-type":"item","numeric-id":1137146,"id":"Q1137146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367412$8D254F5F-E8B2-4E2D-9104-073A3AD06DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc40ca652f09128b9ff4e4eb70e6eb8679555f75","datavalue":{"value":{"entity-type":"item","numeric-id":4121755,"id":"Q4121755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367412$3468F553-A5FF-4037-8CCB-4909B5694AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2ae362161f600d03c911cdd14680de56971feea","datavalue":{"value":{"entity-type":"item","numeric-id":5734070,"id":"Q5734070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367412$8E4AF50A-5ADA-4F92-B0CB-6B14475DE25D","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":"Q2367412$168F01BC-C6F9-4F37-8CF6-AF8251DC9AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"134f2ad3455f970d41791f7dee3c85343a081049","datavalue":{"value":{"entity-type":"item","numeric-id":3799998,"id":"Q3799998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367412$38A4AFB1-8437-4A32-B631-361698D02AB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"449838dd14883a8197ca8071f57388e9bec4a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":922541,"id":"Q922541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0b4fde6444e1d92b0e2901aeb611e8a9615cdea","datavalue":{"value":{"amount":"+0.7864035964012146","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":"Q2367412$F98A7258-90A0-4D12-93A1-945038552C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25039b6171b2485eba382bcb26f5369f48506ee7","datavalue":{"value":{"entity-type":"item","numeric-id":3699664,"id":"Q3699664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9236f11329865ff75136869cb60ab5145d41cacd","datavalue":{"value":{"amount":"+0.773916482925415","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":"Q2367412$FE9944D1-7312-48A3-983F-FA94450C322A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec39047e460653e7cbe4a1f29e22dbb5130bd7bc","datavalue":{"value":{"entity-type":"item","numeric-id":2976336,"id":"Q2976336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fd19bd7b743a4c0c1c5c6dea5c093775e915a1f","datavalue":{"value":{"amount":"+0.7696843147277832","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":"Q2367412$EEFA6BFA-D287-4D51-84A6-F68AD865C46D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33a298fc2eb14c348d3929e0f000ebbb7616c7fc","datavalue":{"value":{"entity-type":"item","numeric-id":3595151,"id":"Q3595151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9a64f13b3e25b7a71ab08ab1c23e8b9488177b8","datavalue":{"value":{"amount":"+0.7632988691329956","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":"Q2367412$EDF6E932-6472-4078-8C44-EE4F39E7E67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"192e481960e56ef97b1130203d4ba2ddbdbef01e","datavalue":{"value":{"entity-type":"item","numeric-id":3744882,"id":"Q3744882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bed9b165af39ce5589fd8db73773dc2f63c6ecdf","datavalue":{"value":{"amount":"+0.7632050514221191","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":"Q2367412$D3CF2B33-F71C-40FD-9DFE-32FB52E571BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Periodic points and subsystems of second-order arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Periodic_points_and_subsystems_of_second-order_arithmetic"}}}}}