{"entities":{"Q2266712":{"pageid":2277455,"ns":120,"title":"Item:Q2266712","lastrevid":71717370,"modified":"2026-04-14T00:05:08Z","type":"item","id":"Q2266712","labels":{"en":{"language":"en","value":"A shorter proof of a recent result by R. Di Paola"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3895057"}},"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":"Q2266712$F5F1BC28-E323-48A6-ADB6-77F5B7338E4F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"123acb4fa15d43e493b6c020f2bed7c862002ad8","datavalue":{"value":{"text":"A shorter proof of a recent result by R. Di Paola","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2266712$80F81CD4-479C-4ACD-BBA9-5A03285C9C77","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ea3a81a060db3d5f2ce00da3c1e4102834874ab","datavalue":{"value":"0562.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266712$649CFEE3-624E-47BE-9A04-CF7FF79A6852","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf82499c5812c0cf731dd016e16f52304b1a65b4","datavalue":{"value":{"entity-type":"item","numeric-id":195001,"id":"Q195001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266712$C2C6367E-4874-454A-9429-45F3F483C244","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":"Q2266712$4810FFA5-718A-4C26-8605-CFA240ABAD7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q2266712$C3D3797D-18E8-4294-8966-6E7C4083960F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1381b2671376fd2404b66b4030e3d4632fc0e020","datavalue":{"value":"A formula F(v) of PA is said to be extensional if \\(\\vdash x\\leftrightarrow y\\) implies \\(\\vdash F(\\bar x)\\leftrightarrow F(\\bar y);\\) in this case, if p is a fixed point of F(v), i.e. if \\(\\vdash p\\leftrightarrow F(\\bar p),\\) then so is every q provably equivalent to p. In a recent paper [Proc. Am. Math. Soc. 91, 291-297 (1984)] \\textit{R. A. Di Paola} has proved that, if \\(\\dot Thm(v)\\) is the standard extensional formula numerating the set of theorems, there is a term t(x) such that the formula \\(\\neg \\dot Thm(\\overline{t(\\bar x)})\\) is nonextensional in a very strong sense. The result is relevant for an algebraic approach to fixed points and incompleteness phenomena.    In this paper another proof of this result is presented, which is shorter than Di Paola's. A generalization to nonsound extensions of PA is also discussed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266712$B2E301EE-CB12-44D3-8C36-6F31B3631CF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266712$71434125-058F-4A4F-9B64-BBE7A81C3AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266712$0DE2B699-49B2-4E7A-9269-9F056320E859","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05a2ea4ede0c9dd9f8a4c1e110dd3ca035a91391","datavalue":{"value":"3895057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266712$62C4CC38-5FB1-4FF6-9736-305C19612E19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cafe9d9feb770c0890cdca6df102fd16385d1ab1","datavalue":{"value":"provable equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266712$5CD5E91B-FFF4-4B3B-B68E-D116428EFBB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b0daa04d44b13e088deec11158bc8e2f46a552d","datavalue":{"value":"diagonalization lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266712$5A803844-954B-4BEE-B044-A16861CE7928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0935c569cb83e63088b9b56702c72489027a4d56","datavalue":{"value":"fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266712$0DD310F3-0B5B-4DEF-90B0-D9D0AE4BCB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbca4139bd723321382187f2b271be31ca18a6a8","datavalue":{"value":"extensional formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266712$19D3A2A2-1343-493B-A3A1-E2D15D44AEC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266712$13039601-23D7-43A0-9741-7206B61996B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1581445f9da3f1dd71d1b73cfb92d507ec6a7d34","datavalue":{"value":"nonsound extensions of PA","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266712$3DCFD2D9-EF1A-4279-8C71-3DA44DCBD8BC","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":"Q2266712$E7AD1825-AB57-423E-B139-7CF0DD65E6D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"895be35048210f3962c3318ba5f51aa3cb0f2f02","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093870691","type":"string"},"datatype":"url"},"type":"statement","id":"Q2266712$F24EE213-0BEB-4AF8-85C0-703D676E0F7C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b209103e00daf55e0f7505ff4663c0e876c407e","datavalue":{"value":"W2043050617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266712$6519DEFC-983D-496B-B946-A36848A16007","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7833721f4d768c8ff2ab5efc19c4e8756b6f712","datavalue":{"value":"10.1305/NDJFL/1093870691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266712$E0D27811-597C-46E8-8271-8F098303C5E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7b6f48a24e0aec235409297c48eb614132f73a8","datavalue":{"value":{"entity-type":"item","numeric-id":3677758,"id":"Q3677758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"923ef67e33365f7d89e7c0827aafee304e098f39","datavalue":{"value":{"amount":"+0.7961904406547546","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":"Q2266712$5C02A7D4-C5EF-4FDE-93EF-26351237FD16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65ffe50183359d55dcc21942561a301191980ae8","datavalue":{"value":{"entity-type":"item","numeric-id":3677759,"id":"Q3677759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e54c9331232cb00e9eba52995b57bb5408ce9f94","datavalue":{"value":{"amount":"+0.7923904061317444","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":"Q2266712$C230F748-5A1D-42C5-BFDE-AE418F780C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41ce615ba571a65f08c67739c0603796973986ec","datavalue":{"value":{"entity-type":"item","numeric-id":3677760,"id":"Q3677760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48e8fb42d1e138e9a2603d834dfdba48b0854f98","datavalue":{"value":{"amount":"+0.7335562705993652","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":"Q2266712$714EB817-546A-45D1-B51C-DDD4713CC0AB","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":"0a7e69d670283bd1649e26b1403297e9c28f1d5d","datavalue":{"value":{"amount":"+0.730637788772583","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":"Q2266712$0F5757FC-E3AB-4305-BCF0-3796F1277AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c9ab07931af7835bcd0b3e730c5c46690b4fd03","datavalue":{"value":{"entity-type":"item","numeric-id":908911,"id":"Q908911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0020d53799b5419c90cc35a0c5669530a9b02e6f","datavalue":{"value":{"amount":"+0.728971540927887","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":"Q2266712$AF7E3F8A-D990-4C54-8678-062B0871C50F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A shorter proof of a recent result by R. Di Paola","badges":[]}}}}}