{"entities":{"Q1071019":{"pageid":1081771,"ns":120,"title":"Item:Q1071019","lastrevid":48897622,"modified":"2026-01-06T02:55:10Z","type":"item","id":"Q1071019","labels":{"en":{"language":"en","value":"Arithmetic transfinite induction and recursive well-orderings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3937176"}},"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":"Q1071019$625A4D64-5774-4664-A2B0-C152B7A349F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c632bccd08f4386d9e8e07cea8dc2eb600c1c48","datavalue":{"value":{"text":"Arithmetic transfinite induction and recursive well-orderings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1071019$75A09F1D-F9E0-4194-AD26-0A65DDD12471","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"673806d3b1d9b12ef27a3d0db075a0e65d406421","datavalue":{"value":"0585.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071019$EF07F8D6-DB5C-4FD6-BF2D-2CA280C39A53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"866cb3371d1369396f7e24570c0fe1de5ad4dfdb","datavalue":{"value":"10.1016/0001-8708(85)90036-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071019$423B2E8D-051E-46F5-B670-31D3271C52A5","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":"Q1071019$5B79DAEE-D1D9-445B-85CC-B860BB18AA3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"183df695ae89db8e2a7647ddbe2de62ff0deb022","datavalue":{"value":{"entity-type":"item","numeric-id":1052316,"id":"Q1052316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071019$B906085F-EB3A-467D-98C8-EBED5F8F852D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071019$3027CF1B-B1F9-4A32-9A15-B423416AB16E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1071019$90347045-524A-4988-9F70-BE61A331C51E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"102676754f5eefe938623d6684cde93c0c80dafc","datavalue":{"value":"Let T be any of the following intuitionistic theories: higher order arithmetic (HAH), set theory (ZFI), or its extensions equiconsistent with large cardinals. For these T the following main results are derived by means of a uniform algebraic proof: 1. For every arithmetic sentence, provable in T there is a numeral n such that T proves that n is an index of a recursive well-founded proof tree for A (Th.3.1). 2. There is an arithmetic formula B(n) with n free, such that any primitive recursive relation on \\(\\omega\\), for which T proves transfinite induction TI(R,B) for B(n), i.e. \\(\\forall n(\\forall m(mRn\\to B(m))\\to B(n))\\to \\forall nB(n)\\), is well-founded (Th.4.1).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071019$62C4E80E-97F6-4586-8F46-E64A370174DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071019$B213A013-2F8F-4CBB-A3EB-2745134109E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071019$F1AE15DE-A0C8-4716-A7CA-C260F4103AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071019$221794DF-1B60-4560-88AE-49404AF12830","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9afb03e40a098fc3c3c96738fb250c176f9aaa2e","datavalue":{"value":"3937176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071019$03C8C64A-855A-4770-A1DB-676143D752A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aca44cd05b6ae7b16fcf689051c99887666a8262","datavalue":{"value":"recursive well-ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071019$E7C35897-1BA0-42F1-A4B2-711993DB27CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b976aa03e006f0f754ccdf587381b3677d8192d4","datavalue":{"value":"higher order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071019$12D6DEC9-4E12-4F17-92A5-811FBEDC2DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8757d975817ae04474540a3a06637225808bae6a","datavalue":{"value":"ZFI","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071019$35C22B40-98CD-4A57-9391-11864B736AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8cc87407ab9572d85505f2cace7811c9ecc29db","datavalue":{"value":"transfinite induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071019$978999AE-8587-4380-9DBE-C60361949F9A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3c8f905a9fbcdf869078c73fd37f10918c0aa052","datavalue":{"value":{"entity-type":"item","numeric-id":2538515,"id":"Q2538515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071019$C43BFE5E-2010-43B2-81A0-9EA47F1575DF","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":"Q1071019$B82143B3-F1F2-47F9-88D8-E6C2233452A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41f81c84fe0e44a61241e5970ab8f657d5b7ba70","datavalue":{"value":"https://doi.org/10.1016/0001-8708(85)90036-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1071019$8986CA31-36DA-40C6-AF4E-DB66485B99E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"121b9be6ca0678e25800c9c212731008e8256ba2","datavalue":{"value":"W2019619275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071019$50FFF807-A035-472E-9307-41B68844476E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1829d57a79fdec03bcb9e543ae58b9bda3fa26be","datavalue":{"value":{"entity-type":"item","numeric-id":3050433,"id":"Q3050433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071019$93A99E05-5854-475B-9583-50A3B07D504B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889c98b06b71353ead9711d9cef7ccbd6f932035","datavalue":{"value":{"entity-type":"item","numeric-id":3214890,"id":"Q3214890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071019$C1AB1176-8623-468C-8D17-BD879141D849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a25b81bd336fa26f6a3461c1dbd6a29212fbbe4e","datavalue":{"value":{"entity-type":"item","numeric-id":4405158,"id":"Q4405158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071019$27CC7895-FB33-4CF0-9F43-7951615F6567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23d97c8d213f29ed677ff5e63c90667b8bc60da0","datavalue":{"value":{"entity-type":"item","numeric-id":793724,"id":"Q793724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071019$A7E82A5F-11E6-4456-A258-B7A2DFFC3C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e0ff36aea7534f276d82357a9d295dc640bfdef","datavalue":{"value":{"entity-type":"item","numeric-id":796524,"id":"Q796524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071019$E5CE06F7-C31C-4E17-9368-65C28E344E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08f389b6cca70ba56b7ad87557ab38ccd38cfd54","datavalue":{"value":{"entity-type":"item","numeric-id":3852176,"id":"Q3852176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071019$A9F23E96-6E33-46C5-8847-7A8AE2A33A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f26bfd5f925a623cfb1eec360c3c78276804f06","datavalue":{"value":{"entity-type":"item","numeric-id":3852172,"id":"Q3852172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071019$2D320FEA-948A-461E-A840-CC1D6E92B365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071019$CE568D70-2255-4586-8D68-B85C7ECE0FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad31b53ed3267264d9af2e641f2e9e1d8f880d7","datavalue":{"value":{"entity-type":"item","numeric-id":5337196,"id":"Q5337196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071019$A5EC3C2F-D54A-4A1F-A4FA-7961820D10AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41800396e5c2208facfb06cc21f34008252d3a7f","datavalue":{"value":{"entity-type":"item","numeric-id":3909044,"id":"Q3909044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071019$AE74F69F-D9F9-4650-BE4B-703D8E73F1A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071019$B8C58089-DCE3-449D-81FB-39F74E7E5456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dec668d27b17236d20c4d0c731e94df29b5e12e","datavalue":{"value":{"entity-type":"item","numeric-id":5519129,"id":"Q5519129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071019$55DD40A9-E072-4B9B-9FF5-22A164C64D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7369bb28db75da8bb960da781273d62253574be2","datavalue":{"value":{"entity-type":"item","numeric-id":3310619,"id":"Q3310619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071019$1BFC80AC-7379-4794-8133-57D47E4C6D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"418052d6b35c28d36f179cc1653eff17614cd676","datavalue":{"value":{"entity-type":"item","numeric-id":3320376,"id":"Q3320376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071019$6E780C5A-121A-45A4-8EAE-EA73C2912F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ae99f13f02e4409a0a1f87f0ae24b3d0e3c0fd","datavalue":{"value":{"entity-type":"item","numeric-id":2534695,"id":"Q2534695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071019$F9BFECE4-5CEC-4327-9779-AF770E7846ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00e1af5ff4de5669d04468a059aa8da9a28a6e6b","datavalue":{"value":{"entity-type":"item","numeric-id":4198752,"id":"Q4198752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071019$68136A12-0B8F-4622-A5C3-CA919A6C3580","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6d4752beb5d86941d266229173b4a2b4468dbe4","datavalue":{"value":{"entity-type":"item","numeric-id":1820780,"id":"Q1820780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41ca3f119ad5118cb17de41f033ba6aea7c6f727","datavalue":{"value":{"amount":"+0.8233623504638672","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":"Q1071019$5B4D3595-AA92-4530-ABC2-A2323A17397E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16edc82f58feb4ddf61af132df6a20ccd593b407","datavalue":{"value":{"entity-type":"item","numeric-id":1919522,"id":"Q1919522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d1c133748c7ad8838284a9f32b798c5af2b1f41","datavalue":{"value":{"amount":"+0.7812795042991638","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":"Q1071019$D33DAA22-CCF8-41C2-B6B5-921896BFDA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a36f1bf8e3b11c34df5e8dde567d17a92b5203b2","datavalue":{"value":{"entity-type":"item","numeric-id":5351967,"id":"Q5351967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39a878480d3dcd480be505211487ff6c078ab23e","datavalue":{"value":{"amount":"+0.7689069509506226","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":"Q1071019$2B439D13-04D1-4A92-8EA3-4CFC62731F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"593743ae0c8060a98554f87fc7d4aab5f82e50fa","datavalue":{"value":{"entity-type":"item","numeric-id":4314785,"id":"Q4314785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91f82ad3e62985815c1667858a4c93019787257a","datavalue":{"value":{"amount":"+0.7655447125434875","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":"Q1071019$4086941B-A9AE-4208-9EBA-576B38D4BAD4","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":"702728cbd91e616287202fae1e4c4ee80066023b","datavalue":{"value":{"amount":"+0.754510760307312","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":"Q1071019$727FCD36-95C6-4226-B840-50680D822BCA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1071019","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1071019"}}}}}