{"entities":{"Q2640598":{"pageid":2651341,"ns":120,"title":"Item:Q2640598","lastrevid":49464106,"modified":"2026-01-07T05:09:28Z","type":"item","id":"Q2640598","labels":{"en":{"language":"en","value":"Algebraic disguises of \\(\\Sigma ^ 0_ 1\\) induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4187804"}},"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":"Q2640598$E5F4C089-F7AA-49DA-885A-F0FAAC78C7D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"675760f67c473882e0e461c3926878ad500fbac8","datavalue":{"value":{"text":"Algebraic disguises of \\(\\Sigma ^ 0_ 1\\) induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2640598$B5CDFF34-D6EE-4F6D-A5D8-854699E443BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c10ad664c073e77a5afc2e0deb8b52e40e3e2d1","datavalue":{"value":"0721.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640598$063D5448-FF79-4DA7-8CC8-9319D862BDB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"37695ed12e722b8ee6351fc75047ea4258d18388","datavalue":{"value":"10.1007/BF01630810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640598$01626665-7120-4EED-8BF2-F6341C12C4F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc6b0a00e6607661cbefb92143d98425b1762125","datavalue":{"value":{"entity-type":"item","numeric-id":1337496,"id":"Q1337496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640598$87B20B02-15B8-4B39-B65D-F61D2667B3AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640598$D0E99DB9-2228-4018-9C45-FDE4F4414323","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q2640598$C4AADAE4-F787-4F9E-B797-923BBC1A7880","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9d4c8d28de15a3255cab6ac88441b14659c71904","datavalue":{"value":"This paper contributes new facts to the growing body of results in ``reverse mathematics'' concerned with the very weakest theories; a general description of the underlying program is found in a paper by \\textit{S. G. Simpson} [Recursion theory, Proc. AMS-ASL Summer Inst., Ithaca/N. Y. 1982, Proc. Symp. Pure Math. 42, 461-471 (1985; Zbl 0578.03005)]. Many results in countable algebra were analyzed by \\textit{H. Friedman}, \\textit{S. G. Simpson} and \\textit{R. L. Smith} [Ann. Pure Appl. Logic 25, 141-181 (1983; Zbl 0575.03038)] as to their equivalence to the set existence principles of one of the basic theories used in the program. In a paper by \\textit{S. G. Simpson} and \\textit{R. L. Smith} [ibid. 31, 289-306 (1986; Zbl 0603.03019)] the system \\(RCA^*_ 0\\) was introduced, and the authors established that the \\(\\Sigma\\) \\({}^ 0_ 1\\)-induction principle is equivalent over \\(RCA^*_ 0\\) to a number of basic lemmas about polynomials in one variable over a countable field. In the paper under review it is proved, as the main theorem, that \\(\\Sigma^ 0_ 1\\)- induction is equivalent over RCA\\({}^*_ 0\\) to the fundamental structure theorem for finitely generated abelian groups.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640598$F1022A7A-30A5-4693-ADD6-E0F2C15BEB2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640598$E1441032-D0AF-4DB0-89C7-3EA380CA1618","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e76d37edb0eb604e5e0ed4a05633a1eb0c9ac66","datavalue":{"value":"4187804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640598$0876D0DE-C3FF-43F0-B210-28B636754905","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640598$C803A2DE-F76F-429A-941C-9625E0C783A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1138a012b4cd8c7289c775b0cc4b509999cc84","datavalue":{"value":"\\(\\Sigma ^ 0_ 1\\)-induction principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640598$4BCA7DBC-6081-456D-A243-0C1662C9298A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a1097e792d6d71d9ebc5fbc60b10274ac977602","datavalue":{"value":"\\(RCA^ *_ 0\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640598$9601CB46-1289-48C5-AD4C-5E474A9B509A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76b3d8c074ce3736e8a09a39d092958132ab2ecd","datavalue":{"value":"fundamental structure theorem for finitely generated abelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640598$1E066B5B-97A9-4C25-AB1B-C9E62FFCF458","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":"Q2640598$62C4C8B1-203A-4CAA-BBB5-A8B98AAA56A6","rank":"normal"}],"P223":[{"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":"Q2640598$210B1FBB-FCC0-41E1-8C36-CBF9392C6B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d6a26edc5e948720ec21cfd4432a0fa5dd3842f","datavalue":{"value":{"entity-type":"item","numeric-id":3481699,"id":"Q3481699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640598$709A2474-462C-4DC8-8B5B-53300191BFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"857dbc721bde21e7be82840ed4977ac267de115f","datavalue":{"value":{"entity-type":"item","numeric-id":1082338,"id":"Q1082338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640598$B1D04B8D-CEF1-4EF3-8D18-B99D4AD8D005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b8884c39b26a1b7cbe9eceef9f26bccd675df0b","datavalue":{"value":{"entity-type":"item","numeric-id":5795154,"id":"Q5795154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640598$EEDD2CBB-11B4-42A1-A720-17A83B7555DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20554d590fa17c2556bac22df26e675f460b7b38","datavalue":{"value":"https://doi.org/10.1007/bf01630810","type":"string"},"datatype":"url"},"type":"statement","id":"Q2640598$4DF78EEA-B576-4F16-AF40-CF66BF1D1494","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15a4c6356b5d6fd297baedd9a6217c0bf88ff11d","datavalue":{"value":"W1970805280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640598$1E4ACC24-9F2A-4335-ABCF-9527D7C34309","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc8c0009cd346afbd992c4735261aec080ebd1f7","datavalue":{"value":{"entity-type":"item","numeric-id":1082338,"id":"Q1082338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c2ea5e852f05358620e56522764130b820b601e","datavalue":{"value":{"amount":"+0.83716881275177","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":"Q2640598$78CA4444-F0BA-4A1A-B9BE-3F0A24365D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e754acde9c484db8f9bcdb19c3a337207fe76f6","datavalue":{"value":{"entity-type":"item","numeric-id":4249731,"id":"Q4249731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4cc30750471ada7dd7ac27040b52d8b2019f47e","datavalue":{"value":{"amount":"+0.7811792492866516","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":"Q2640598$67C012AA-D1C9-436B-A62B-60A81A39A271","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":"f4cc30750471ada7dd7ac27040b52d8b2019f47e","datavalue":{"value":{"amount":"+0.7811792492866516","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":"Q2640598$7988C998-C015-45A5-9305-718351A123A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"837b8e30ee7a9d72cc4becd9ac98e6122a000825","datavalue":{"value":{"entity-type":"item","numeric-id":1063593,"id":"Q1063593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"843fccfbad9871ab91baf4a53c128e1ee84e9c8f","datavalue":{"value":{"amount":"+0.7762163877487183","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":"Q2640598$A2BBA97A-30D1-430D-8378-36C1236907E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e042d8d8a0beaca39e28035bb0b03ad9bd98635a","datavalue":{"value":{"entity-type":"item","numeric-id":3360849,"id":"Q3360849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fea7b6fa6ab473ea558d503c27bf236f7b55a66c","datavalue":{"value":{"amount":"+0.7275911569595337","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":"Q2640598$E7AAF1B1-76E5-437E-B777-A8F38A72CADB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2640598","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2640598"}}}}}