{"id":"https://openalex.org/W1993549872","doi":"https://doi.org/10.1002/cplx.6130010312","title":"G\u00f6del incompleteness, explicit expressions for complete arithmetic degrees and applications","display_name":"G\u00f6del incompleteness, explicit expressions for complete arithmetic degrees and applications","publication_year":1995,"publication_date":"1995-01-01","ids":{"openalex":"https://openalex.org/W1993549872","doi":"https://doi.org/10.1002/cplx.6130010312","mag":"1993549872"},"language":"en","primary_location":{"id":"doi:10.1002/cplx.6130010312","is_oa":false,"landing_page_url":"https://doi.org/10.1002/cplx.6130010312","pdf_url":null,"source":{"id":"https://openalex.org/S207319443","display_name":"Complexity","issn_l":"1076-2787","issn":["1076-2787","1099-0526"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Complexity","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5051726594","display_name":"Newton C. A. da Costa","orcid":"https://orcid.org/0000-0001-7723-2676"},"institutions":[{"id":"https://openalex.org/I17974374","display_name":"Universidade de S\u00e3o Paulo","ror":"https://ror.org/036rp1748","country_code":"BR","type":"education","lineage":["https://openalex.org/I17974374"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"N. C. A. Da Costa","raw_affiliation_strings":["Research Group on Logic and Foundations, Institute for Advanced Studies, University of Sa\u0303o Paulo. Av. Prof. Luciano Gualberto, trav. J, 374. 05655-010 Sa\u0303o Paulo SP Brazil","Research Group on Logic and Foundations, Institute for Advanced Studies, University of S\u00e3o Paulo. Av. Prof. Luciano Gualberto, trav. J, 374. 05655\u2010010 S\u00e3o Paulo SP Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Research Group on Logic and Foundations, Institute for Advanced Studies, University of Sa\u0303o Paulo. Av. Prof. Luciano Gualberto, trav. J, 374. 05655-010 Sa\u0303o Paulo SP Brazil","institution_ids":["https://openalex.org/I17974374"]},{"raw_affiliation_string":"Research Group on Logic and Foundations, Institute for Advanced Studies, University of S\u00e3o Paulo. Av. Prof. Luciano Gualberto, trav. J, 374. 05655\u2010010 S\u00e3o Paulo SP Brazil","institution_ids":["https://openalex.org/I17974374"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083995431","display_name":"Francisco Ant\u00f4nio D\u00f3ria","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"F. A. Doria","raw_affiliation_strings":["Research Center on Mathematical Theories of Communication, School of Communications, Federal University at Rio de Janeiro, Av. Pasteur, 250. 22295-900 Rio RJ Brazil","Research Center on Mathematical Theories of Communication, School of Communications, Federal University at Rio de Janeiro, Av. Pasteur, 250. 22295\u2010900 Rio RJ Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Research Center on Mathematical Theories of Communication, School of Communications, Federal University at Rio de Janeiro, Av. Pasteur, 250. 22295-900 Rio RJ Brazil","institution_ids":[]},{"raw_affiliation_string":"Research Center on Mathematical Theories of Communication, School of Communications, Federal University at Rio de Janeiro, Av. Pasteur, 250. 22295\u2010900 Rio RJ Brazil","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5083995431"],"corresponding_institution_ids":[],"apc_list":{"value":2300,"currency":"USD","value_usd":2300},"apc_paid":null,"fwci":2.6691,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.88959293,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"1","issue":"3","first_page":"40","last_page":"55"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.996399998664856,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9887999892234802,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/forcing","display_name":"Forcing (mathematics)","score":0.7297337055206299},{"id":"https://openalex.org/keywords/recursion","display_name":"Recursion (computer science)","score":0.681352972984314},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.5712277889251709},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.515647292137146},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4764295518398285},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4659947156906128},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4455889165401459},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.43102091550827026},{"id":"https://openalex.org/keywords/theory","display_name":"Theory","score":0.41601818799972534},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3685248792171478},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2735082507133484},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.21204224228858948},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09636297821998596},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.05912402272224426},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.054262757301330566}],"concepts":[{"id":"https://openalex.org/C197115733","wikidata":"https://www.wikidata.org/wiki/Q1003136","display_name":"Forcing (mathematics)","level":2,"score":0.7297337055206299},{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.681352972984314},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.5712277889251709},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.515647292137146},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4764295518398285},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4659947156906128},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4455889165401459},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.43102091550827026},{"id":"https://openalex.org/C144701195","wikidata":"https://www.wikidata.org/wiki/Q10859910","display_name":"Theory","level":2,"score":0.41601818799972534},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3685248792171478},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2735082507133484},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.21204224228858948},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09636297821998596},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.05912402272224426},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.054262757301330566},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/cplx.6130010312","is_oa":false,"landing_page_url":"https://doi.org/10.1002/cplx.6130010312","pdf_url":null,"source":{"id":"https://openalex.org/S207319443","display_name":"Complexity","issn_l":"1076-2787","issn":["1076-2787","1099-0526"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Complexity","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320997","display_name":"Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado de S\u00e3o Paulo","ror":"https://ror.org/02ddkpn78"},{"id":"https://openalex.org/F4320322025","display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","ror":"https://ror.org/03swz6y49"},{"id":"https://openalex.org/F4320325035","display_name":"Universidade Federal do Rio de Janeiro","ror":"https://ror.org/03490as77"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1976679120","https://openalex.org/W2377519369","https://openalex.org/W3202311233","https://openalex.org/W4281614748","https://openalex.org/W32024214","https://openalex.org/W2765883196","https://openalex.org/W2034826746","https://openalex.org/W2396919090","https://openalex.org/W2379816237","https://openalex.org/W2369572737"],"abstract_inverted_index":{"Abstract":[0],"We":[1],"summarize":[2],"in":[3],"an":[4],"intuitive":[5],"vein":[6],"a":[7],"few":[8],"concepts":[9],"from":[10,14],"recursion":[11],"theory":[12,16],"and":[13,20,23,35],"the":[15,29],"of":[17,31],"formal":[18],"systems":[19],"then":[21],"state":[22],"comment":[24],"our":[25],"recent":[26],"results":[27],"on":[28],"incompleteness":[30],"elementary":[32],"real":[33],"analysis":[34],"its":[36],"consequences.":[37],"Their":[38],"relation":[39],"to":[40],"forcing":[41],"is":[42],"also":[43],"dealt":[44],"with.":[45]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}