{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,6,3]],"date-time":"2023-06-03T02:40:17Z","timestamp":1685760017456},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2010,8,31]],"date-time":"2010-08-31T00:00:00Z","timestamp":1283212800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2010,12]]},"DOI":"10.1007\/s00153-010-0203-x","type":"journal-article","created":{"date-parts":[[2010,8,30]],"date-time":"2010-08-30T16:08:24Z","timestamp":1283184504000},"page":"813-821","source":"Crossref","is-referenced-by-count":0,"title":["A note on da Costa-Doria \u201cexotic formalizations\u201d"],"prefix":"10.1007","volume":"49","author":[{"given":"L.","family":"Gordeev","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,8,31]]},"reference":[{"key":"203_CR1","first-page":"109","volume":"81","author":"S.S. Aaronson","year":"2003","unstructured":"Aaronson S.S.: Is P versus NP formally independent?. Bull. EATCS 81, 109\u2013136 (2003)","journal-title":"Bull. EATCS"},{"key":"203_CR2","unstructured":"Ben-David, S., Halevi, S.: On the Independence of P versus NP. Technion, TR 714 (1992)"},{"key":"203_CR3","unstructured":"da Costa, N.C.A., Doria, F.A.: Consequences of an exotic formulation for P\u00a0\u00a0=\u00a0\u00a0NP. Appl. Math. Comput. 145 (2003) 655\u2013665 (2003) and Addendum. Appl. Math. Comput. 172, 1364\u20131367 (2006)"},{"key":"203_CR4","unstructured":"da Costa, N.C.A., Doria, F.A.: Computing the future, In: Computability, Complexity and Constructivity in Economic Analysis\u2014Vela Velupillai K, ed. (2005)"},{"key":"203_CR5","unstructured":"da Costa, N.C.A., Doria F.A.: Some folklore about the P vs. NP question. (incorporated into [7])"},{"key":"203_CR6","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/j.amc.2005.09.073","volume":"178","author":"N.C.A. da Costa","year":"2006","unstructured":"da Costa N.C.A., Doria F.A.: Some thoughts on hypercomputation. Appl. Math. Comput. 178, 83\u201392 (2006)","journal-title":"Appl. Math. Comput."},{"key":"203_CR7","doi-asserted-by":"crossref","first-page":"1223","DOI":"10.1016\/j.amc.2006.12.012","volume":"189","author":"N.C.A. da Costa","year":"2007","unstructured":"da Costa N.C.A., Doria F.A., Bir E.: On the metamathematics of the P vs: NP question. Appl. Math. Comput. 189, 1223\u20131240 (2007)","journal-title":"Appl. Math. Comput."},{"key":"203_CR8","unstructured":"Gordeev, L.: Toward combinatorial proof of P < NP. In: Proc. CiE 2006, Report #CSR 7-2006 119\u2013128 (2006)"},{"key":"203_CR9","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/0020-0190(87)90191-8","volume":"24","author":"S. Kurtz","year":"1987","unstructured":"Kurtz S., O\u2019Donnell M.J., Royer S.: How to prove representation-independent independence results. Inf. Proc. Lett. 24, 5\u201310 (1987)","journal-title":"Inf. Proc. Lett."},{"key":"203_CR10","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1017\/S1079898600004236","volume":"10","author":"R.D. Schindler","year":"2004","unstructured":"Schindler R.D.: Review. Bull. Symb. Log. 10, 118 (2004)","journal-title":"Bull. Symb. Log."},{"issue":"2","key":"203_CR11","doi-asserted-by":"crossref","first-page":"177","DOI":"10.2178\/bsl\/1146620058","volume":"12","author":"A. Weiermann","year":"2006","unstructured":"Weiermann A.: Classifying the provably total functions of PA. Bull. Symb. Log. 12(2), 177\u2013190 (2006)","journal-title":"Bull. Symb. Log."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-010-0203-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-010-0203-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-010-0203-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,3]],"date-time":"2023-06-03T02:11:37Z","timestamp":1685758297000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-010-0203-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,8,31]]},"references-count":11,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2010,12]]}},"alternative-id":["203"],"URL":"https:\/\/doi.org\/10.1007\/s00153-010-0203-x","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,8,31]]}}}