{"entities":{"Q1935867":{"pageid":1946609,"ns":120,"title":"Item:Q1935867","lastrevid":43431813,"modified":"2025-07-25T19:02:54Z","type":"item","id":"Q1935867","labels":{"en":{"language":"en","value":"Reverse mathematics and Peano categoricity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6137400"}},"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":"Q1935867$FF386E5F-AC14-4D31-99AA-B92BD573C67F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31439874dbcc7590fcdbc43a5d532a3c33bd3de7","datavalue":{"value":{"text":"Reverse mathematics and Peano categoricity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1935867$D28B74FF-BFF1-4D77-84C6-EE6CC6B81521","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b4006b73a848565cc577b92e457e49cc3ffbe3d","datavalue":{"value":"1267.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935867$A9D714FC-6747-4915-8A64-C2360FB82D20","rank":"normal"}],"P16":[{"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":"Q1935867$01874737-B24B-4E3B-AC7A-F0A69ED03DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"991554509c5340d11023c6c860d73645277e2ec4","datavalue":{"value":{"entity-type":"item","numeric-id":324247,"id":"Q324247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935867$7F800E8C-A280-4649-8B2A-B39121141D5D","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":"Q1935867$1D523BC4-8351-46A8-A00C-4400EFBC79D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42b867b51fba2e4ccb5659deac7fc5f1408febd6","datavalue":{"value":{"time":"+2013-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1935867$FC467283-1168-467E-A398-D4809230CF8C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3b9e8d9e72c898feea953f97293b864617955429","datavalue":{"value":"The authors analyze the strength of a theorem of Dedekind characterizing Peano systems. The \\textsl{system} \\(A\\), \\(i\\), \\(f\\) consists of a set \\(A\\), a designated element \\(i \\in A\\), and a function \\(f:A \\to A\\). A set \\(X\\subset A\\) is \\textsl{inductive} if \\(i \\in X\\) and \\(\\forall a (a \\in X \\to f(a) \\in X )\\). In a \\textsl{Peano system}, \\(i\\) is not in the range of \\(f\\) and the only inductive subset of \\(A\\) is \\(A\\) itself. The authors prove in \\(\\mathrm{RCA}_0\\) that \\(\\mathrm{WKL}_0\\) is equivalent to the assertion that every Peano system is isomorphic to the natural numbers. Consequently, this form of Dedekind's Peano categoricity theorem is finitistically reducible. Next, the authors prove the preceding equivalence in the weaker subsystem \\(\\mathrm{RCA}_0^*\\), which restricts induction to \\(\\Delta^0_1\\)-formulas and appends natural number exponentiation. This result shows that the construction of the isomorphism in the Peano categoricity theorem requires primitive recursion. Categoricity theorems for other orderings are also analyzed, including some results related to ADS, the ascending/descending sequence principle of \\textit{D. R. Hirschfeldt} and \\textit{R. A. Shore} [``Combinatorial principles weaker than Ramsey's theorem for pairs'', J. Symb. Log. 72, No. 1, 171--206 (2007; Zbl 1118.03055)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935867$9FE5A74B-23F4-4ADA-A34A-0D5A3E12F5C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935867$FA2344D0-DE97-4948-BABF-15671040B60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935867$668281FF-D9E2-446B-9FA0-F48D7B49AEDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f908a056a3a5651cddf4ae6f5bbc3021dea2dd44","datavalue":{"value":"6137400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935867$0B6DCEBE-1967-4D38-B56D-AB09C1866FA2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935867$3FF514B3-28DA-4816-88EC-308840EFF5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935867$3D9DDF85-A4C8-4B97-BC04-52422D8C5F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcf5c86179439bdea17a4fc49c4172694f7d46f1","datavalue":{"value":"Peano system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935867$07B0AD91-CEED-4193-AE4C-9E7700914F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"294ce292240a6f433049300002b95cd141bb363b","datavalue":{"value":"foundations of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935867$A86C417F-69C3-4FE7-9CF5-2F530796246D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935867$A53E9F1F-665D-4AB6-B1F2-7E80CF64DF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935867$708EDE03-3DFB-4808-8CD1-74858B478467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87748aa4dda05bf8965e742d76826d38a1ea956d","datavalue":{"value":"RCA","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935867$6AD2E54A-2623-42C0-AFD9-6BF6612CA8D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"971c3a87d61cd2b2dd145b9052225bdfe903feef","datavalue":{"value":"WKL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935867$8398AE81-AE0F-42CC-AA63-1CDB85837D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8551c0d2e1404cc783f00125a861b721ce1c60e3","datavalue":{"value":"inductive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935867$2F414E50-3F98-40F1-B745-1EE2C7BBEAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ca53c0dfa7bf416ba527fe4a7245af8b4519e7a","datavalue":{"value":"ADS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935867$CAE6EB05-3CE8-4179-8A0F-C3AEFF5752C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655bb2d6c3920c6b415d02f5feb3c633e2cca9a6","datavalue":{"value":"linear ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935867$8D8E0380-1EA5-4438-9CBA-531F52907AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff9bbfd743209c63d265705aa79beea9080c9033","datavalue":{"value":"Dedekind","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935867$8CA384AC-1923-4097-8ED3-7F411A9B209F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c7a0f70c0b7cc2161585e985e86183cb70d3ef","datavalue":{"value":{"entity-type":"item","numeric-id":335001,"id":"Q335001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935867$C12D812C-8CAA-4C65-B9F8-E36A3BE848D0","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":"Q1935867$17F3C191-384E-4DE1-9895-E95E30DBEAE1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ed8dc780f445da21e9390397f11b5857f0586f2","datavalue":{"value":"https://doi.org/10.1016/j.apal.2012.10.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q1935867$C8270F4C-BF2D-470F-A97C-8D2F492D60C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a161438326c9cd2c58a95b86b1375e5a41631435","datavalue":{"value":"W2066300600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935867$A93A3A51-3B35-40D3-B2CC-F533EFB9AA94","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4821dd12438d68bd9f6f9695605585ed3181d860","datavalue":{"value":"10.1016/J.APAL.2012.10.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935867$A0CE7151-EF11-42DD-B872-2AAA7283A0FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4789a8a08bf89f905538fc591becff7508d06eaf","datavalue":{"value":{"entity-type":"item","numeric-id":4944903,"id":"Q4944903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f6772e3d2004590a96a5d54060d7e146422cb03","datavalue":{"value":{"amount":"+0.7382699","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":"Q1935867$086ED12F-001E-4529-83E0-0E9E9CDE233F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11504214261f79bd2819af955442e3543887e99e","datavalue":{"value":{"entity-type":"item","numeric-id":3081650,"id":"Q3081650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff9b1bff5e3f5cb4e105d38c19c8f1cfd4422d4a","datavalue":{"value":{"amount":"+0.7172729","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":"Q1935867$4FF5E787-F250-401D-ABE8-0282B9FEFD6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7960fc84e215b8d7130c441bbecf54de99699907","datavalue":{"value":{"entity-type":"item","numeric-id":2400498,"id":"Q2400498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e9502553baba4d1427158a0e9a6e24681ec8a60","datavalue":{"value":{"amount":"+0.71641946","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":"Q1935867$6A6ABB64-51D5-4B17-B8C8-D0D1516C580B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a4fb42a5356c6cc9780393ddb49417cdbaaae7e","datavalue":{"value":{"entity-type":"item","numeric-id":4215632,"id":"Q4215632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b981482b8bbf2487461395559323be9ea9c8d94","datavalue":{"value":{"amount":"+0.7136378","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":"Q1935867$7B92DC09-1091-4002-80A4-E79330800078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"049ee433aa0629bc8c6427ff5be297b884ff3a33","datavalue":{"value":{"entity-type":"item","numeric-id":1344849,"id":"Q1344849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12e61e3698015df4ad661d5070fd1ac55c03d83e","datavalue":{"value":{"amount":"+0.7131008","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":"Q1935867$48D9AF8F-A3C2-4642-93C8-3AFCF8E1187E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e0586dbdde168b6b85eae2e346f9eba996fe5d7","datavalue":{"value":{"entity-type":"item","numeric-id":2345394,"id":"Q2345394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37503fb8c08e54c085cdcddb23eafbecddd76b45","datavalue":{"value":{"amount":"+0.7101302","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":"Q1935867$8BE7F8E4-E5A0-4530-8E20-8D2AFC055071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7547eefe20a1ea800f8cdf8f2fd86bfeb3e625f0","datavalue":{"value":{"entity-type":"item","numeric-id":4736753,"id":"Q4736753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2665020c70fadc5d0413f89d4552fc94ea61a10","datavalue":{"value":{"amount":"+0.70937586","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":"Q1935867$E3284E44-5708-400C-BFCA-F4DF886A9162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa4208ca7497ec444bef5c405d12efd68902fc6d","datavalue":{"value":{"entity-type":"item","numeric-id":3028996,"id":"Q3028996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7de985602ac11e19f6092d3e139d7a0300a4f098","datavalue":{"value":{"amount":"+0.7043319","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":"Q1935867$1A575CA5-B2B0-414E-BAE1-E0C928EA7F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b94db61263818f5c3226bc4b2e6d11d88bedf9d6","datavalue":{"value":{"entity-type":"item","numeric-id":476119,"id":"Q476119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47169f0a04044c21131690ae9a8058df849c946f","datavalue":{"value":{"amount":"+0.7039345","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":"Q1935867$EDD3D8D4-CBEE-4F14-84F7-C835DD7A2F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a03ceb383087bce881e48546c53cc0aac5a1d752","datavalue":{"value":{"entity-type":"item","numeric-id":1288136,"id":"Q1288136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e75e7119f58db48a0c9c854c5d8252b2d484b79b","datavalue":{"value":{"amount":"+0.7035842","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":"Q1935867$E74A877B-0840-4C40-89CA-443048CFF822","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1935867","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1935867"}}}}}