{"id":"https://openalex.org/W2317184677","doi":"https://doi.org/10.1017/bsl.2013.4","title":"CIRCULARITY IN SOUNDNESS AND COMPLETENESS","display_name":"CIRCULARITY IN SOUNDNESS AND COMPLETENESS","publication_year":2014,"publication_date":"2014-03-01","ids":{"openalex":"https://openalex.org/W2317184677","doi":"https://doi.org/10.1017/bsl.2013.4","mag":"2317184677"},"language":"en","primary_location":{"id":"doi:10.1017/bsl.2013.4","is_oa":true,"landing_page_url":"https://doi.org/10.1017/bsl.2013.4","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/1509962E395E209296C99093D17DB48A/S1079898613000048a.pdf/div-class-title-circularity-in-soundness-and-completeness-div.pdf","source":{"id":"https://openalex.org/S130801046","display_name":"Bulletin of Symbolic Logic","issn_l":"1079-8986","issn":["1079-8986","1943-5894"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Bulletin of Symbolic Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/1509962E395E209296C99093D17DB48A/S1079898613000048a.pdf/div-class-title-circularity-in-soundness-and-completeness-div.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5113039938","display_name":"Richard Kaye","orcid":null},"institutions":[{"id":"https://openalex.org/I79619799","display_name":"University of Birmingham","ror":"https://ror.org/03angcq70","country_code":"GB","type":"education","lineage":["https://openalex.org/I79619799"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"RICHARD KAYE","raw_affiliation_strings":["SCHOOL OF MATHEMATICS UNIVERSITY OF BIRMINGHAM BIRMINGHAM B15 2TT, UKE-mail:"],"affiliations":[{"raw_affiliation_string":"SCHOOL OF MATHEMATICS UNIVERSITY OF BIRMINGHAM BIRMINGHAM B15 2TT, UKE-mail:","institution_ids":["https://openalex.org/I79619799"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5113039938"],"corresponding_institution_ids":["https://openalex.org/I79619799"],"apc_list":null,"apc_paid":null,"fwci":0.3111,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.69517449,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"20","issue":"1","first_page":"24","last_page":"38"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10258","display_name":"Philosophy and Theoretical Science","score":0.9843999743461609,"subfield":{"id":"https://openalex.org/subfields/3205","display_name":"Experimental and Cognitive Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10258","display_name":"Philosophy and Theoretical Science","score":0.9843999743461609,"subfield":{"id":"https://openalex.org/subfields/3205","display_name":"Experimental and Cognitive Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9807999730110168,"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.977400004863739,"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/soundness","display_name":"Soundness","score":0.9659104347229004},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.8937548398971558},{"id":"https://openalex.org/keywords/argument","display_name":"Argument (complex analysis)","score":0.6065995097160339},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.5405982136726379},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4557255804538727},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.42459559440612793},{"id":"https://openalex.org/keywords/g\u00f6dels-completeness-theorem","display_name":"G\u00f6del's completeness theorem","score":0.4166601300239563},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3873157203197479},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.24972054362297058},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.21006646752357483},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1900748312473297},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.04184439778327942}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.9659104347229004},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.8937548398971558},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.6065995097160339},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.5405982136726379},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4557255804538727},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.42459559440612793},{"id":"https://openalex.org/C200116569","wikidata":"https://www.wikidata.org/wiki/Q902052","display_name":"G\u00f6del's completeness theorem","level":2,"score":0.4166601300239563},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3873157203197479},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.24972054362297058},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.21006646752357483},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1900748312473297},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.04184439778327942},{"id":"https://openalex.org/C126322002","wikidata":"https://www.wikidata.org/wiki/Q11180","display_name":"Internal medicine","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/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1017/bsl.2013.4","is_oa":true,"landing_page_url":"https://doi.org/10.1017/bsl.2013.4","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/1509962E395E209296C99093D17DB48A/S1079898613000048a.pdf/div-class-title-circularity-in-soundness-and-completeness-div.pdf","source":{"id":"https://openalex.org/S130801046","display_name":"Bulletin of Symbolic Logic","issn_l":"1079-8986","issn":["1079-8986","1943-5894"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Bulletin of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/6cf6f5a7-1534-4e03-a945-708d762d1f18","is_oa":false,"landing_page_url":"http://www.journals.cambridge.org/abstract_S1079898613000048","pdf_url":null,"source":{"id":"https://openalex.org/S4306402634","display_name":"University of Birmingham Research Portal (University of Birmingham)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79619799","host_organization_name":"University of Birmingham","host_organization_lineage":["https://openalex.org/I79619799"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"doi:10.1017/bsl.2013.4","is_oa":true,"landing_page_url":"https://doi.org/10.1017/bsl.2013.4","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/1509962E395E209296C99093D17DB48A/S1079898613000048a.pdf/div-class-title-circularity-in-soundness-and-completeness-div.pdf","source":{"id":"https://openalex.org/S130801046","display_name":"Bulletin of Symbolic Logic","issn_l":"1079-8986","issn":["1079-8986","1943-5894"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Bulletin of Symbolic Logic","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.49000000953674316,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2317184677.pdf","grobid_xml":"https://content.openalex.org/works/W2317184677.grobid-xml"},"referenced_works_count":23,"referenced_works":["https://openalex.org/W56358913","https://openalex.org/W195189594","https://openalex.org/W579876958","https://openalex.org/W601500718","https://openalex.org/W1513919859","https://openalex.org/W1541355410","https://openalex.org/W1556453281","https://openalex.org/W1561759431","https://openalex.org/W1597834884","https://openalex.org/W2018895245","https://openalex.org/W2048704331","https://openalex.org/W2074191263","https://openalex.org/W2082393081","https://openalex.org/W2149736013","https://openalex.org/W2319549361","https://openalex.org/W2331346174","https://openalex.org/W2371818109","https://openalex.org/W3127702745","https://openalex.org/W4229690001","https://openalex.org/W4241248063","https://openalex.org/W4242999300","https://openalex.org/W4285719527","https://openalex.org/W4297310457"],"related_works":["https://openalex.org/W13634261","https://openalex.org/W4250462479","https://openalex.org/W3163509751","https://openalex.org/W56937029","https://openalex.org/W2396405675","https://openalex.org/W175051304","https://openalex.org/W2588489179","https://openalex.org/W1549730417","https://openalex.org/W958050847","https://openalex.org/W4233421640"],"abstract_inverted_index":{"Abstract":[0],"We":[1],"raise":[2],"an":[3],"issue":[4],"of":[5,13,18,26],"circularity":[6],"in":[7],"the":[8,11,19,24],"argument":[9],"for":[10,33],"completeness":[12],"first-order":[14],"logic.":[15],"An":[16],"analysis":[17],"problem":[20],"sheds":[21],"light":[22],"on":[23],"development":[25],"mathematics,":[27],"and":[28],"suggests":[29],"other":[30],"possible":[31],"directions":[32],"foundational":[34],"research.":[35]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}