{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T10:25:36Z","timestamp":1752229536853},"reference-count":0,"publisher":"Wiley","issue":"3","license":[{"start":{"date-parts":[[2013,5,16]],"date-time":"2013-05-16T00:00:00Z","timestamp":1368662400000},"content-version":"vor","delay-in-days":6710,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Complexity"],"published-print":{"date-parts":[[1995,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We summarize in an intuitive vein a few concepts from recursion theory and from the theory of formal systems and then state and comment our recent results on the incompleteness of elementary real analysis and its consequences. Their relation to forcing is also dealt with.<\/jats:p>","DOI":"10.1002\/cplx.6130010312","type":"journal-article","created":{"date-parts":[[2013,5,16]],"date-time":"2013-05-16T10:27:18Z","timestamp":1368700038000},"page":"40-55","source":"Crossref","is-referenced-by-count":2,"title":["G\u00f6del incompleteness, explicit expressions for complete arithmetic degrees and applications"],"prefix":"10.1002","volume":"1","author":[{"given":"N. C. A.","family":"Da Costa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F. A.","family":"Doria","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2013,5,16]]},"container-title":["Complexity"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fcplx.6130010312","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/cplx.6130010312","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,26]],"date-time":"2023-10-26T15:54:14Z","timestamp":1698335654000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/cplx.6130010312"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,1]]},"references-count":0,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1995,1]]}},"alternative-id":["10.1002\/cplx.6130010312"],"URL":"https:\/\/doi.org\/10.1002\/cplx.6130010312","archive":["Portico"],"relation":{},"ISSN":["1076-2787","1099-0526"],"issn-type":[{"value":"1076-2787","type":"print"},{"value":"1099-0526","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,1]]}}}