{"entities":{"Q908911":{"pageid":910759,"ns":120,"title":"Item:Q908911","lastrevid":65326302,"modified":"2026-04-12T01:49:43Z","type":"item","id":"Q908911","labels":{"en":{"language":"en","value":"Arithmetic with a local reflection principle for Rosser provability formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4135937"}},"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":"Q908911$B6A386FF-116E-4963-BBFE-80E0528F078D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9327c158ca409340abf13ffd329c60b5006be81","datavalue":{"value":{"text":"Arithmetic with a local reflection principle for Rosser provability formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q908911$3D6BB46F-45E2-4272-8FF2-9506788CF2B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b97451a752514808e1401e42718f220fdefe7bfc","datavalue":{"value":"0694.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908911$2C27EC3E-FB3F-4330-A197-5AB03557743B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc3c13e01451d39bd9842279f55e726a55577c60","datavalue":{"value":"10.1007/BF01158370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908911$C0D8A79E-CC3E-4376-9F30-32B8EA4B03D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a48b6daea63576cb93608f455bfae3d6af02c46","datavalue":{"value":{"entity-type":"item","numeric-id":908910,"id":"Q908910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q908911$1D85F6A1-72D9-4DF4-BF47-1D49ECA28C60","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q908911$9159C921-62AE-4742-BACD-A38D53FE0698","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q908911$6628E73F-05D2-4E0E-AC43-D97F2BFBDF9E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3edf29e546a10f87fbdbac791460134f3009c8b3","datavalue":{"value":"The main theorem: There exists a \\(\\Sigma^ 0_ 1\\)-formula Th(x) which is equivalent in Peano arithmetic PA to the standard G\u00f6del \\(\\Sigma^ 0_ 1\\)-formula Pr(x) of provability such that the theory \\(PA+Rfn(Th^ R)\\) coincides with \\(PA+Rfn\\) or equivalently that \\(PA+Rfn(Th^ R)\\vdash con(PA)\\). Here \\(Th^ R(x)=_{def}Th(x)\\prec Th({\\dot \\neg}x)=_{def}\\) ``x is Th-provable before \\({\\dot \\neg}x''\\) is the Rosser provability formula for Th, Rfn is the local reflection principle Pr(\\(\\ulcorner \\phi \\urcorner)\\to \\phi\\) for arithmetical sentences \\(\\phi\\), and \\(Rfn(Th^ R)\\) is the analogous principle \\(Th^ R(\\ulcorner \\phi \\urcorner)\\to \\phi\\). The proof is based on (arithmetical and Kripke-style) completeness results of \\textit{D. Guaspari} and \\textit{R. M. Solovay} [Ann. Math. Logic 16, 81-99 (1979; Zbl 0426.03062)] and \\textit{F. Voorbraak} [``A simplification of the completeness proof for Guaspari and Solovay's R'', Logic Group Preprint Series No.8, Dept. Philos., Univ. Utrecht (1986)] for a provability propositional logic with modal operators \\(\\square A\\), \\(\\square A\\preccurlyeq \\square B\\) and \\(\\square A\\prec \\square B\\) interpreted respectively as Th-provability (of a translation) of A and as Th-provability of A nonstrictly or strictly before that of B. In fact it rests on the construction of a Kripke model and therefore of an arithmetical interpretation for the modal formula \\(\\square [(\\square p\\prec \\square \\neg p\\to p)\\wedge (\\square q\\prec \\square \\neg q\\to q)\\to \\neg \\square \\perp]\\) where conjuncts correspond to \\(Rfn(Th^ R)\\) and \\(\\neg \\square \\perp\\) corresponds to con(PA). However this is impossible for the formula \\(\\square [(\\square p\\prec \\square \\neg p\\to p)\\to \\neg \\square \\perp]\\). There are some misprints in the paper. In particular the definition of A-correctness of Kripke R-models is unclear.","type":"string"},"datatype":"string"},"type":"statement","id":"Q908911$3F75A336-15C8-45E0-B024-82FED73462C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908911$41FAFA02-6333-49A2-B0E6-1070E82F134A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908911$A2385EB5-2535-4E25-8BB2-870B383280DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908911$0DAD6949-8257-42D6-B73D-0EC6190B06E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6fb773f468acf1bb130480c645cd601f1560e56","datavalue":{"value":"4135937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908911$DF58B6FB-1F91-4E77-80DD-5178E43A7D7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q908911$9F08CBBD-5EF6-4AD4-BAA6-8861D71AF290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q908911$47A1706D-5B4E-4CBA-837C-8128B792BC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q908911$326430CA-B288-4DCF-BAD4-0F311D3190F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a17355bb2d9569099efd35bc9bd6c56a895c838b","datavalue":{"value":"Rosser provability formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q908911$9600D65F-5AFB-4493-B7D9-484C3B48CE34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b66c6531605642201eac88586885d8f237b626e","datavalue":{"value":"reflection principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q908911$462DBB8E-02F2-45C6-96B6-0CDD0EF026B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q908911$3B3FBA05-4ABE-4FAE-B02F-A0AEC2225077","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"21f17c58588273728eeab43e5b397c5212fc4996","datavalue":{"value":{"entity-type":"item","numeric-id":1311972,"id":"Q1311972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q908911$0D29581D-C86A-41A1-982C-2192A7351E30","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":"Q908911$912685A7-F764-4980-AEE4-60180C8485B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"899a190f8b9f07830eeda0a31ae8d716d2ea8c61","datavalue":{"value":{"entity-type":"item","numeric-id":4193434,"id":"Q4193434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q908911$FFBB339E-2603-46A8-865C-505D810AC60F","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":"c30ec36c9335cd598e639450d6b499ce6caa8253","datavalue":{"value":{"amount":"+0.8056477308273315","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":"Q908911$45C17A4C-3EA2-4834-BDE6-91A1328AB05F","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":"e81e8acdbedd830dc9eb97dd8a3b12174c9ae175","datavalue":{"value":{"amount":"+0.7931719422340393","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":"Q908911$BB79F31F-6E2E-4142-9ED8-690DA132CDEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f88dcd17ad00f386831bf1a4762433126935d1d2","datavalue":{"value":{"entity-type":"item","numeric-id":3372439,"id":"Q3372439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e42b3005c2821bb9153cbb1629900d65eeacb32","datavalue":{"value":{"amount":"+0.7925021052360535","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":"Q908911$93BF58DE-52AE-4D8C-8DC5-AECB866CE38D","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":"2e4d267623834ff45a3f617e33281a3cf70f77b6","datavalue":{"value":{"amount":"+0.7763919830322266","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":"Q908911$2784389A-B757-4D67-AF8B-942BE727F1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6b5a831038fe89a49db381233adf320c69895d9","datavalue":{"value":{"entity-type":"item","numeric-id":1176096,"id":"Q1176096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77739f4a8d0858a96161bf1b028fda354df62fb2","datavalue":{"value":{"amount":"+0.7747757434844971","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":"Q908911$FF0B27FB-A38C-444E-BEAE-0165A1709278","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Arithmetic with a local reflection principle for Rosser provability formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Arithmetic_with_a_local_reflection_principle_for_Rosser_provability_formulas"}}}}}