{"entities":{"Q804564":{"pageid":806412,"ns":120,"title":"Item:Q804564","lastrevid":49504696,"modified":"2026-01-07T09:05:54Z","type":"item","id":"Q804564","labels":{"en":{"language":"en","value":"Provability logics for natural Turing progressions of arithmetical theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4202240"}},"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":"Q804564$5C9A3903-D767-4400-ADFD-0E18676593AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14ee8c1274f0d3b9f139365fb159b2c27582c38a","datavalue":{"value":{"text":"Provability logics for natural Turing progressions of arithmetical theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q804564$D5E58C96-B592-435D-BDA1-4499EF986FD8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fdecbb87f6968fb2b54e36a98d4412de9c6501d","datavalue":{"value":"0728.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804564$302593CE-6D65-4440-A1ED-5E10C5FBCC1E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49cb9e62fbbe8b096a88b131a1cf13354a582192","datavalue":{"value":"10.1007/BF00370390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804564$D016363A-6621-4367-91F1-52D9A823544E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804564$98F3840A-3A20-49E6-99CB-5A103F66D281","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q804564$A133AE98-70EA-417A-A144-AF8522287A4C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"750cbc4c37989c6b4486fb22c201930801fab747","datavalue":{"value":"In this paper Beklemishev defines a normal modal logic that has for each \\(\\xi < \\varepsilon_0\\) a modality \\([\\xi]\\). The intended arithmetical interpretation of each modality \\([\\xi]\\) will be a formalization in \\(\\mathbf{PA}\\) of ``provable in the \\(\\xi\\)-th Turing progression of some base theory \\(T\\)''.    The logic \\(\\mathbf{TL}\\varepsilon_0\\) is presented. This logic is proven to be sound in that it generates modal principles \\(\\phi\\) that are provable in \\(\\mathbf{PA}\\) under any arithmetical interpretation \\(\\phi^{\\ast}\\) of \\(\\phi\\). The base theory is chosen to be \\(\\mathbf{PA}\\) so that transfinite induction up to any ordinal \\(\\lambda < \\varepsilon_0\\) is available.    Next, modal semantics for \\(\\mathbf{TL}\\varepsilon_0\\) and certain fragments is given and modal completeness results are provided. These modal models can be embedded into arithmetic using a Solovay function to prove that \\(\\mathbf{TL}\\varepsilon_0\\) is arithmetically complete.    By taking all theorems of \\(\\mathbf{TL}\\varepsilon_0\\) as axioms and adding reflexion to the logic one obtains after closing under modus ponens the logic \\(\\mathbf{TL}^{+}_{\\varepsilon_0}\\) that generates exactly the modal principles \\(\\phi\\) that are true in the standard model under any arithmetical interpretation \\(\\phi^{\\ast}\\) of \\(\\phi\\). It is shown that both \\(\\mathbf{TL}\\varepsilon_0\\) and \\(\\mathbf{TL}^{+}_{\\varepsilon_0}\\) are  decidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q804564$4117B0A8-B05C-41DA-8B00-1EDF2FA5F452","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"46bf7e1fcae7c13024d220dc5939fc0f3219c3d7","datavalue":{"value":{"entity-type":"item","numeric-id":385072,"id":"Q385072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804564$0D2E0F47-9FD5-435E-9202-6850094D1C69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804564$454FC2AA-3C80-4500-8455-73145F534119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804564$332F3767-6021-44FF-98CF-E207888014AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804564$C4227A9A-548A-43E9-9195-609C6768E784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804564$3F489CDE-C02F-49DA-B7FE-D3A12EA9A712","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"923db63da43209fae5b478ace914d215b3e11174","datavalue":{"value":"4202240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804564$EC3760F2-8753-473E-8D29-6C3D7F07B95D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q804564$27A42C11-7846-46D6-9BF4-C989BDCD3CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5891874b2f20b8c04559bf2dac1f49edbe117951","datavalue":{"value":"recursively enumerable theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q804564$CB16EE4B-97B6-43C0-9D0B-1C7F2405BB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee7a96cc9b63b7e1482d84f68a0d60ebea610fee","datavalue":{"value":"arithmetical interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q804564$0D94D8CD-0364-43AC-80D8-05D07CFAB8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d2797d38d79a854c1a86b6710b78ed94c5ead3e","datavalue":{"value":"modal operators for progressions of theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q804564$B59839D1-8671-4473-B4E4-DA8006EACB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ff02888b791812ddffc3fccfc663496a3736af7","datavalue":{"value":"arithmetical completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q804564$8D21C664-29C4-45AB-992F-F9BE4FB0CFD4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5270766f22c7ad4a781677af5d45e6943b2a3573","datavalue":{"value":{"entity-type":"item","numeric-id":636315,"id":"Q636315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804564$EE498E05-931D-4031-8A8B-D93F1DBEFB13","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":"Q804564$763CCC8D-279E-432A-BF0D-0EA46FA9D74D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7af45ee1ad3111a50a2bace55c07e1900e5ee6f5","datavalue":{"value":{"entity-type":"item","numeric-id":579232,"id":"Q579232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804564$B8BE3D0E-06DA-4359-834F-206131D85FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75a53d59efa144ed7cc8d7f6a5488bdec8059d8f","datavalue":{"value":{"entity-type":"item","numeric-id":5727661,"id":"Q5727661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804564$D45F7BF5-C913-42DD-AA9D-EC7FA7DDBBAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"583df72505025738331be38b541f2229c469585f","datavalue":{"value":{"entity-type":"item","numeric-id":1238803,"id":"Q1238803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804564$E74EFE05-425E-4926-9883-2043C7F6B01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08ce2e1be7062ada793624a42c35614af512a31e","datavalue":{"value":{"entity-type":"item","numeric-id":3760515,"id":"Q3760515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804564$C482CE6B-3204-4D87-A67E-766D25521C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"062b9d8a5f2f4078bacec54baac4624d94f52ed3","datavalue":{"value":{"entity-type":"item","numeric-id":1097256,"id":"Q1097256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804564$02D42799-4B69-4F86-870C-6E20A37DE875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804564$95A7CAA5-2528-4628-B797-76C6B2670B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7be7d79e82dcd1c9acd8e86d8eb7b6e408baeb","datavalue":{"value":{"entity-type":"item","numeric-id":791202,"id":"Q791202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804564$2BAD5CEC-DFF5-486C-8BEC-29F47707CB95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e37bd2857f9d148141835b91ff77345ab5dda95a","datavalue":{"value":"https://doi.org/10.1007/bf00370390","type":"string"},"datatype":"url"},"type":"statement","id":"Q804564$D9F8BB66-BAAE-4D2C-BC6C-67F0F60C83FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7339d82d4bc1a0688cc393f3d5e51fd3cd03787c","datavalue":{"value":"W1984643361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804564$FD8BFD02-0D5B-4686-91E1-94112D140022","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc5b6cdbe9ffe48c024d4bcaeda9441c4a3c1b4d","datavalue":{"value":{"entity-type":"item","numeric-id":2176413,"id":"Q2176413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"154e90f7d4404e5357b53cd61b5c99e6d9e6df15","datavalue":{"value":{"amount":"+0.8109163045883179","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":"Q804564$5D171867-1E44-4247-86E1-8150ED3B36F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eaf2aa6dfbd45412019c03011961f4a9ad602b0","datavalue":{"value":{"entity-type":"item","numeric-id":5300077,"id":"Q5300077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a54cafb0078172459565159eb4c89888a54bfdb","datavalue":{"value":{"amount":"+0.8013113141059875","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":"Q804564$DB265711-A725-455D-8EB5-08CA3F09546F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1b23f562fb031484f67fae9fd420fa5b7137505","datavalue":{"value":{"entity-type":"item","numeric-id":5202654,"id":"Q5202654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfee19812e13459c9ce2e45d40bd56eaf7851552","datavalue":{"value":{"amount":"+0.7921743988990784","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":"Q804564$70AB4F74-4BBF-4DD7-8E60-CB1740BD1F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6005b88badd1d5d65fa1000e0dac197b7ae652f","datavalue":{"value":{"entity-type":"item","numeric-id":4692089,"id":"Q4692089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5a3e68ce469c32df7a8a734289144202ac1b661","datavalue":{"value":{"amount":"+0.7911630868911743","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":"Q804564$F885008B-757C-4992-B674-DD9E2C7EFD8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3277ce74f5083ec23be2fd6321b53b775c56d0ba","datavalue":{"value":{"entity-type":"item","numeric-id":1332858,"id":"Q1332858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"708e94aa6961eada8e85274f11ee8514f13a5d5e","datavalue":{"value":{"amount":"+0.7864537239074707","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":"Q804564$7BF3362F-A508-40ED-A6B0-D840015228AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:804564","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:804564"}}}}}