{"entities":{"Q922522":{"pageid":924370,"ns":120,"title":"Item:Q922522","lastrevid":65434578,"modified":"2026-04-12T02:33:57Z","type":"item","id":"Q922522","labels":{"en":{"language":"en","value":"On classes of arithmetical counterparts of modal provability logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4168651"}},"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":"Q922522$16789465-FE4F-40B7-A227-926F97D40C35","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"668c26b2c1741aacb79166867d0f181864a9f75b","datavalue":{"value":{"text":"On classes of arithmetical counterparts of modal provability logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q922522$45A2C227-3AAE-4657-B860-668E50519F75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a93072abfcdcfdd7b997b86f2189ba4a4c8e282","datavalue":{"value":"0711.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922522$BC63EE03-97DD-422E-9929-8BA3B9433AFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aceff7a202eb3823ead8919880c8b0ec06ed1e0","datavalue":{"value":{"entity-type":"item","numeric-id":922521,"id":"Q922521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922522$D52AB0DF-1130-49C9-BFBC-D61DA76150F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c13805eb53dbd00bf0343bc22d19b4be9e16872","datavalue":{"value":{"entity-type":"item","numeric-id":187667,"id":"Q187667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922522$3745E7A1-05D3-40FF-BB40-CECBF3C018DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q922522$794AB2AD-EF3B-4BDE-AE6A-C92D6BAF442A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"44c3a8bc781ad55ebfbab6aa622d5afe09a8724c","datavalue":{"value":"A logic of provability \\(\\ell\\) is defined as a modal logic which describes those principles of provability in Peano Arithmetic PA that can be demonstrated by means of a given theory T extending PA. In this situation T is called a counterpart of \\(\\ell\\). Obviously, each logic of provability \\(\\ell\\) has a smallest counterpart. The paper shows that a given logic of provability has a continuum of counterparts, each two of which are inconsistent. As a corollary we see that none of the logics of provability has a largest counterpart.","type":"string"},"datatype":"string"},"type":"statement","id":"Q922522$C857A659-0110-4EB8-A9CC-CEEB50D011B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922522$409B8A76-5945-4D90-9026-A17DCC3038B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922522$939BACEC-FAFC-47F5-9BB0-EF623AD433EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922522$E6EB30A5-5B48-442B-ADF1-323BD5AF87B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99377930b6effae155c90447706d8daf832a3727","datavalue":{"value":"4168651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922522$0E541083-8855-476E-9166-47CDCD0EC48F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q922522$47620950-F8B3-4E7D-B552-958E611380A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q922522$68477F40-F1B3-4872-8090-2524B507E804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b817b84ef052e0e5a2c22384fa8bea277de91e67","datavalue":{"value":"principles of provability in Peano Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q922522$62B3A08C-BAF5-43B0-8C36-197C7F01988A","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":"Q922522$8DC95B21-F83D-4E1F-A546-9362C6073682","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4cc15911e2e7efa373b4f4d438a47a37ad10a7c","datavalue":{"value":{"entity-type":"item","numeric-id":3201044,"id":"Q3201044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e72afeabdfb79ec6d053607c34a88e6afe8e7b63","datavalue":{"value":{"amount":"+0.9432751","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":"Q922522$59AC550B-C023-4394-87F3-3392A8DD07F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eb078f3ca60e3de19dbe0e64e06b59d6bc5efb4","datavalue":{"value":{"entity-type":"item","numeric-id":3824286,"id":"Q3824286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"743a2244c49feeabe24c16452867f6ecbe66863b","datavalue":{"value":{"amount":"+0.9425267","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":"Q922522$006F6818-56DD-49CA-9E43-1E8FBB83E423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdb0319a6cc2b45e865a36a0cf7bf6198343d66f","datavalue":{"value":{"entity-type":"item","numeric-id":3199395,"id":"Q3199395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5ade001b15f35f3f03f15d57da7e805ae5cae48","datavalue":{"value":{"amount":"+0.9352676","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":"Q922522$DE351F13-8511-4F83-9F06-2598E329CA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"241bd54c44639e03cf527fd79c55087ee7953138","datavalue":{"value":{"entity-type":"item","numeric-id":2277453,"id":"Q2277453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d36d8434df56bdfca98805a01282428555f711b","datavalue":{"value":{"amount":"+0.9322426","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":"Q922522$7BA8B647-27AD-4690-BC28-437128BCAFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee61206044655238b0f278c9be83117146ff7520","datavalue":{"value":{"entity-type":"item","numeric-id":4372520,"id":"Q4372520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30c906e03f6fff48e4207ce75c20eb6d194a4fd3","datavalue":{"value":{"amount":"+0.92599106","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":"Q922522$7D4A7202-DE11-42C9-9605-BA3BD2840D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47e939c630c8be035e2b20ab8843bf1c8891091","datavalue":{"value":{"entity-type":"item","numeric-id":4918381,"id":"Q4918381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f3da40773ead5c71fb927e4d895541dfd22cf25","datavalue":{"value":{"amount":"+0.9257547","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":"Q922522$18CDD387-1721-4BDF-8E98-916BB29D3CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b108a6b167800fa57292324f80188fa967063337","datavalue":{"value":{"entity-type":"item","numeric-id":4430390,"id":"Q4430390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25f3a025be63a2292478237d022e76d27e4a6438","datavalue":{"value":{"amount":"+0.92363966","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":"Q922522$6D83C034-5907-4669-8ABD-AC0CF0B61250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32bc0d95498d86425fd2a7cde3b76b1a03afa121","datavalue":{"value":{"entity-type":"item","numeric-id":6040616,"id":"Q6040616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66318f0ba01319063801c7359bb04dd0112ee922","datavalue":{"value":{"amount":"+0.92361116","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":"Q922522$C915E030-9120-45CB-B47C-185A3ABD9DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b17fb26c75f7d8ee828104772240265bc7ef8c8","datavalue":{"value":{"entity-type":"item","numeric-id":1319362,"id":"Q1319362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70ccd6113e899c919d5fc3bd930d56ff726d2ea4","datavalue":{"value":{"amount":"+0.92252237","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":"Q922522$0AA27CD8-79F5-4860-B829-BC69DB7E4F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b92ed98e320213fc4a5f68363515c07f29e1d51c","datavalue":{"value":{"entity-type":"item","numeric-id":3752370,"id":"Q3752370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f740cc3820af2fdce140b4bc48bf247657cdbc0e","datavalue":{"value":{"amount":"+0.92233443","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":"Q922522$83A31E9C-13CA-485B-AC21-8A7C0AFDB1A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On classes of arithmetical counterparts of modal provability logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_classes_of_arithmetical_counterparts_of_modal_provability_logics"}}}}}