{"entities":{"Q1814182":{"pageid":1824924,"ns":120,"title":"Item:Q1814182","lastrevid":69029016,"modified":"2026-04-13T03:50:09Z","type":"item","id":"Q1814182","labels":{"en":{"language":"en","value":"A note on some extension results"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 10265"}},"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":"Q1814182$C82886BF-3E8B-4813-AB21-E77B2C9F3834","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4cd071d26bad97cf4c602bd4cb2ca434a5ddfa63","datavalue":{"value":{"text":"A note on some extension results","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1814182$FE5EDE1A-9155-4251-946C-7219FD18B69F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"781a362dccdd19186cc5746ab2497f39e409ae49","datavalue":{"value":"0736.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814182$395AFABC-885E-4C25-83E0-A708B9E2268D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"959c2959d8d33cd6c806500c687071ead8e2d70d","datavalue":{"value":"10.1007/BF00370168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814182$CCF22651-C878-48C5-A5CE-45E6BD459E72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90f155ba241cd500ac98c29cf936a8ce7e7cdeaa","datavalue":{"value":{"entity-type":"item","numeric-id":1263585,"id":"Q1263585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814182$EA5DC40C-1BDA-4F4A-9C66-3C3D145F410A","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":"Q1814182$8D52901E-0DFB-40C1-9EF6-619A0EEE2DC4","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":"Q1814182$BED449B9-87FE-4162-AA5A-6394B377123D","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":"Q1814182$3EAFF368-74B8-4605-8136-C3BF5524D5E3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"226ba191af3ae09344618b8d5649b25798c7a23d","datavalue":{"value":"In an earlier paper of the authors [Arch. Math. Logic 27, 115-133 (1988; Zbl 0688.03041)] extensions of Guaspari-Solovay provability logic [\\textit{D. Guaspari} and \\textit{R. Solovay}, Ann. Math. Logic 16, 81-99 (1979; Zbl 0426.03062)] by ``Rosser fixed points'' were considered. Guaspari-Solovay logic has the connectives \\(\\square\\), \\(\\preccurlyeq\\), \\(\\prec\\); \\(\\square\\) expresses provability is an arithmetical theory, \\(\\square A\\preccurlyeq\\square B\\) (resp. \\(\\square A\\prec\\square B\\)) reflects the fact that \\(A\\) has a proof which is not longer (resp. shorter) than any proof of \\(B\\). The authors' cited paper considered the Guaspari-Solovay system \\(R^ -\\), its extension \\(R\\) by the rule \\(\\square A/A\\); \\(RFP^{(- )}\\) is an extension of \\(R^{(-)}\\) with propositional constants (``fixed points'') \\(c_ 0\\), \\(c_ 1,\\ldots\\) satisfying axioms \\(c_ n\\equiv(A_ nc_ n\\preccurlyeq B_ nc_ n)\\) \\((\\langle A_ np,B_ np\\rangle\\) is a \\(PR\\)-sequence enumerating all pairs of formulas). It was proved that \\(RFP\\) is conservative over \\(R\\) and over \\(RFP_ n\\) (subsystem of \\(RFP\\) using only \\(c_ 0,\\ldots,c_ n\\)), but the proof was not entirely modal and involved arithmetical interpretation.   In the new paper, a weaker conservativity result is proved by applying Kripke models. It is required that formulas \\(A_ n\\), \\(B_ n\\) occurring in the axioms \\(c_ n\\equiv(A_ nc_ n\\preccurlyeq B_ nc_ n)\\) should not contain \\(\\preccurlyeq\\), \\(\\prec\\). The corresponding systems are again denoted by \\(RFP_ n^{(-)}\\), \\(RFP^{(-)}\\) (which makes some confusion with the previous paper). The main results are: \\(RFP^{(-)}\\) is conservative over \\(R^{(-)}\\) and over \\(RFP_ n^{(-)}\\); \\(RFP^{(- )}_{n+1}\\) is conservative over \\(RFP_ n^{(-)}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814182$C66EBC78-4CB6-479E-BCDE-2B00DFE12FE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814182$C0702F60-2166-471A-B4E6-771CE2CC06B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814182$559F8BF8-94E7-4F51-93D7-4256A5CCA65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814182$224F49DF-D5FA-4F88-82ED-EA425E272B4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ae7f8eacee684a6a65285efbaee157b8581de69","datavalue":{"value":"10265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814182$A10304D3-9F54-4F11-AF2A-3A513AD70B05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2ac2883b93bc6d38f9b54353e42de243081356","datavalue":{"value":"propositional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814182$3B6B4ED3-FD7D-4720-B694-A5FCE80961ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814182$01DD6014-3FAF-4074-8AA6-E7D834C99F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"996f6c99dffcdd26285fd24afec05bf105113c1e","datavalue":{"value":"witness comparison","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814182$0CD4CACE-B341-4CD6-8E94-DA952533D91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a2a9f912130ce59e7d6c81711aef812f9166fa0","datavalue":{"value":"Rosser sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814182$F9EB20BC-E967-4F46-BAC7-5BB8A236DEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1ffc6954b7f146af1ca941a2c368eb77f6d22a8","datavalue":{"value":"extensions of Guaspari-Solovay provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814182$3DB07189-4472-4C2F-B58A-8E8C9A51BBEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4108cecd289b9cafbcb28752da70c2315de2efa0","datavalue":{"value":"conservativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814182$A3ED8E22-4EF4-4520-82D4-4943598DFCC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814182$9E8985DD-48E3-423D-84B4-5DC5915DEB69","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ad7bfad8d872a3ea91c9dd215d7f4f38e1e07b24","datavalue":{"value":{"entity-type":"item","numeric-id":472807,"id":"Q472807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814182$3DFA7FF4-D875-47BB-AAE3-C0FB3F57103F","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":"Q1814182$5AE70869-235B-433A-B36F-BEB92B69E307","rank":"normal"}],"P223":[{"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":"Q1814182$F4FB8DF0-F326-44D2-AB1C-60633FFFE17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52d22a47fb5eb747584c062317751144207a33ec","datavalue":{"value":{"entity-type":"item","numeric-id":3809768,"id":"Q3809768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814182$A5BE9D9A-C0AB-4A70-8AA9-75DA788CEA46","rank":"normal"},{"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":"Q1814182$2A8DBD03-E25E-4605-AEB6-4030B118F412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3fdf9f8f450f509f57bfd73032e349ce7796939","datavalue":{"value":{"entity-type":"item","numeric-id":1263586,"id":"Q1263586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814182$11B72BDB-1C79-492D-8E12-832C858B842C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b1321052b2007dda58775226167435e126d3524","datavalue":{"value":"https://doi.org/10.1007/bf00370168","type":"string"},"datatype":"url"},"type":"statement","id":"Q1814182$AC9E712B-6D96-4FED-A0DB-236228BC989C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2aae813bf931adc75de4f2132bc74f4379993aa0","datavalue":{"value":"W1977350483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814182$9B1A20C2-B809-4994-9331-372D30F4EFC3","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":"d029e4c5bb746e364ddc23f469018594792f256c","datavalue":{"value":{"amount":"+0.79255164","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":"Q1814182$EA19D3F8-CF03-4ABD-A7C5-8B4769514CC9","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":"0a8baccadd40a12da545663f6d66e4aeefdef747","datavalue":{"value":{"amount":"+0.75881815","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":"Q1814182$166E033D-7951-4BFE-A26C-F4C459AF296E","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":"2b8d39cdbc309b7cefe9a8b461861b4025500c59","datavalue":{"value":{"amount":"+0.74861217","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":"Q1814182$B3C946A0-E474-406B-8D50-751DE7938131","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":"c72caa32c9dd34b90a0042a5d9af63cc8759713f","datavalue":{"value":{"amount":"+0.74857336","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":"Q1814182$6D67CD78-A09A-4776-9B25-331716F1D41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e8f0f5cef0d7be3ed3b93b8bb6b17edeba33d03","datavalue":{"value":{"entity-type":"item","numeric-id":3809768,"id":"Q3809768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2a258c9bb361df10326deb60b7b8a6857f609e0","datavalue":{"value":{"amount":"+0.7416092","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":"Q1814182$321140EF-68EB-49E8-938F-D64B60F5BB97","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":"bb8cde20fc362f5351aa8cabbc8bb19f863cad65","datavalue":{"value":{"amount":"+0.7412107","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":"Q1814182$FEC0AC6B-45B5-4509-8C84-1B4CD09A4E56","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":"b73b25fac4de169d8e9608ece48ff3ae51e9e7a3","datavalue":{"value":{"amount":"+0.7157438","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":"Q1814182$BC269DDA-98A1-456F-B8FB-38C1825B3F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b67b12cd1d856dd5ae4b4877372e09d2c81a10e","datavalue":{"value":{"entity-type":"item","numeric-id":923072,"id":"Q923072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b56848fc336a26081ad6452b36ce43422fb39116","datavalue":{"value":{"amount":"+0.71447897","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":"Q1814182$955123DC-8BE9-4374-8F41-757F9F570A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2c3ce0036cec035e2e5ad563e37f8d5a90ca09e","datavalue":{"value":{"entity-type":"item","numeric-id":749521,"id":"Q749521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b38a42bcd720d2d3648d097dd4fc46bf33764e2c","datavalue":{"value":{"amount":"+0.711355","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":"Q1814182$D42C669E-0565-4635-A74F-94A65BAD15A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"374690f1db89fe0a3707b8d3b0da26185004bf5f","datavalue":{"value":{"entity-type":"item","numeric-id":2641298,"id":"Q2641298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0a7fc14832a340d156de7989a569a4797bebb9c","datavalue":{"value":{"amount":"+0.7037896","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":"Q1814182$AF137058-7FBD-412B-8689-E43C73ECC8E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on some extension results","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_some_extension_results"}}}}}