{"id":"https://openalex.org/W1991386049","doi":"https://doi.org/10.1007/s00224-007-9058-x","title":"Feasible Operations on Proofs: The Logic of\u00a0Proofs for\u00a0Bounded Arithmetic","display_name":"Feasible Operations on Proofs: The Logic of\u00a0Proofs for\u00a0Bounded Arithmetic","publication_year":2007,"publication_date":"2007-10-12","ids":{"openalex":"https://openalex.org/W1991386049","doi":"https://doi.org/10.1007/s00224-007-9058-x","mag":"1991386049"},"language":"en","primary_location":{"id":"doi:10.1007/s00224-007-9058-x","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00224-007-9058-x","pdf_url":null,"source":{"id":"https://openalex.org/S4210177266","display_name":"Theory of Computing Systems","issn_l":"1432-4350","issn":["1432-4350","1433-0490"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory of Computing Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"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/A5021686663","display_name":"Evan Goris","orcid":null},"institutions":[{"id":"https://openalex.org/I174216632","display_name":"City University of New York","ror":"https://ror.org/00453a208","country_code":"US","type":"education","lineage":["https://openalex.org/I174216632"]},{"id":"https://openalex.org/I121847817","display_name":"The Graduate Center, CUNY","ror":"https://ror.org/00awd9g61","country_code":"US","type":"education","lineage":["https://openalex.org/I121847817"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Evan Goris","raw_affiliation_strings":["The Graduate Center of the City University of New York, 365 Fifth Avenue, New York, NY, 10016, USA","The Graduate Center of the City University of New York, 365 Fifth Avenue, 10016, New York, NY, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"The Graduate Center of the City University of New York, 365 Fifth Avenue, New York, NY, 10016, USA","institution_ids":["https://openalex.org/I174216632","https://openalex.org/I121847817"]},{"raw_affiliation_string":"The Graduate Center of the City University of New York, 365 Fifth Avenue, 10016, New York, NY, USA#TAB#","institution_ids":["https://openalex.org/I174216632","https://openalex.org/I121847817"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5021686663"],"corresponding_institution_ids":["https://openalex.org/I121847817","https://openalex.org/I174216632"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":0.973,"has_fulltext":false,"cited_by_count":21,"citation_normalized_percentile":{"value":0.81414887,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":"43","issue":"2","first_page":"185","last_page":"203"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9976000189781189,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9948999881744385,"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/mathematical-proof","display_name":"Mathematical proof","score":0.8768314719200134},{"id":"https://openalex.org/keywords/peano-axioms","display_name":"Peano axioms","score":0.7134791612625122},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.649088978767395},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5909230709075928},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4986295700073242},{"id":"https://openalex.org/keywords/g\u00f6dels-completeness-theorem","display_name":"G\u00f6del's completeness theorem","score":0.49306294322013855},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.48853597044944763},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.45854878425598145},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.4180018901824951},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.36515572667121887},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.3401009142398834},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3312579095363617},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3035634160041809},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.15767934918403625},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15018975734710693}],"concepts":[{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.8768314719200134},{"id":"https://openalex.org/C97489613","wikidata":"https://www.wikidata.org/wiki/Q842755","display_name":"Peano axioms","level":2,"score":0.7134791612625122},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.649088978767395},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5909230709075928},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4986295700073242},{"id":"https://openalex.org/C200116569","wikidata":"https://www.wikidata.org/wiki/Q902052","display_name":"G\u00f6del's completeness theorem","level":2,"score":0.49306294322013855},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.48853597044944763},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.45854878425598145},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.4180018901824951},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.36515572667121887},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3401009142398834},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3312579095363617},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3035634160041809},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.15767934918403625},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15018975734710693},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00224-007-9058-x","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00224-007-9058-x","pdf_url":null,"source":{"id":"https://openalex.org/S4210177266","display_name":"Theory of Computing Systems","issn_l":"1432-4350","issn":["1432-4350","1433-0490"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory of Computing Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W163732928","https://openalex.org/W1494449308","https://openalex.org/W1587799979","https://openalex.org/W1588371531","https://openalex.org/W1607926272","https://openalex.org/W2003017965","https://openalex.org/W2009552408","https://openalex.org/W2040404640","https://openalex.org/W2043468053","https://openalex.org/W2059933820","https://openalex.org/W2065423828","https://openalex.org/W2105500635","https://openalex.org/W2274735745","https://openalex.org/W2561675875","https://openalex.org/W2564150156","https://openalex.org/W4248733413","https://openalex.org/W4251222677","https://openalex.org/W4300038913"],"related_works":["https://openalex.org/W2169551167","https://openalex.org/W2369292347","https://openalex.org/W4210580744","https://openalex.org/W3161909158","https://openalex.org/W2007555602","https://openalex.org/W3111972484","https://openalex.org/W1994701759","https://openalex.org/W1588277780","https://openalex.org/W958050847","https://openalex.org/W4252539554"],"abstract_inverted_index":null,"counts_by_year":[{"year":2019,"cited_by_count":15},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}