{"entities":{"Q923070":{"pageid":924918,"ns":120,"title":"Item:Q923070","lastrevid":65377002,"modified":"2026-04-12T02:10:43Z","type":"item","id":"Q923070","labels":{"en":{"language":"en","value":"A simplification of the completeness proofs for Guaspari and Solovay's R"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4170868"}},"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":"Q923070$3F42D8C4-8B37-4C59-9ADC-6C9904D3509B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e776c2768e2d16102a23ea3db4dc970ee5ca12b1","datavalue":{"value":{"text":"A simplification of the completeness proofs for Guaspari and Solovay's R","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q923070$095DA971-F9A3-4C8D-8BFA-102F490E851D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b5ce047b5271ad229cb65d51ae8717e4ee3a788","datavalue":{"value":"0712.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923070$03A3D604-7B5B-4995-8E4F-ACC73A7201B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8763635c7bce483747ebb0a06a5a274640c2556","datavalue":{"value":{"entity-type":"item","numeric-id":208220,"id":"Q208220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923070$642D8CC0-CB00-40B1-8F91-4BC7A66599D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923070$60825802-BBDB-443F-B878-B8FFA9025C0E","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":"Q923070$A8FCBFD5-97FB-4139-B3B2-74003F9A387C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"69c501ba8bb847cd37b3e378e6a36e78765ca7c6","datavalue":{"value":"The author gives alternative completeness proofs for Guaspari and Solovay's modal logic R which characterizes the formal properties of provability predicate and witness comparison of PA. The Kripke model completeness is proved by using tail models instead of finite Kripke models, from which there follows the arithmetical completeness by literally embedding Kripke models in PA. The arithmetical completeness proved in this paper is slightly different from Guaspari and Solovay's and forms a solution to Smorynski's problem of obtaining a completeness result with respect to a variety of orderings.","type":"string"},"datatype":"string"},"type":"statement","id":"Q923070$C89104E7-8371-462E-AA5A-10F4079E588D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923070$0AAA74E5-BC9F-40E9-A6D3-58397667E52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923070$B74F30AD-0274-4335-99BC-1D94C74BE97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923070$C04D6B10-6677-4897-907A-C4AF320F896D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b0c945020e4c21f5173dfa1b6ca12e8e866fd9b","datavalue":{"value":"4170868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923070$51948ADC-2876-4DE9-AD2A-A442C8E3B710","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q923070$AE52A26E-2371-47A6-B118-3620326C454C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce79de1e86111db98dd26eaae0b64f46957512ec","datavalue":{"value":"Guaspari and Solovay's modal logic R","type":"string"},"datatype":"string"},"type":"statement","id":"Q923070$70EDE9C5-BB33-45D6-9AB2-1B108CB7627F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"996f6c99dffcdd26285fd24afec05bf105113c1e","datavalue":{"value":"witness comparison","type":"string"},"datatype":"string"},"type":"statement","id":"Q923070$E4DED046-40F2-41A0-AD5C-960A40130FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed232b75f3723f4a9eb4a6e3a81d08d5a843aa79","datavalue":{"value":"Kripke model completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q923070$403569F7-C63B-4814-A060-9FADB79E0FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"667d92d5a12036ceeecb831a31cb742544107447","datavalue":{"value":"tail models","type":"string"},"datatype":"string"},"type":"statement","id":"Q923070$1B597792-0EEC-4EA3-A004-D433294F5509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ff02888b791812ddffc3fccfc663496a3736af7","datavalue":{"value":"arithmetical completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q923070$148478F7-6C6E-45A3-99CB-AC926CAFD1B1","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":"Q923070$31661900-ED01-441D-A0C5-CC7BF82F41FD","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":"Q923070$11DFFE7B-2D6C-4BE7-B2C9-17BC701204AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d282f16ff3f1fc4503d38ffa13d9fe1b309b25bc","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093635332","type":"string"},"datatype":"url"},"type":"statement","id":"Q923070$B9052FA9-274D-4F4C-94EE-46738B07270E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a39886131bd48cee69945704b0faf0bd74daeb5d","datavalue":{"value":"W2008911115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923070$67B8A331-BF25-4661-84D9-408E473ED0B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f44cc498de4183cf9fff96067bc6807626b2260","datavalue":{"value":"10.1305/NDJFL/1093635332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923070$50A33627-9597-438C-A61E-A74F696BE4B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a948c5f413836b9ea11ae80fa856e9aef74ea9a9","datavalue":{"value":{"entity-type":"item","numeric-id":1099164,"id":"Q1099164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bffcdf4d8ed8b9139208d75923b29e5e4f845973","datavalue":{"value":{"amount":"+0.97439504","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":"Q923070$D28FD910-71C6-4024-A711-451E45C5B0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd99d5f9c37edc8c2a2bedd308f550d100da5d98","datavalue":{"value":{"entity-type":"item","numeric-id":4793765,"id":"Q4793765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25eade2dd18d4f5e4b67c8afb1c244a816446a3c","datavalue":{"value":{"amount":"+0.87330836","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":"Q923070$B5B13A2D-6642-4A7C-8FCC-F3C6C14A27A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cbf8bb837043ae9828c76186b4fd7093d4d6c24","datavalue":{"value":{"entity-type":"item","numeric-id":4019364,"id":"Q4019364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed7d7abfc175b402674b51126565c1cad6de3139","datavalue":{"value":{"amount":"+0.8722257","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":"Q923070$E5708F30-B081-4885-AE20-1DA53A80B3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43c482ff61639a60025a0e7daace3859271381b3","datavalue":{"value":{"entity-type":"item","numeric-id":2641108,"id":"Q2641108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcbd4afe6f2fcdcca56e4eb29a0e319af71fcede","datavalue":{"value":{"amount":"+0.8701797","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":"Q923070$DBA8C396-9421-40CF-86BB-94B030C698BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cf7b2dee4bced2cbc9a4883c47f4dd252915b35","datavalue":{"value":{"entity-type":"item","numeric-id":5310674,"id":"Q5310674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0113ce85c9b9d8b8fe445df7a951b2099fd677cd","datavalue":{"value":{"amount":"+0.8689011","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":"Q923070$CF50191F-1E85-47F0-9412-460E3456A0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f23ba627fffe792c2d30759a9a12536a3939e4e4","datavalue":{"value":{"entity-type":"item","numeric-id":3509945,"id":"Q3509945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edd75176eccf9157fec82cb934674bb6653602ea","datavalue":{"value":{"amount":"+0.86811936","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":"Q923070$4B4DABA9-6EA3-44AE-A573-B94554134009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa9ff46ec8f64d77a2c8f4674d0b8252aa06c776","datavalue":{"value":{"entity-type":"item","numeric-id":2510758,"id":"Q2510758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea66cff716deb94c849c06a9630672d00320727e","datavalue":{"value":{"amount":"+0.86298394","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":"Q923070$B569F107-501C-4423-AC21-809E96DB0143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e34f488c9d5380185554b321451806979c71932","datavalue":{"value":{"entity-type":"item","numeric-id":1079960,"id":"Q1079960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0d77d27290990fca596ec90728a98a450809048","datavalue":{"value":{"amount":"+0.86116356","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":"Q923070$B57AFDAC-D8C2-4318-97F4-7EEEE8CF698C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7002ecfcc48d9e51a93c9c80bb174a8118ccc7e","datavalue":{"value":{"entity-type":"item","numeric-id":5800816,"id":"Q5800816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1fbedd188a6fc07004c24a049de7a0aaf6a136d","datavalue":{"value":{"amount":"+0.85907364","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":"Q923070$8D7AD56E-6D0D-442B-800F-D69A73135FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e02534ac3b7c0b1c45f1f839ce0a69b53ac6d80","datavalue":{"value":{"entity-type":"item","numeric-id":3097870,"id":"Q3097870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec24e6bb67b34449a471397c64c83e738c9a7db6","datavalue":{"value":{"amount":"+0.85815394","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":"Q923070$74844491-0DCF-4F41-A731-97725055C682","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A simplification of the completeness proofs for Guaspari and Solovay's R","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_simplification_of_the_completeness_proofs_for_Guaspari_and_Solovay%27s_R"}}}}}