{"entities":{"Q711565":{"pageid":713414,"ns":120,"title":"Item:Q711565","lastrevid":51112796,"modified":"2026-01-16T18:05:57Z","type":"item","id":"Q711565","labels":{"en":{"language":"en","value":"Consistency statements and iterations of computable functions in \\(\\mathrm{I}\\Sigma_1\\) and PRA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5806725"}},"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":"Q711565$88ACFA07-7E1A-487D-A583-A4C89A0992AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef9fd2dbe9c3b4acbc6fe07cae660f08837180f1","datavalue":{"value":{"text":"Consistency statements and iterations of computable functions in \\(\\mathrm{I}\\Sigma_1\\) and PRA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q711565$ADF5F287-FA6B-4162-A871-6800B6C3EBD0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd989511f9ad18d155cf84c5fcec5b51f9fa6940","datavalue":{"value":"1201.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q711565$18462CFB-7EA4-4F88-9ADD-82B26D190FF9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2188a88b6674acb5d2901ff8f3d0f4e479b75adb","datavalue":{"value":{"entity-type":"item","numeric-id":385072,"id":"Q385072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711565$22ECEBAC-BB89-4419-8C50-6EBE0CF6056A","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":"Q711565$2A83BA4E-F1D7-43B8-BF41-41D77466BD25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09144b649555c784d4a38ccd8313b58ed480e0c2","datavalue":{"value":{"time":"+2010-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q711565$718B4571-942A-4005-B123-5D33A722E1DF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"736ca89765e001d8394acadc7f5a8df62b7c59b6","datavalue":{"value":"The paper is devoted to the interrelations between two weak systems of arithmetic: PRA (= primitive recursive arithmetic) and I\\(\\Sigma_{1}\\) (= Robinson's arithmetic Q plus the \\(\\Sigma_{1}\\)-induction rule). A characterization of I\\(\\Sigma_{1}\\) in terms of PRA and iterations of a class of functions is given. In particular, it is shown that PRA is closed under iterations of these functions whereas I\\(\\Sigma_{1}\\) is provably closed under iteration. A sufficient condition for a model of PRA to be a model of I\\(\\Sigma_{1}\\) is given. This enables the author to give a model-theoretic proof of Parson's theorem stating that I\\(\\Sigma_{1}\\) is \\(\\Pi_{2}\\) conservative over PRA. A purely syntactical proof of Parson's theorem is also given. It is also shown that I\\(\\Sigma_{1}\\) proves the consistency of PRA on a definable I\\(\\Sigma_{1}\\)-cut. A consequence of this is the fact that proofs in I\\(\\Sigma_{1}\\) can have non-elementary speed up over proofs in PRA.","type":"string"},"datatype":"string"},"type":"statement","id":"Q711565$928AA3F8-D2B5-4945-9845-1186AEA5C9D2","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":"Q711565$19809A5E-CD00-4AF9-826F-AC2BA0B96A9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q711565$41593C57-4988-4951-9D1D-1C1570BC0BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q711565$D5BE0CA9-EACE-45DD-8F87-1E16E743B631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q711565$10878839-8991-4221-B85D-05A073D9666F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06a0f8e46026569011a0ca9b7ae1ad493b74dbdb","datavalue":{"value":"5806725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q711565$D03D0C3F-36B5-4DD3-88EB-6B784C3D9AEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47e60a25e0b382ce6c08289459559aa1a0708f76","datavalue":{"value":"arithmetical theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q711565$84FC09C0-5DBE-400A-B0D0-52DB6C0FD75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4108cecd289b9cafbcb28752da70c2315de2efa0","datavalue":{"value":"conservativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q711565$66EC92B7-2D3B-47C0-BF3C-A1745A4A703B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61ac8f4ed5fe3210887012ddc31884c2438ccb67","datavalue":{"value":"definable cuts","type":"string"},"datatype":"string"},"type":"statement","id":"Q711565$8D877B2B-3C40-4586-8473-4625D5051BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c43f06d46cdfe3c12d54b0daaee737dea9bb2b92","datavalue":{"value":"consistency statements","type":"string"},"datatype":"string"},"type":"statement","id":"Q711565$B846A1E5-CE58-4496-81AE-C2F1DB267B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94eb22cef142cd94fafd7e29182c87453d09d9c6","datavalue":{"value":"computable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q711565$8FAC7815-844D-4FF5-9755-BB0755D11587","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":"Q711565$BD904290-9E66-496D-8BCF-562C4E452744","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3095ef38801ebd51722b5e1896feea9a8c088b33","datavalue":{"value":"https://doi.org/10.1007/s00153-010-0199-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q711565$08DE69B9-3648-4E05-8E18-BE2CD3576A6D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5032751472ac78e816b9e9c2a7ad1f1b9782d60e","datavalue":{"value":"W2093589140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q711565$4322BD7C-055B-441C-89F2-1B81B571919C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2721d709f26c54ef76fcfddd6846288c1d8a51ee","datavalue":{"value":"Q120640954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q711565$9C888B3C-B80F-4B66-A956-ED59A1185CA1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fb47999908d254e4121198a94fbfb1e4ccaffed","datavalue":{"value":{"entity-type":"item","numeric-id":1861531,"id":"Q1861531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711565$CBD3679B-E119-46A9-ACC9-B56A187C19C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c473e525ddb30377e0108bbc9cb0dd0c2ff0887","datavalue":{"value":{"entity-type":"item","numeric-id":1361250,"id":"Q1361250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711565$7135258C-1D09-4136-B14D-F0C1E21069CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c2140d076703a39dcbcb7779c23b262d94fdad","datavalue":{"value":{"entity-type":"item","numeric-id":1407608,"id":"Q1407608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711565$05FF4A26-FC9B-4989-BA73-CF60BAA28E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c967ae4b0fba59ac6a0c72fafaafab5e42d0c5f","datavalue":{"value":{"entity-type":"item","numeric-id":4215631,"id":"Q4215631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711565$D21F4406-8D5D-44CA-8A29-BE04E1076C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711565$1F28DF75-1624-4513-99FF-0CCBDBAE3BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddb8cca8c75cf027dbdcd4ce3d55db4b7cc03846","datavalue":{"value":{"entity-type":"item","numeric-id":5585366,"id":"Q5585366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711565$DB41EA7D-B3FE-417E-9619-21FE084A3AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a08bbbef085ee185455e51b372e5226003ddca7e","datavalue":{"value":{"entity-type":"item","numeric-id":2565986,"id":"Q2565986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711565$38A60741-89D2-42CA-A8A8-8E95B993EE58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711565$A0A29B24-8D1F-4EF3-938A-9B170858FF17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e76f9a44a41d968d437c996e0e1e0be731222ce0","datavalue":{"value":{"entity-type":"item","numeric-id":2557247,"id":"Q2557247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711565$07654DD6-A4B4-439E-91A6-11F45DD665B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17618ddb1fd34bf255fc52b39503d1e91d300018","datavalue":{"value":{"entity-type":"item","numeric-id":5654035,"id":"Q5654035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711565$8AB38FC6-27B0-43A9-8FB5-981BA9DADBA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d356ebfaf5725a6262f13de5d5313f007ee40e","datavalue":{"value":{"entity-type":"item","numeric-id":5600870,"id":"Q5600870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711565$0A174470-FCD7-4C7D-95EC-E5E9667BEB43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58cc241747ec6fa1130277e3fe9cbb65e8f8d05e","datavalue":{"value":{"entity-type":"item","numeric-id":5680103,"id":"Q5680103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711565$B3601158-1FE8-4F30-9B71-BE4BEC60E10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16379452a4949bf4e97a3cd79c6104d4a7ee9465","datavalue":{"value":{"entity-type":"item","numeric-id":3755452,"id":"Q3755452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711565$5CC57C44-9CB9-4FD3-9D1C-57668AD9B426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bacb5aa102ce6c71274c34a5360472cea903ae3a","datavalue":{"value":{"entity-type":"item","numeric-id":2641297,"id":"Q2641297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711565$1B406645-EFDA-4938-91D2-65FF6B0F6256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711565$2E61D531-F1FA-4567-85D5-4B5F77627C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711565$2B1C552C-4D24-410C-A999-54D37302FC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d93c0216bb7a2404c766e146541a6f49efebe1b2","datavalue":{"value":{"entity-type":"item","numeric-id":1104318,"id":"Q1104318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711565$E4BA6F6C-5AB3-4170-810B-A8962DA62BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0c45ca7e85b7fc779ac39c5df64bc8fcd404d7c","datavalue":{"value":{"entity-type":"item","numeric-id":5687325,"id":"Q5687325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711565$452CAECB-E454-4288-8107-EE7772784FB0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"864618e1f4aa679ac991dfcc0ae0c8581d254800","datavalue":{"value":"10.1007/S00153-010-0199-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q711565$F40E6147-4140-4836-B808-772FA1A98138","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe3a956d4826a4b4fc8f02dcddca4964b2972a29","datavalue":{"value":{"entity-type":"item","numeric-id":558443,"id":"Q558443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60da8c546cae8481d70dbba0e7c3e1d499bd2f13","datavalue":{"value":{"amount":"+0.794145405292511","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":"Q711565$755AC4B1-0849-4AED-A259-5E99FAA9C660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fed2653cb0003aa59f2b74f8d96d7d06fc08296","datavalue":{"value":{"entity-type":"item","numeric-id":1920237,"id":"Q1920237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"412a3681bcf9bc883dcfc49eced02905fd4f546b","datavalue":{"value":{"amount":"+0.7451462745666504","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":"Q711565$520BCB2C-56CB-4C59-A5D5-86B0625BA11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05e2d44cb47803930234188ebe191c0d1f088583","datavalue":{"value":{"entity-type":"item","numeric-id":762484,"id":"Q762484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c217ec042c178a69c37c91a5dc9a94ae115edea","datavalue":{"value":{"amount":"+0.7450288534164429","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":"Q711565$378D9017-C00D-41E7-A692-259224DFAEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02ae907d10d4336b7c2309936fbd22fe887b50eb","datavalue":{"value":{"entity-type":"item","numeric-id":1885041,"id":"Q1885041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e19e8719d2b788d93469d715796cf509f9d9be7","datavalue":{"value":{"amount":"+0.7448617219924927","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":"Q711565$78BBEE7A-1395-494C-B9AF-26552AE8F286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68f520e0bd75a0a7dc365594459fe8dad51bc6e4","datavalue":{"value":{"entity-type":"item","numeric-id":1971796,"id":"Q1971796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c91b8d77f5a86221a37072076f957eb4ef4eef9","datavalue":{"value":{"amount":"+0.7372565269470215","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":"Q711565$9D591C2E-72E9-4D75-9EF5-DB48814EEEB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:711565","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:711565"}}}}}