Get quick answers to your questions about the article from our AI researcher chatbot
{'id': 'https://openalex.org/W1602067282', 'doi': 'https://doi.org/10.2307/2274155', 'title': "Handbook of mathematical logic, edited by Jon Barwise with the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, and A. S. Troelstra, Studies in logic and the foundations of mathematics, vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 (© 1977), xi + 1165 pp. - C. Smoryński. D.1. The incompleteness theorems. Pp. 821–865. - Helmut Schwichtenberg. D.2. Proof theory: some applications of cut-elimination. Pp. 867–895. - Richard Statman. D.3. Herbrand's …", 'display_name': "Handbook of mathematical logic, edited by Jon Barwise with the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, and A. S. Troelstra, Studies in logic and the foundations of mathematics, vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 (© 1977), xi + 1165 pp. - C. Smoryński. D.1. The incompleteness theorems. Pp. 821–865. - Helmut Schwichtenberg. D.2. Proof theory: some applications of cut-elimination. Pp. 867–895. - Richard Statman. D.3. Herbrand's …", 'publication_year': 1984, 'publication_date': '1984-09-01', 'ids': {'openalex': 'https://openalex.org/W1602067282', 'doi': 'https://doi.org/10.2307/2274155', 'mag': '1602067282'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://doi.org/10.2307/2274155', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S177675236', 'display_name': 'Journal of Symbolic Logic', 'issn_l': '0022-4812', 'issn': ['0022-4812', '1943-5886'], 'is_oa': False, 'is_in_doaj': False, 'is_core': True, 'host_organization': 'https://openalex.org/P4310311721', 'host_organization_name': 'Cambridge University Press', 'host_organization_lineage': ['https://openalex.org/P4310311721', 'https://openalex.org/P4310311702'], 'host_organization_lineage_names': ['Cambridge University Press', 'University of Cambridge'], 'type': 'journal'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, 'type': 'article', 'type_crossref': 'journal-article', 'indexed_in': ['crossref'], 'open_access': {'is_oa': False, 'oa_status': 'closed', 'oa_url': None, 'any_repository_has_fulltext': False}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5028645785', 'display_name': 'William A. Howard', 'orcid': 'https://orcid.org/0000-0002-3436-9231'}, 'institutions': [], 'countries': [], 'is_corresponding': True, 'raw_author_name': 'W. A. Howard', 'raw_affiliation_strings': [], 'affiliations': []}], 'institution_assertions': [], 'countries_distinct_count': 0, 'institutions_distinct_count': 0, 'corresponding_author_ids': ['https://openalex.org/A5028645785'], 'corresponding_institution_ids': [], 'apc_list': None, 'apc_paid': None, 'fwci': 4.078, 'has_fulltext': True, 'fulltext_origin': 'ngrams', 'cited_by_count': 851, 'citation_normalized_percentile': {'value': 0.972826, 'is_in_top_1_percent': False, 'is_in_top_10_percent': True}, 'cited_by_percentile_year': {'min': 99, 'max': 100}, 'biblio': {'volume': '49', 'issue': '3', 'first_page': '980', 'last_page': '988'}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T11010', 'display_name': 'Logic Programming and Knowledge Representation', 'score': 0.9746, '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 Programming and Knowledge Representation', 'score': 0.9746, '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': 'Program Analysis and Verification Techniques', 'score': 0.965, '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': 'Fuzzy Logic and Residuated Lattices', 'score': 0.9538, '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'}}], 'keywords': [{'id': 'https://openalex.org/keywords/mathematical-logic', 'display_name': 'Mathematical logic', 'score': 0.5899787}, {'id': 'https://openalex.org/keywords/foundations-of-mathematics', 'display_name': 'Foundations of mathematics', 'score': 0.57788414}, {'id': 'https://openalex.org/keywords/epistemic-logic', 'display_name': 'Epistemic Logic', 'score': 0.534781}, {'id': 'https://openalex.org/keywords/description-logics', 'display_name': 'Description Logics', 'score': 0.524088}, {'id': 'https://openalex.org/keywords/modal-logics', 'display_name': 'Modal Logics', 'score': 0.517546}, {'id': 'https://openalex.org/keywords/separation-logic', 'display_name': 'Separation Logic', 'score': 0.508492}, {'id': 'https://openalex.org/keywords/temporal-logic', 'display_name': 'Temporal Logic', 'score': 0.50183}, {'id': 'https://openalex.org/keywords/topos-theory', 'display_name': 'Topos theory', 'score': 0.48642778}, {'id': 'https://openalex.org/keywords/intuitionistic-logic', 'display_name': 'Intuitionistic logic', 'score': 0.48148167}, {'id': 'https://openalex.org/keywords/mathematical-practice', 'display_name': 'Mathematical practice', 'score': 0.4552809}, {'id': 'https://openalex.org/keywords/type-theory', 'display_name': 'Type theory', 'score': 0.42066374}], 'concepts': [{'id': 'https://openalex.org/C97489613', 'wikidata': 'https://www.wikidata.org/wiki/Q842755', 'display_name': 'Peano axioms', 'level': 2, 'score': 0.76706827}, {'id': 'https://openalex.org/C47884741', 'wikidata': 'https://www.wikidata.org/wiki/Q1166618', 'display_name': 'Mathematical logic', 'level': 2, 'score': 0.5899787}, {'id': 'https://openalex.org/C183140480', 'wikidata': 'https://www.wikidata.org/wiki/Q833585', 'display_name': 'Foundations of mathematics', 'level': 2, 'score': 0.57788414}, {'id': 'https://openalex.org/C33923547', 'wikidata': 'https://www.wikidata.org/wiki/Q395', 'display_name': 'Mathematics', 'level': 0, 'score': 0.5374971}, {'id': 'https://openalex.org/C2777686260', 'wikidata': 'https://www.wikidata.org/wiki/Q144037', 'display_name': 'Calculus (dental)', 'level': 2, 'score': 0.50679713}, {'id': 'https://openalex.org/C182141236', 'wikidata': 'https://www.wikidata.org/wiki/Q2143621', 'display_name': 'Topos theory', 'level': 2, 'score': 0.48642778}, {'id': 'https://openalex.org/C178421362', 'wikidata': 'https://www.wikidata.org/wiki/Q176786', 'display_name': 'Intuitionistic logic', 'level': 3, 'score': 0.48148167}, {'id': 'https://openalex.org/C2780506305', 'wikidata': 'https://www.wikidata.org/wiki/Q3909934', 'display_name': 'Mathematical practice', 'level': 2, 'score': 0.4552809}, {'id': 'https://openalex.org/C2777299769', 'wikidata': 'https://www.wikidata.org/wiki/Q3707858', 'display_name': 'Type (biology)', 'level': 2, 'score': 0.44224432}, {'id': 'https://openalex.org/C144237770', 'wikidata': 'https://www.wikidata.org/wiki/Q747534', 'display_name': 'Mathematical economics', 'level': 1, 'score': 0.42669716}, {'id': 'https://openalex.org/C93682546', 'wikidata': 'https://www.wikidata.org/wiki/Q1056428', 'display_name': 'Type theory', 'level': 3, 'score': 0.42066374}, {'id': 'https://openalex.org/C138885662', 'wikidata': 'https://www.wikidata.org/wiki/Q5891', 'display_name': 'Philosophy', 'level': 0, 'score': 0.34925592}, {'id': 'https://openalex.org/C136119220', 'wikidata': 'https://www.wikidata.org/wiki/Q1000660', 'display_name': 'Algebra over a field', 'level': 2, 'score': 0.3372355}, {'id': 'https://openalex.org/C118615104', 'wikidata': 'https://www.wikidata.org/wiki/Q121416', 'display_name': 'Discrete mathematics', 'level': 1, 'score': 0.32236975}, {'id': 'https://openalex.org/C202444582', 'wikidata': 'https://www.wikidata.org/wiki/Q837863', 'display_name': 'Pure mathematics', 'level': 1, 'score': 0.2187927}, {'id': 'https://openalex.org/C28077239', 'wikidata': 'https://www.wikidata.org/wiki/Q841728', 'display_name': 'Linear logic', 'level': 2, 'score': 0.1852907}, {'id': 'https://openalex.org/C11413529', 'wikidata': 'https://www.wikidata.org/wiki/Q8366', 'display_name': 'Algorithm', 'level': 1, 'score': 0.14985716}, {'id': 'https://openalex.org/C145420912', 'wikidata': 'https://www.wikidata.org/wiki/Q853077', 'display_name': 'Mathematics education', 'level': 1, 'score': 0.12803775}, {'id': 'https://openalex.org/C71924100', 'wikidata': 'https://www.wikidata.org/wiki/Q11190', 'display_name': 'Medicine', 'level': 0, 'score': 0.0}, {'id': 'https://openalex.org/C142362112', 'wikidata': 'https://www.wikidata.org/wiki/Q735', 'display_name': 'Art', 'level': 0, 'score': 0.0}, {'id': 'https://openalex.org/C18903297', 'wikidata': 'https://www.wikidata.org/wiki/Q7150', 'display_name': 'Ecology', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C124952713', 'wikidata': 'https://www.wikidata.org/wiki/Q8242', 'display_name': 'Literature', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C199343813', 'wikidata': 'https://www.wikidata.org/wiki/Q12128', 'display_name': 'Dentistry', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C86803240', 'wikidata': 'https://www.wikidata.org/wiki/Q420', 'display_name': 'Biology', 'level': 0, 'score': 0.0}], 'mesh': [], 'locations_count': 1, 'locations': [{'is_oa': False, 'landing_page_url': 'https://doi.org/10.2307/2274155', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S177675236', 'display_name': 'Journal of Symbolic Logic', 'issn_l': '0022-4812', 'issn': ['0022-4812', '1943-5886'], 'is_oa': False, 'is_in_doaj': False, 'is_core': True, 'host_organization': 'https://openalex.org/P4310311721', 'host_organization_name': 'Cambridge University Press', 'host_organization_lineage': ['https://openalex.org/P4310311721', 'https://openalex.org/P4310311702'], 'host_organization_lineage_names': ['Cambridge University Press', 'University of Cambridge'], 'type': 'journal'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}], 'best_oa_location': None, 'sustainable_development_goals': [], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 0, 'referenced_works': [], 'related_works': ['https://openalex.org/W4294682798', 'https://openalex.org/W4230609517', 'https://openalex.org/W3163325493', 'https://openalex.org/W2946904783', 'https://openalex.org/W2334645346', 'https://openalex.org/W2283964034', 'https://openalex.org/W2141113852', 'https://openalex.org/W2137170851', 'https://openalex.org/W2107022641', 'https://openalex.org/W1662289889'], 'abstract_inverted_index': {'Handbook': [0], 'of': [1, 11, 30, 66, 79, 90, 105, 117], 'mathematical': [2, 95, 141], 'logic,': [3], 'edited': [4], 'by': [5], 'Jon': [6], 'Barwise': [7], 'with': [8], 'the': [9, 28], 'cooperation': [10], 'H.': [12], 'J.': [13], 'Keisler,': [14], 'K.': [15], 'Kunen,': [16], 'Y.': [17], 'N.': [18], 'Moschovakis,': [19], 'and': [20, 27, 40, 76, 136], 'A.': [21, 100], 'S.': [22, 101], 'Troelstra,': [23], 'Studies': [24], 'in': [25, 143], 'logic': [26, 116], 'foundations': [29], 'mathematics,': [31], 'vol.': [32], '90,': [33], 'North-Holland': [34], 'Publishing': [35], 'Company,': [36], 'Amsterdam,': [37], 'New': [38], 'York,': [39], 'Oxford,': [41], '1978': [42], '(©': [43], '1977),': [44], 'xi': [45], '+': [46], '1165': [47], 'pp.': [48], '-': [49, 58, 70, 85, 99, 110, 121, 133, 148], 'C.': [50], 'Smoryński.': [51], 'D.1.': [52, 125], 'The': [53, 115, 126], 'incompleteness': [54, 142], 'theorems.': [55], 'Pp.': [56, 68, 83, 97, 108, 119, 131, 146], '821–865.': [57], 'Helmut': [59], 'Schwichtenberg.': [60], 'D.2.': [61], 'Proof': [62], 'theory:': [63], 'some': [64], 'applications': [65], 'cut-elimination.': [67], '867–895.': [69], 'Richard': [71], 'Statman.': [72], 'D.3.': [73], "Herbrand's": [74], 'theorem': [75], "Gentzen's": [77], 'notion': [78], 'a': [80], 'direct': [81], 'proof.': [82], '897–912.': [84], 'Solomon': [86], 'Feferman.': [87], 'D.4.': [88], 'Theories': [89], 'finite': [91], 'type': [92, 127], 'related': [93], 'to': [94], 'practice.': [96], '913–971.': [98], 'Troelstra.': [102], 'D.5.': [103], 'Aspects': [104], 'constructive': [106], 'mathematics.': [107], '973–1052.': [109], 'Michael': [111], 'P.': [112, 123], 'Fourman.': [113], 'D.6.': [114], 'topoi.': [118], '1053–1090.': [120], 'Henk': [122], 'Barendregt.': [124], 'free': [128], 'lambda': [129], 'calculus.': [130], '1091–1132.': [132], 'Jeff': [134], 'Paris': [135], 'Leo': [137], 'Harrington.': [138], 'D.8.': [139], 'A': [140], 'Peano': [144], 'arithmetic.': [145], '1133–1142.': [147], 'Volume': [149], '49': [150], 'Issue': [151], '3': [152]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W1602067282', 'counts_by_year': [{'year': 2021, 'cited_by_count': 4}, {'year': 2020, 'cited_by_count': 7}, {'year': 2019, 'cited_by_count': 10}, {'year': 2018, 'cited_by_count': 5}, {'year': 2017, 'cited_by_count': 17}, {'year': 2016, 'cited_by_count': 22}, {'year': 2015, 'cited_by_count': 16}, {'year': 2014, 'cited_by_count': 27}, {'year': 2013, 'cited_by_count': 22}, {'year': 2012, 'cited_by_count': 25}], 'updated_date': '2024-09-16T20:17:41.604016', 'created_date': '2016-06-24'}