{"entities":{"Q711567":{"pageid":713416,"ns":120,"title":"Item:Q711567","lastrevid":63727449,"modified":"2026-04-11T15:08:21Z","type":"item","id":"Q711567","labels":{"en":{"language":"en","value":"A note on da Costa-Doria ``exotic formalizations''"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5806727"}},"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":"Q711567$EB1A2012-731C-4D7C-9197-116C6B51748D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8975cff8af2969034388cf64a33e847f4ae812dd","datavalue":{"value":{"text":"A note on da Costa-Doria ``exotic formalizations''","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q711567$5EF4419A-6AB0-4DF6-B27D-F63C685A09C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc9141fcfe9869d9fc26c5a6df20cd3f4c8d6214","datavalue":{"value":"1206.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q711567$3000CFBA-2474-4411-9B50-030F916CCC91","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711567$8AC0F41B-57D9-4AE2-88D6-8CEDEB86EC3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09144b649555c784d4a38ccd8313b58ed480e0c2","datavalue":{"value":{"time":"+2010-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q711567$13F92279-9306-4D65-9E0B-4F8BD75FC0C8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8030880ea74509b0ff850f233c2e19e96eff3c7b","datavalue":{"value":"The joint work of da Costa and Doria on consistency results for P versus~NP, via a so-called ``exotic definition'' for the problem [\\textit{N. C. A. da Costa} and \\textit{F. A. Doria}, Appl. Math. Comput. 145, No.~2--3, 655--665 (2003); addendum ibid. 172, No.~2, 1364--1367 (2006; Zbl 1046.68060)], has drawn criticism from various directions.  The present paper's approach to debunking da Costa-Doria is to show that their results hold not just for P = NP, but for \\textsl{every} sentence in the language of Peano arithmetic, thus making it ``doubtful that exotic formalizations alone could provide crucial insights into the nature of relative consistency of highly specific problems like P vs.~NP''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q711567$031C044F-FA13-4DFD-B029-2F31DCA502E1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"918802f1a1362bd512279080eb151cb7e040bd3a","datavalue":{"value":{"entity-type":"item","numeric-id":588764,"id":"Q588764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711567$C92B4D87-F6FC-4C5F-BD0B-7E6A430171BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q711567$A9D4B420-1F60-40D5-AB35-9A0EB3CC3553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q711567$9310EC03-7BC1-4A25-8E78-CF8CAFB16BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q711567$89A4F67A-DDDA-481F-AC30-84F355A0D4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q711567$800C4384-7E20-465B-9B3C-2DA796857DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q711567$5F08B62D-C270-4AFC-90BC-8DB014A93518","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"945657cc217b71af4ebbe84155c9d5a5e88e4f8a","datavalue":{"value":"5806727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q711567$12C3BDCC-3DBF-49A3-8D5D-A457898A0D98","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18d7e8a9c2fef410a0ec0f47c6e1f03bb0f97bc1","datavalue":{"value":"first-order theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q711567$1C5E69CC-D9CF-4E89-9C53-8A9549B46E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c26f32d6948e4a045ae73b20ec076113ae2518a","datavalue":{"value":"G\u00f6del's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q711567$CEA7B212-E4E6-46C8-B0E8-BFC35E4379A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q711567$6B6FD356-D715-40A6-97F2-F1F5071FE7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c321106c52d493c8454b8627e5e3d0d3a97135","datavalue":{"value":"P vs. NP","type":"string"},"datatype":"string"},"type":"statement","id":"Q711567$44C54D0E-9381-4681-8959-8ACC2D9EB42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe335eee78cd6dc8c42703e820a3dd803c2bac3c","datavalue":{"value":"exotic formalizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q711567$095BA60C-CD92-495E-A0C9-595CBE927B3A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da91d821e6afd5fc2acad321f0aa06b2e18cae96","datavalue":{"value":{"entity-type":"item","numeric-id":1147136,"id":"Q1147136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711567$001EBBF5-06E6-46AB-A3FA-92472A194F7C","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":"Q711567$BA9DB06A-9827-46DF-B242-FD2F0AB7E616","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81be762fad27e4f1aa97d8c0beadf7bdb93556da","datavalue":{"value":"https://doi.org/10.1007/s00153-010-0203-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q711567$A8209305-F8D3-4A1A-B2FB-A5305A7D81B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f7b04e106888f2804bd5750d8d2a7698cdd7d01b","datavalue":{"value":"W2166613262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q711567$CD896AD7-0FEA-4E56-8F3D-2CFA19F0E5FB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"af7b719c039384fa87526995fa5806b6dad4232a","datavalue":{"value":{"entity-type":"item","numeric-id":3395977,"id":"Q3395977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711567$292557D3-9E46-4265-826E-558EF79130CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9c3b8284f4de47146450cbd3f33a47b03813b9","datavalue":{"value":{"entity-type":"item","numeric-id":1412482,"id":"Q1412482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711567$9B40623E-B3B5-4D8F-9E40-2061CDEB6766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f6ba638c6f2159a3c0592782cfe86c0f1831361","datavalue":{"value":{"entity-type":"item","numeric-id":2497877,"id":"Q2497877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711567$0E453B53-DF55-461C-BAE0-F5489AD174C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9693dd83fbb8ba1e8f6649b7ba1a0f014e0e6fc","datavalue":{"value":{"entity-type":"item","numeric-id":2383632,"id":"Q2383632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711567$737FDF06-2D9C-498F-88E4-3AC74256AEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66cf0f7e653e12a80e054d9a9559e089f5ac0a6a","datavalue":{"value":{"entity-type":"item","numeric-id":1091820,"id":"Q1091820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711567$5263733D-9F4E-43D3-80C8-493FA028CB6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a019925ddbc4cc23ec1d6655c9cfac26da58cf6","datavalue":{"value":{"entity-type":"item","numeric-id":3430936,"id":"Q3430936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711567$399C5FA5-E4AB-4173-A7BD-552E05351ED4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4365fe8c081f27ec6ed9c1bc6890fb50c5da2253","datavalue":{"value":"10.1007/S00153-010-0203-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q711567$B38AF204-F6E2-4E7B-B10C-FC356C53B320","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a31cb27eb275e65a8e7a643534f166969830cf3b","datavalue":{"value":{"entity-type":"item","numeric-id":1412482,"id":"Q1412482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d6b374c590aca5c0c1d337a98d041dee3851730","datavalue":{"value":{"amount":"+0.8124709725379944","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":"Q711567$0E90C9A1-5A19-4A7B-B226-110BCB37EB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf3e1309b720aab4d5e3e6086f83e87ae9f0f9e","datavalue":{"value":{"entity-type":"item","numeric-id":2383632,"id":"Q2383632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21ebd6c21580de813283559c038b115290ec2f45","datavalue":{"value":{"amount":"+0.7721101641654968","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":"Q711567$658A6F81-63D9-4C23-BA3D-B0F2A5B6AB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1ce604c93dc10aa697b6ccdbe3ca8993bd2f0ec","datavalue":{"value":{"entity-type":"item","numeric-id":5436986,"id":"Q5436986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d51b92e4500f9f78aff066d2854eb40b158d92ac","datavalue":{"value":{"amount":"+0.7528831958770752","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":"Q711567$4849911D-4A1B-40A1-9C73-AFC78328B3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f43698cfb670bdc39249cc9456e33f4000b13aa","datavalue":{"value":{"entity-type":"item","numeric-id":3983716,"id":"Q3983716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eca9809c069498a307ffe333733bc6ec403d9a98","datavalue":{"value":{"amount":"+0.7374361157417297","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":"Q711567$0DA7BECC-466B-4A7B-B0DA-17ECD7195081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a325fc4a3938baa840b00d6d4498d11b43420f91","datavalue":{"value":{"entity-type":"item","numeric-id":885512,"id":"Q885512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35be7957dc3da17391ff64d2a0c7b03b4dca9f72","datavalue":{"value":{"amount":"+0.7342442274093628","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":"Q711567$22503716-44C8-4F5A-8395-41828DC34004","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on da Costa-Doria ``exotic formalizations''","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_da_Costa-Doria_%60%60exotic_formalizations%27%27"}}}}}