{"entities":{"Q1176097":{"pageid":1186846,"ns":120,"title":"Item:Q1176097","lastrevid":69807717,"modified":"2026-04-13T09:31:49Z","type":"item","id":"Q1176097","labels":{"en":{"language":"en","value":"Rosser orderings and free variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 13441"}},"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":"Q1176097$6F393CD5-1AE5-4287-9753-479790D64C4A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ea16f26a2ac934514baf09afda60233ac5db541","datavalue":{"value":{"text":"Rosser orderings and free variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1176097$5F75E926-9113-4E23-8601-86EB003C88E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"970570e59f3ed0ade22df9c7dd1dc0136bf3eefc","datavalue":{"value":"0744.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176097$F351156D-2A9C-49BF-A871-0DBD36A8EC55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31f7d8c89e5e930209814dac3041adb8035074af","datavalue":{"value":"10.1007/BF00370388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176097$4CB1A06C-7AA9-4B35-A103-45B3B5BEE03E","rank":"normal"}],"P16":[{"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":"Q1176097$DB2C8A4D-FEF4-4F91-86DC-08805F631530","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":"Q1176097$394D58FA-6C4E-4B1E-AFF2-A7C465C3A9B5","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":"Q1176097$B318D5CB-53EF-4C92-938C-3B99715056B7","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":"Q1176097$5691A10D-9B35-4871-B058-24ED6920833B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5e59f1ce93c2a9dcb5587808fc81fa3b81863d11","datavalue":{"value":"Guaspari and Solovay have proposed the arithmetically complete modal system \\(R\\) of provability in the case where Rosser sentences are taken into account. In this paper the authors prove that if free variables are included, the arithmetically complete system is not \\(R\\) but \\(R^ -\\) of Guaspari and Solovay, which has been introduced for the sake of \\(R\\) first. From this completeness result, there follow the non-validity of some rules and that some principles concerning Rosser orderings cannot be decided even by the usual proof predicates in the case where free variables are included.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176097$33BCF994-8812-44DD-8AEB-82C7E3278762","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176097$E29A786B-EAB5-4211-AB6A-A5630718CBF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176097$3CD2C588-1337-4D66-A38B-33002287EC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176097$8408D3CC-4883-4CA5-8CBA-3680A55339EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d1ffd4a61338a66c55abb6617b5aed52381c404","datavalue":{"value":"13441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176097$A85A7B89-1C4D-4537-BF8E-D12BBDA2218A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176097$15660693-963C-4B89-9EF3-A1235EBE351E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ff02888b791812ddffc3fccfc663496a3736af7","datavalue":{"value":"arithmetical completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176097$9826FCB5-5164-46DB-92A1-2C3F4C4384E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"996f6c99dffcdd26285fd24afec05bf105113c1e","datavalue":{"value":"witness comparison","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176097$B987CAD4-4522-4BE7-9386-D68BBFD16C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a2a9f912130ce59e7d6c81711aef812f9166fa0","datavalue":{"value":"Rosser sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176097$1DD60F85-8855-4FBB-AF3D-24583B79B989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f75c7fcf86304c28331d576d9200cbd8b7ee96ff","datavalue":{"value":"Rosser orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176097$72432555-3D69-4E48-A74F-C90DBCFD6746","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":"Q1176097$0B5657A2-BC51-4AF8-B049-B84E3B73AF85","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":"Q1176097$81626862-E37B-4CB7-A57E-C808DEC64FDC","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":"Q1176097$7140ED3D-E7E3-41D5-80C5-5E7FF89C10F8","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":"Q1176097$3D09EF14-163C-4E31-A94B-00F3AEE105E3","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":"Q1176097$89D94AC2-43A2-41C2-96ED-4DAEFD4519F4","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":"Q1176097$5F9C17D6-E579-46F4-81C1-BC502A82A956","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":"Q1176097$3BAA775F-022A-4AED-AB3D-D8EC28943120","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c68d7c843922bfc578d08c055d0e597a01605380","datavalue":{"value":"https://doi.org/10.1007/bf00370388","type":"string"},"datatype":"url"},"type":"statement","id":"Q1176097$C1442DF5-3E0B-49E9-938B-CACFC04E094F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8147301391adc01bb97823397bfb38d49a8504ea","datavalue":{"value":"W1984196478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176097$DCDC798F-65AC-490A-AE34-BB3E50B3F6B4","rank":"normal"}],"P1643":[{"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":"f9670e47bffd30fee9403c1aeeb019caa4e0b252","datavalue":{"value":{"amount":"+0.794705331325531","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":"Q1176097$BD89C57D-0B61-44BF-9C56-F61EC1F0193E","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":"df2ac06762c60ae8353d07084b6dd56d3aa4e095","datavalue":{"value":{"amount":"+0.7942591309547424","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":"Q1176097$32232D21-9583-4395-BD8D-837E6D63DB6F","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":"b4fb40a094e83895a0d885d1e470f6fb0973270a","datavalue":{"value":{"amount":"+0.790412425994873","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":"Q1176097$6A7BF25A-D7F0-4EAE-96CA-02B7AE9793D3","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":"ea8d5a871965a11b5a922972e7c4505cac826582","datavalue":{"value":{"amount":"+0.7705080509185791","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":"Q1176097$11E8D266-AFAD-437B-9B94-C10FDD7F50D1","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":"9d70c4236c1f854547ba4d97bb129c9a72095176","datavalue":{"value":{"amount":"+0.7656846642494202","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":"Q1176097$44F9C1BE-7628-49F1-B929-F65E5A7C9E87","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rosser orderings and free variables","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Rosser_orderings_and_free_variables"}}}}}