{"entities":{"Q1740459":{"pageid":1751201,"ns":120,"title":"Item:Q1740459","lastrevid":57514701,"modified":"2026-03-31T05:50:42Z","type":"item","id":"Q1740459","labels":{"en":{"language":"en","value":"Provability logic and the completeness principle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7049213"}},"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":"Q1740459$960A1AB2-F83B-479E-BE14-E9626563C2B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb028237eee7a440cec4714530ff21ea65eaedca","datavalue":{"value":{"text":"Provability logic and the completeness principle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1740459$3355EC16-A808-4535-B4CE-3ECFB5B92576","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13c747cdf865b664081f09d8b8d3bbfae478ae4b","datavalue":{"value":"1439.03106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1740459$CF3CECA0-13D7-4A24-B401-EF1E043A0207","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74e30887b1661f9905213e819a799c929192d3a6","datavalue":{"value":{"entity-type":"item","numeric-id":190340,"id":"Q190340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740459$B2E9D6E5-12D7-4612-8BB2-A7FF36D46C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b4005012caf0443082107d0ce56b28cc83a4951","datavalue":{"value":{"entity-type":"item","numeric-id":1740458,"id":"Q1740458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740459$D46005D6-0A64-4D7D-99F0-C0F54707C46C","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":"Q1740459$86573C10-54F3-4400-AD5D-14EC6AE4C54C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e5edd987b9099cb0ed4895432f7b4110add4e8d","datavalue":{"value":{"time":"+2019-04-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1740459$D72CF4F8-932E-48D3-99EC-175285494838","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32a736950c351895da5b74da247cad34a35952d8","datavalue":{"value":"https://arxiv.org/abs/1804.09451","type":"string"},"datatype":"url"},"type":"statement","id":"Q1740459$BDF3D913-E15D-4C6C-8015-B849DC3B0F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c0a99794c77b9f2793509d5245734a4b2b32aa9","datavalue":{"value":"http://dspace.library.uu.nl/handle/1874/386575","type":"string"},"datatype":"url"},"type":"statement","id":"Q1740459$6BD696DD-950D-44D9-820C-5DCC75ABCE0C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ed6af0db5d400021df5c629ca356c460efa5ffc6","datavalue":{"value":"Provabiltiy logic is a modal description of provability predicate of sufficiently strong arithmetical theory.  Any \\(\\Sigma_1\\)-sound theory interpreting \\textsf{EA} (elementary arithmetic) has the same provability logic as \\textsf{EA}: G\u00f6del-L\u00f6b logic \\textsf{GL}. It is unknown what the provability logic of \\textsf{HA} (Hayting arithmetic) exactly is. An intuitionistic version of \\textsf{GL} is denoted by \\textsf{iGLC} and it consists \\textsf{GL}, plus the Completeness principle \\(\\Box p\\rightarrow p.\\)   The main goal of the article is to find interesting situations where we can give a Solovay-style embedding of a model for the logic \\textsf{iGLC}. The authors presented their Solovay-style embedding in detail.  Arithmetical completeness for \\textsf{iGLC} in various theories and for various interpretations of modal operator \\(\\Box\\) is obtained. As a corollary, \\(\\Sigma\\)-provability of \\textsf{HA} is determined. \\textit{M. Ardeshir} and \\textit{M. Mojtahedi} [Ann. Pure Appl. Logic 169, No. 10, 997--1043 (2018; Zbl 1426.03039)]. But they use different methods.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1740459$E1EA796B-64FF-404F-AA47-E5299B6D63CA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4f8e4d6d96d31b6da2906ce2893c15ec96871a66","datavalue":{"value":{"entity-type":"item","numeric-id":190353,"id":"Q190353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740459$64C1A0C3-A452-4D9C-8EC0-BAAEE19D83A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1740459$9AD6462D-BDE0-426D-B6D4-C8D0B0D9A598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1740459$99E12AF2-3234-4585-A1CB-6BB032138055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1740459$D03415CA-DF1B-4DD5-900C-2357FFC637EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1740459$D5BA0A3C-3E9F-451E-8E33-9E26A117021D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b3c04290e9a2043ff410980da8494be23218eb9","datavalue":{"value":"7049213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1740459$305EA53C-B4ED-42E5-97CF-59FCD6440849","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1740459$D0FED966-42E8-4743-B1B9-E149C3CC50B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51cbb56a576577859efdc725b8785988c0c562c9","datavalue":{"value":"constructivism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1740459$2D10F470-2A91-4726-81BC-8906BC85F04B","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":"Q1740459$524569C3-1022-4B76-B012-DC2BBC62F3FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c192db333aad6f2c7e468980ee12413326fa2717","datavalue":{"value":"W2962718607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1740459$38AA42AE-565B-460D-8B79-1167296C270C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4cc1e43abdf1c047e967223968ecff0afc7e3c6","datavalue":{"value":{"entity-type":"item","numeric-id":720757,"id":"Q720757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740459$32526FF5-91D5-458F-8738-56E389616A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9153eed3757b7697b562541ef37d36a3de98aa06","datavalue":{"value":{"entity-type":"item","numeric-id":4329242,"id":"Q4329242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740459$7EE0CE84-572E-4027-A651-D3DA37BD6478","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":"Q1740459$5789026A-C295-43DF-9261-C7E408AD3CF0","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":"Q1740459$C51135DD-1289-4592-BB3C-D72222B11F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6bdde33d7655e7b51f89c495e13b554090e3744","datavalue":{"value":{"entity-type":"item","numeric-id":4740561,"id":"Q4740561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740459$8C0EEAD9-8F9B-41BD-9451-44F2FF647ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b937da0dd9bb2e82591f8d65bd9050f5bc70f6","datavalue":{"value":{"entity-type":"item","numeric-id":5957858,"id":"Q5957858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740459$474615A2-7787-4CA5-9C49-326FFD749A65","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b506b6363ecb93c8a8887bc2a430fd8dc5109422","datavalue":{"value":"Q128462630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1740459$374CC953-14C8-4B86-9EA5-66F343B8A287","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18bf62f06e596f74ae04a5cb3dc347248662af6b","datavalue":{"value":"10.1016/J.APAL.2019.02.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1740459$BE24D78B-CB73-4B02-A3C4-D36CFA3008B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4dc9849b2de4ae37ab5f80e249f50eff3c9acc8","datavalue":{"value":{"entity-type":"item","numeric-id":4247026,"id":"Q4247026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f4c2a165907a330691a80a8ddfef34ffa05b95c","datavalue":{"value":{"amount":"+0.953718","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1740459$4C80192F-DB45-4ED0-B840-4B28F74003A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38ff8e8d9be79174a24407c05c2fa53f50dcdaa9","datavalue":{"value":{"entity-type":"item","numeric-id":2372412,"id":"Q2372412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c92de7520ceacecc2139ca2f44fc2c4e755f8af","datavalue":{"value":{"amount":"+0.94777125","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1740459$70FAB8C7-7B5E-451E-A343-9A0B2595C8A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8498276b0ae6a2bdc554445ff25a6b25b5011339","datavalue":{"value":{"entity-type":"item","numeric-id":3027002,"id":"Q3027002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55bb0044e3a57c810c50f2989d05ab20ea7eae03","datavalue":{"value":{"amount":"+0.9465717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1740459$D2CC9B73-FAFB-4D55-A90A-80A008881C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc438cbef6e39cdae6ca0a79f3ba45cb387314c2","datavalue":{"value":{"entity-type":"item","numeric-id":5307881,"id":"Q5307881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"797ffe6c940852e9ba7e137b28e11716b7cf122d","datavalue":{"value":{"amount":"+0.9417805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1740459$F778364E-6875-4C28-8339-E4142FE064C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a76ff0bde6a24b2813f153b23768d2fdc3ce3d7f","datavalue":{"value":{"entity-type":"item","numeric-id":4653719,"id":"Q4653719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49fb80acb4cdf75cb06e8d1921723d1e0eb3a20a","datavalue":{"value":{"amount":"+0.9380325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1740459$EB501E35-D227-4BAC-9C1F-F8079C12D661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bade1c4d4b8c83dc9273b03a9c5e330219392210","datavalue":{"value":{"entity-type":"item","numeric-id":5957921,"id":"Q5957921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5165aca5ca3b0409ffb35f7a5b83c084b73223c9","datavalue":{"value":{"amount":"+0.93716747","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1740459$5BE3ED9F-1B9A-42E1-9A3A-A7A0E2728986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70d2469fb9d39451f01a469e85c0232cd6dba31f","datavalue":{"value":{"entity-type":"item","numeric-id":4490140,"id":"Q4490140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93c520294a2ba5edead411475c8a90232cc36e20","datavalue":{"value":{"amount":"+0.93527615","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1740459$C0258DA8-CD4E-4432-A18A-ED6D55DBBEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a029b91876278cf14be7394fcd63a6ea694d1ca","datavalue":{"value":{"entity-type":"item","numeric-id":6099618,"id":"Q6099618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bfc377b3cb057dbd7d23423df749b791b6f9d77","datavalue":{"value":{"amount":"+0.93519527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1740459$EBEE5F91-DB5A-4E18-968F-6DB02C1A0A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"173d2e159e2bae6cc695470d5a7af13954f180ca","datavalue":{"value":{"entity-type":"item","numeric-id":5187257,"id":"Q5187257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1233ff325d9d96141488c6a73b1187e66a858c4","datavalue":{"value":{"amount":"+0.93365324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1740459$39E68FE6-9947-4964-9B42-3138BB2EB9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b99192f5915e57a50e19a065d5c6b84517f27d0","datavalue":{"value":{"entity-type":"item","numeric-id":4215636,"id":"Q4215636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1233ff325d9d96141488c6a73b1187e66a858c4","datavalue":{"value":{"amount":"+0.93365324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1740459$A188B87B-7BA4-4431-89F8-E5DB28D3D219","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1740459","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1740459"}}}}}