{"entities":{"Q1068069":{"pageid":1078821,"ns":120,"title":"Item:Q1068069","lastrevid":66665325,"modified":"2026-04-12T11:40:37Z","type":"item","id":"Q1068069","labels":{"en":{"language":"en","value":"The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3928958"}},"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":"Q1068069$E3BBAD7B-59D6-4DB8-9A2F-40769F9F8CB1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3404b5dbf9d569977db3943a59a61413ffb8adcb","datavalue":{"value":{"text":"The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1068069$6FAE1AF1-4C50-48AD-8727-1CE47B9DB55C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36ef0af7bbbc8e7fec603e2ba7a8055694908282","datavalue":{"value":"0581.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068069$9821D938-871A-4048-9C42-2229B70E5CCE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c03adc6ea5c2eb17eee28c0a9b7e297269bc5a1","datavalue":{"value":"10.1007/BF00297579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068069$F783F867-2F83-4901-9F42-1E3BB0E28A1D","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":"Q1068069$6F7F8D4E-8CEC-4D1C-831F-DBFB990F2F7A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068069$08751FBE-23C0-4EFE-B79D-3F1AAFEA32E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q1068069$A17A8E2A-E148-4326-8A33-47886ADB6A6D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"60510052cbd81fde40ca607581f5322ba27c332c","datavalue":{"value":"We fully characterize the provability logics of RE theories T extending PA at PA and at T. We show that ''nearly all'' provability logics of RE theories T extending PA at arbitrary U extending PA are between L\u00f6b's logic L and Solovay's logic S. At the end of the paper we take a brief look at what goes on between L and S. We give examples of new phenomena there.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1068069$81BE688E-95CD-4F01-A06B-F3E91F6E3A53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068069$3DBA0518-9777-4AA5-9B8F-04327A3C869E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b93bf0b97cd4ff9cbd37a9a5bfb52c2f08a29055","datavalue":{"value":"3928958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068069$8481A834-419F-47F5-BACA-02639A9AA1DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"216ca24500ef8c8cb7319f0474473b85576a0eb3","datavalue":{"value":"L\u00f6b's logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1068069$6780F6CC-6F8A-43FE-8DC9-6DDDF87D02E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a89cb5149c24aa480f01aa083b591cace81a3015","datavalue":{"value":"Solovay's logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1068069$6563BD6A-27F0-4FF5-8D13-263878D0F9F1","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":"Q1068069$4EC64ACA-016B-4B7B-8B8B-DEA857E951C2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9210648c2da7d5773e848b729398c42f3567a36c","datavalue":{"value":{"entity-type":"item","numeric-id":4196401,"id":"Q4196401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068069$02FC9E3C-B02C-4BA2-A077-327FD84F07F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41704d75503b555029d696b92528a73c9193d861","datavalue":{"value":{"entity-type":"item","numeric-id":3944575,"id":"Q3944575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068069$AABF8525-5B0F-4CAA-965B-5E325A36513F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a575b135ab8c68ef066d427f8c2b91aeb49e6000","datavalue":{"value":{"entity-type":"item","numeric-id":3852250,"id":"Q3852250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068069$0A5C165F-654C-47DA-8E84-4081D1824C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d6c6e9c94939cd334c10993845a942fe3508935","datavalue":{"value":{"entity-type":"item","numeric-id":1171055,"id":"Q1171055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068069$B5D8BAE0-73DA-4DCA-994C-E2D867914AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc936fb9d74d6cbe030761022ef64e08bc9bae42","datavalue":{"value":{"entity-type":"item","numeric-id":3895468,"id":"Q3895468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068069$5343B6C6-739B-49B8-9284-C6EE35F37926","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":"Q1068069$D15657F7-C041-49AF-92CC-E3ADC8BE6A5A","rank":"normal"}],"P1643":[{"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":"a28b8e954fc647458a03738a64cca07c0c6541a6","datavalue":{"value":{"amount":"+0.9321414","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":"Q1068069$3A9072FA-1BC0-46D9-B481-F1793FF0B16D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a179b8a8b9be48bc8ef2fe708fc2a4287cb698ce","datavalue":{"value":{"entity-type":"item","numeric-id":804564,"id":"Q804564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db338641a188375444e387a7c245ee7e472649b2","datavalue":{"value":{"amount":"+0.9147209","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":"Q1068069$8D384B6B-1C3E-482D-AB47-1BB7678E37DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22985527f161d2d0296f5bc946ff051aa2b92c7c","datavalue":{"value":{"entity-type":"item","numeric-id":377475,"id":"Q377475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9862320f6ede1b032d5639ecc4237687210dfec","datavalue":{"value":{"amount":"+0.91448706","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":"Q1068069$33A4DC74-FA58-4FCE-B0B7-FEB7E7B61895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"387a5ab37dc651153e25186ac3f3c8ddfa4e40d8","datavalue":{"value":{"entity-type":"item","numeric-id":2701199,"id":"Q2701199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1e4be8f21dea515291760e3cf49eb6b7fb84a41","datavalue":{"value":{"amount":"+0.9110083","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":"Q1068069$CDB49104-D736-44EB-8642-64B02EF32808","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":"00852d947e8fd02e628740066324194b905fea09","datavalue":{"value":{"amount":"+0.90330213","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":"Q1068069$EE7E0628-C1AA-45C6-BC06-17E5FDA094A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53464fe7062b7899f2178a31102927db92a9632f","datavalue":{"value":{"entity-type":"item","numeric-id":2193977,"id":"Q2193977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08bfa8a5cf507a27c4bb77db7244b859194a74c1","datavalue":{"value":{"amount":"+0.8999841","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":"Q1068069$5A1293F8-0BD0-420B-B060-28B186DC5A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6970299938491a81d6aeac3880ef6a1f28f685bc","datavalue":{"value":{"entity-type":"item","numeric-id":922522,"id":"Q922522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64de4829ee54d261534cdfca43789cf14fe95d80","datavalue":{"value":{"amount":"+0.8972774","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":"Q1068069$37E9953E-F28B-4280-96F6-B2D157D3F36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3c2cd3c1b8e139dfc93eec385d5da18d8f2a996","datavalue":{"value":{"entity-type":"item","numeric-id":1756504,"id":"Q1756504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"710e43b4f82007a4679ea9c9429843c3b080ec84","datavalue":{"value":{"amount":"+0.8957114","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":"Q1068069$9D5AFA05-F978-4E49-9B20-5E769634517F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4260febc0cbec0e19233f3e3b04044e7c04c5713","datavalue":{"value":{"entity-type":"item","numeric-id":685071,"id":"Q685071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a460bff4dcc33a48822ab89bab6fe64108605e7","datavalue":{"value":{"amount":"+0.8947475","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":"Q1068069$4958E425-1C3F-4F15-9DAF-9DCA05C2D3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e781c907f6d78accd78e5d3e6e6fe6d2bcc15ec9","datavalue":{"value":{"entity-type":"item","numeric-id":6140183,"id":"Q6140183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cabd3e0b16fda9dc08f6f16259ebd437d35b51a","datavalue":{"value":{"amount":"+0.89451015","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":"Q1068069$D7135C01-AE9A-4C0C-A93E-85605037B638","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_provability_logics_of_recursively_enumerable_theories_extending_Peano_arithmetic_at_arbitrary_theories_extending_Peano_arithmetic"}}}}}