{"entities":{"Q1176096":{"pageid":1186845,"ns":120,"title":"Item:Q1176096","lastrevid":69807708,"modified":"2026-04-13T09:31:49Z","type":"item","id":"Q1176096","labels":{"en":{"language":"en","value":"On the proof of Solovay's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 13440"}},"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":"Q1176096$E7C7A175-0579-4C9A-986D-62CCD50C7C43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90a06e7228eaeb0c46482c39153ce73f4fe33f97","datavalue":{"value":{"text":"On the proof of Solovay's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1176096$9367B981-0493-4A9F-8A14-217008A8B310","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5ff523e8a2ff864d3d14dcb3d56a7a315877951","datavalue":{"value":"0744.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176096$11FEA4D0-E6AE-48E4-8D9B-DD875434B16B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e47fff4fcb2262a65b57acf1c06f615e57afc932","datavalue":{"value":"10.1007/BF00370387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176096$A452E75C-7C57-402E-AF16-BF3AA54B95A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c63b00d6f98cec6803c8b3647bc6611fc35efa11","datavalue":{"value":{"entity-type":"item","numeric-id":1176095,"id":"Q1176095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176096$18B205B8-C09B-459C-BE08-609C10ABCDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b479ab481d7ee1dcf779ab78c0b800106fa990","datavalue":{"value":{"entity-type":"item","numeric-id":167897,"id":"Q167897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176096$45189CCE-5F00-4630-A3C5-08A9B53D4CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"586738407866f1237ad6aae333605b7639ea6eb3","datavalue":{"value":{"entity-type":"item","numeric-id":1099163,"id":"Q1099163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176096$A52909A2-363D-448D-8D1C-14F74EC06676","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":"Q1176096$FA4750CB-6530-4B9D-9273-8D20642A3A48","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1176096$BBFD49FB-7946-491F-9246-4C2FDD97D4EB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4fcadc1a8fffc12988518236189100a1e301923c","datavalue":{"value":"In the original proof of arithmetical completeness for the modal logic \\(L\\) by Solovay the key lemma is established by employing the formalized recursion theorem. In this paper it is shown that the use of the recursion theorem can be replaced by the diagonalization lemma for arithmetic: the authors give the analogous key lemma by means of self- referential sentences and prove it mainly by modal properties of the arithmetic. As a consequence, arithmetical completeness is extended to a large class of fragments of PA such as any \\(\\Sigma_ 1\\)-sound RE- extension of \\(I\\Delta_ 0=\\text{EXP}\\). The proof is developed in the framework of the so-called Rosser logic \\(R\\) of Guaspari and Solovay dealing with witness comparisons, whose arithmetical completeness is also proved in the same way.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176096$7DA8CA9E-1FE7-4CED-9D54-41FB3BCFB4AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176096$4194EBC5-95AE-48CC-B15C-9E2A0CC7AE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176096$9379D903-2819-4020-9E11-8AE258190C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176096$EFD0C5E9-C2B4-47DD-AB1E-9FF8A4980213","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b17ae0bcd2b64958b3dea6701443c22bdebc2939","datavalue":{"value":"13440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176096$4D2E54E6-6C7D-4605-A988-E1F98AC03B6B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176096$65E8DED2-F134-4F12-AB73-595BC3597A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffaed6865f4000c155846fc8b019ac65a2774ccd","datavalue":{"value":"fragments of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176096$02A9540C-9D53-4A31-A49B-338C3C822061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ff02888b791812ddffc3fccfc663496a3736af7","datavalue":{"value":"arithmetical completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176096$257FEC88-B711-4B45-A1A4-15D60448B258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176096$E50F3923-3758-483B-9E63-1F9CAD5499EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b0daa04d44b13e088deec11158bc8e2f46a552d","datavalue":{"value":"diagonalization lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176096$140FE5EC-F29B-485F-B61D-8FA455CC8A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aeba082feeea41147a450ea7fa27b806560b8abf","datavalue":{"value":"self-referential sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176096$7AD78680-DA65-43B1-8D0D-CCF8EB5F587C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b206caeb5b438a4b4de8e53afe5e313ead1c0b9","datavalue":{"value":"Rosser logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176096$F15DE9EA-4281-4379-89A1-60A0B4F24873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86a211563417d9fa8879ec1c596d61f26e3e1a1b","datavalue":{"value":"witness comparisons","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176096$3DF22863-45A5-48AE-8DB6-B283A6FD71B2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e3f06c5cc154fad665bbd7bfe01f3fd2207302a9","datavalue":{"value":{"entity-type":"item","numeric-id":588143,"id":"Q588143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176096$A93BE2A8-04A2-4FB6-A9D4-B98CB4C47669","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":"Q1176096$FCA73E4C-959D-4407-AE8C-137940D98E27","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c269d09afd246ea18f79e934a48e62802b0fc94","datavalue":{"value":{"entity-type":"item","numeric-id":3861389,"id":"Q3861389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176096$1CF19E0B-0EBA-40F9-BD69-6FC5969588C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67ee431ca0e3983f0e67695d4633d067394c197a","datavalue":{"value":{"entity-type":"item","numeric-id":1099164,"id":"Q1099164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176096$72E62078-E14D-4A25-B3C6-222AF6D15F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b42dfb20fcebbb8f50196c4d22414616af898b","datavalue":{"value":{"entity-type":"item","numeric-id":1078163,"id":"Q1078163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176096$3DC68990-4425-4046-9732-617706C1F9D3","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":"Q1176096$4F7A470E-AD47-4F76-85C7-335BDCB1C45F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5c8f3d420a2401bc04e1af8a6da9ebc6b8f05d2","datavalue":{"value":"https://doi.org/10.1007/bf00370387","type":"string"},"datatype":"url"},"type":"statement","id":"Q1176096$40369DC4-320E-4611-8E99-7ECA104AD172","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95d2b4f1c0c82c14162f11b1243bef23ecdec507","datavalue":{"value":"W1974741536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176096$C009197D-0FBE-4839-BD81-94533AD59136","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaec293d47c5ccf7a7751035abfc3ddf1ec925d7","datavalue":{"value":{"entity-type":"item","numeric-id":1685933,"id":"Q1685933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15b3b26a0c6668282d402b067a6a08a2ee94530b","datavalue":{"value":{"amount":"+0.8287806510925293","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":"Q1176096$42E83664-F402-4C94-B4AB-61CA293F02BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67e2fc9562a28e88d37e249f97399827d2fca8c0","datavalue":{"value":{"entity-type":"item","numeric-id":923070,"id":"Q923070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aee4c7628fd7d9cc9baeaba452c867c1bf6ecb87","datavalue":{"value":{"amount":"+0.7938205599784851","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":"Q1176096$5938414C-1996-44F2-9F2D-1F151D320A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72d6939b86a56eb64afb560b094b845c382b714a","datavalue":{"value":{"entity-type":"item","numeric-id":1743993,"id":"Q1743993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f51eca0b6685135ba59b3b64847b61567fae785b","datavalue":{"value":{"amount":"+0.7806994915008545","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":"Q1176096$0759A744-FFF7-4D51-8122-67D4FCD1F59C","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":"efdccf007c9195f96c8b46cf91f7a5eb8f4bb321","datavalue":{"value":{"amount":"+0.7746418714523315","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":"Q1176096$6DBC170B-0B0D-4F6E-BEBA-FAE9E85DFE4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b61dde329e9af43aeeb24b90436f26169efc30c","datavalue":{"value":{"entity-type":"item","numeric-id":1099165,"id":"Q1099165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9ed26dfa0fc8bae37df7f402d525df1da8fd6eb","datavalue":{"value":{"amount":"+0.7711474895477295","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":"Q1176096$55F016D1-5917-4671-BD8E-7B981C542AB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the proof of Solovay's theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_proof_of_Solovay%27s_theorem"}}}}}