{"entities":{"Q2641298":{"pageid":2652041,"ns":120,"title":"Item:Q2641298","lastrevid":44544189,"modified":"2025-11-23T18:57:51Z","type":"item","id":"Q2641298","labels":{"en":{"language":"en","value":"Derivability conditions on Rosser's provability predicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4189720"}},"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":"Q2641298$FE331531-E1A4-47E7-850D-CBCC8443C0AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0661c5cfd86bf296524980da7af53d7f8065c84f","datavalue":{"value":{"text":"Derivability conditions on Rosser's provability predicates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2641298$5ADB9FC3-9D66-4359-8052-46F1DDB35FAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80b103efaa029f168d607b82b7d9783be5f6bff2","datavalue":{"value":"0722.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2641298$45F54117-59A5-4770-AA55-0D31BA9F0A15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98156e494398a35b2d843b98a737abd4eb3af2cb","datavalue":{"value":{"entity-type":"item","numeric-id":494641,"id":"Q494641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641298$07D8F289-3D6E-436B-8C8C-161C37062F1C","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":"Q2641298$267B9626-A9BF-4139-99C3-93D17D4201DB","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":"Q2641298$90F8CC9F-B756-4947-AB72-E061E52A2401","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3c02586e6b5e31ca63b384276df95570ef4d0f64","datavalue":{"value":"As the author states, this is a complement to a paper by \\textit{D. Guaspari} and \\textit{R. M. Solovay} [Ann. Math. Logic 16, 81-99 (1979; Zbl 0426.03062)]: the author considers Rosser sentences in the milieu of PRA \\((=\\) open induction with parameters for primitive recursive functions), while Guaspari and Solvay did so in Peano arithmetic. For a provability predicate \\(P(a):=\\exists y\\theta (y,a)\\), the associated Rosser predicate R(a) is defined to be \\(\\exists y(\\theta (y,a)\\&\\forall z\\leq y\\neg \\theta (z,\\neg a))\\). [Here and below, G\u00f6del numbering and the like are suppressed.] Given a provability predicate P(a) that satisfies (*) \\(\\vdash \\forall formula x,y[P(x\\to y)\\to P(x)\\to P(y)]\\) (`\\(\\vdash '\\) for `PRA\\(\\vdash ')\\), and two other reasonable conditions, the author constructs other predicates \\(P_ 1\\) and \\(P_ 2\\) that are equivalent to P, i.e. \\(\\vdash \\forall formula P(x)\\leftrightarrow P_ 1(x)\\leftrightarrow P_ 2(x)\\), and such that their Rosser versions \\(R_ 1\\) and \\(R_ 2\\) have the following properties: (*) holds for \\(R_ 1\\) in place of P, and for \\(R_ 2\\) (**) \\(\\vdash \\forall formula x[R_ 2(x)\\to R_ 2(R_ 2(x))]\\). (Of course, neither \\(R_ 1\\) nor \\(R_ 2\\) can satisfy both (*) and (**).) The author's construction of these predicates is intricate, but straightforward. Unlike Guaspari and Solovay, he does not go into modality considerations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2641298$0DBF279C-28CC-42AD-AC7E-88685D6A67F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2641298$79537322-9894-4A55-B525-2D1C41839DCE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba677f4666fe9ef87563ba37ee38c14ad8cd3c4a","datavalue":{"value":"4189720","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2641298$62B379CE-59F1-49AB-8256-804D2CBE6BFA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ef1059ded76113e8a55895e9c6444f3ab0f16cb","datavalue":{"value":"primitive recursive arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2641298$E3313D47-C97B-40C4-A7D7-4960633F3881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a2a9f912130ce59e7d6c81711aef812f9166fa0","datavalue":{"value":"Rosser sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2641298$6F2DE31F-B65C-438F-8CAF-68D51159F1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16d94a848d6d9a19127369bb06d6ecdfa9f98906","datavalue":{"value":"PRA","type":"string"},"datatype":"string"},"type":"statement","id":"Q2641298$E5630765-6C07-4B25-93AA-8E9AA63B3AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c0e61417edca23a18326758ca075e18f0430f7","datavalue":{"value":"open induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2641298$231AD8C6-46BB-4462-8D96-3FC67CB383B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbb445ba8ca9ad04e4b537ea375baa526b9c03af","datavalue":{"value":"provability predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q2641298$1EE9F0C6-EC93-472D-A4A4-7CCA459C2C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65ae192760aea6203736f18365326a98711ef1e8","datavalue":{"value":"Rosser predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q2641298$5F635AA1-1DF8-49A0-955A-6980CF7ADC4A","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":"Q2641298$EF6D34FC-4E94-451E-929B-0150D6DDB0A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a127a6b3ef1f2984e679209de5ffbe8e478074e","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093635585","type":"string"},"datatype":"url"},"type":"statement","id":"Q2641298$0180C3E8-E0A3-44DE-9462-325F2E060F03","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce765fa9db9beb08ae255f73ddbc293fd86a7c60","datavalue":{"value":"W2167226116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2641298$9EF92C9E-B4BB-4923-A2C4-5F45635CE329","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"703d29729f0d28d96c639da9d0502ad9e0692226","datavalue":{"value":"10.1305/NDJFL/1093635585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2641298$A8A06B87-900A-44F4-8C46-E33C34C0B022","rank":"normal"}],"P1643":[{"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":"d474491f86eeaa059b8831e10e927cfe09ba0fc7","datavalue":{"value":{"amount":"+0.79275954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2641298$8875A3CF-095F-43AD-A34A-32931C0E92DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43415e4311c55c2a9c0972a4e8e9ebb30b24dc61","datavalue":{"value":{"entity-type":"item","numeric-id":3442955,"id":"Q3442955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33c095216a942ffd123374da07a8fc4cbc4ec2d2","datavalue":{"value":{"amount":"+0.7820213","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2641298$A01DC4CF-D2CF-466A-9B44-A7E8E282165C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed9a3feedec63be21bcb9ee14cb7f27fd82d990f","datavalue":{"value":{"entity-type":"item","numeric-id":2097058,"id":"Q2097058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6703ecd0c7c268986136d2e1bbaec106223ec815","datavalue":{"value":{"amount":"+0.76908475","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2641298$7B65DE3C-09FC-428B-9C37-248F9ED310DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9aca801e45104d018cece8c6ef7c18a9253a8b9","datavalue":{"value":{"entity-type":"item","numeric-id":1176097,"id":"Q1176097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36f9d9e97f25958111eb3141a3efc400292e5797","datavalue":{"value":{"amount":"+0.75928783","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2641298$F09C4A6A-6FED-4759-A5C2-A5BF8604AC59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"115dce5ac8bb6dbec7336c89cfdbe23cd6caf4cc","datavalue":{"value":{"entity-type":"item","numeric-id":1263586,"id":"Q1263586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db015e74472d77ee0c19818aa0f185f44ac92bc7","datavalue":{"value":{"amount":"+0.7468882","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2641298$5827E668-7A6F-453D-974F-3DE3316D7554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e699393aff9a8fa296b5f09134022fc1e75f5250","datavalue":{"value":{"entity-type":"item","numeric-id":1114685,"id":"Q1114685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90a158479a011d7b4c38adb0b2c3703bb38055cb","datavalue":{"value":{"amount":"+0.73555845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2641298$7287C78A-7950-4E80-ADB5-40039A591770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1cfa68d0267f3d26d3313033be19a0f199b42cd","datavalue":{"value":{"entity-type":"item","numeric-id":5738203,"id":"Q5738203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52225cc1bc0aba1643cf708c6d7adc995d790a64","datavalue":{"value":{"amount":"+0.7323452","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2641298$C3ED02EB-D229-4069-A33A-F409C804D632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efe543c0663a2589492062b1d231c83d77bd3614","datavalue":{"value":{"entity-type":"item","numeric-id":5203006,"id":"Q5203006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"709bf6d5f9c24d67ff544e7e7ff5c92523064acb","datavalue":{"value":{"amount":"+0.70824885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2641298$14EE20B5-2543-4617-8E6F-3F481FBC3FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd9b4401e0378ebee86e0a5783b2308ad3972018","datavalue":{"value":{"entity-type":"item","numeric-id":484179,"id":"Q484179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2310c0bd1b83b17d44874cd6d6d2c63c998505f0","datavalue":{"value":{"amount":"+0.7078948","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2641298$A5368B74-2321-47A7-80A1-B50A1D89C415","rank":"normal"},{"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":"d9e4b8200ae4c700960d1d1e35c5183dc8267553","datavalue":{"value":{"amount":"+0.70612836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2641298$A564A120-2570-4B10-984C-090278044D11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2641298","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2641298"}}}}}