{"id":"https://openalex.org/W1974391479","doi":"https://doi.org/10.1305/ndjfl/1093634409","title":"Unifying some modifications of the Henkin construction.","display_name":"Unifying some modifications of the Henkin construction.","publication_year":1992,"publication_date":"1992-06-01","ids":{"openalex":"https://openalex.org/W1974391479","doi":"https://doi.org/10.1305/ndjfl/1093634409","mag":"1974391479"},"language":"en","primary_location":{"id":"doi:10.1305/ndjfl/1093634409","is_oa":true,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093634409","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-33/issue-3/Unifying-some-modifications-of-the-Henkin-construction/10.1305/ndjfl/1093634409.pdf","source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-33/issue-3/Unifying-some-modifications-of-the-Henkin-construction/10.1305/ndjfl/1093634409.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5083923777","display_name":"George Weaver","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"George Weaver","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5083923777"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6397,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.62574648,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"33","issue":"3","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10221","display_name":"Composite Structure Analysis and Optimization","score":0.7591000199317932,"subfield":{"id":"https://openalex.org/subfields/2211","display_name":"Mechanics of Materials"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10221","display_name":"Composite Structure Analysis and Optimization","score":0.7591000199317932,"subfield":{"id":"https://openalex.org/subfields/2211","display_name":"Mechanics of Materials"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12084","display_name":"Synthesis and properties of polymers","score":0.7384999990463257,"subfield":{"id":"https://openalex.org/subfields/2507","display_name":"Polymers and Plastics"},"field":{"id":"https://openalex.org/fields/25","display_name":"Materials Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11145","display_name":"Epoxy Resin Curing Processes","score":0.6711000204086304,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.374645471572876},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.356728732585907},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3246041238307953}],"concepts":[{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.374645471572876},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.356728732585907},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3246041238307953}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1305/ndjfl/1093634409","is_oa":true,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093634409","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-33/issue-3/Unifying-some-modifications-of-the-Henkin-construction/10.1305/ndjfl/1093634409.pdf","source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","raw_type":"journal-article"},{"id":"pmh:oai:CULeuclid:euclid.ndjfl/1093634409","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.ndjfl/1093634409","pdf_url":null,"source":{"id":"https://openalex.org/S4306400787","display_name":"Project Euclid (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.1305/ndjfl/1093634409","is_oa":true,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093634409","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-33/issue-3/Unifying-some-modifications-of-the-Henkin-construction/10.1305/ndjfl/1093634409.pdf","source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320312387","display_name":"Temple University","ror":"https://ror.org/00kx1jb78"},{"id":"https://openalex.org/F4320320431","display_name":"Australian National University","ror":"https://ror.org/019wvm592"},{"id":"https://openalex.org/F4320321629","display_name":"Dalhousie University","ror":"https://ror.org/01e6qks80"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1974391479.pdf","grobid_xml":"https://content.openalex.org/works/W1974391479.grobid-xml"},"referenced_works_count":8,"referenced_works":["https://openalex.org/W1995714798","https://openalex.org/W2090190027","https://openalex.org/W2091754495","https://openalex.org/W2325569241","https://openalex.org/W2799061192","https://openalex.org/W6649127762","https://openalex.org/W6673127615","https://openalex.org/W6701369858"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W4245490552","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W1587224694","https://openalex.org/W2042127053","https://openalex.org/W2142036596"],"abstract_inverted_index":{"This":[0],"paper":[1,51],"is":[2,61,105],"a":[3,28,34,40,106],"continuation":[4],"of":[5,8,31,54,74,88,96,109],"the":[6,16,52,89,92,98,101,116,130],"work":[7],"Leblanc,":[9],"Roeper,":[10],"Thau,":[11],"and":[12,23,43,70,94,115],"Weaver,":[13],"which":[14],"modified":[15],"Henkin":[17,75,82],"construction":[18,76],"to":[19,39,63,84,100,128],"yield":[20,85,129],"various":[21],"necessary":[22],"sufficient":[24],"conditions":[25],"for":[26,68,112],"extending":[27],"consistent":[29,42],"set":[30,45],"sentences":[32],"in":[33,46],"countable":[35],"first":[36],"order":[37],"language":[38],"maximally":[41],"-complete":[44,120],"that":[47,103,118],"language.":[48],"In":[49],"this":[50],"theory":[53],"abstract":[55,66,86,125],"deducibility":[56],"relations":[57],"introduced":[58],"by":[59,79],"Goldblatt":[60],"extended":[62],"provide":[64],"an":[65],"setting":[67],"these":[69],"related":[71],"results.":[72],"Modifications":[73],"are":[77,122],"replaced":[78],"Goldblatt's":[80],"Countable":[81],"Principle":[83],"forms":[87],"-completeness":[90],"theorem,":[91],"soundness":[93],"completeness":[95],"-logic,":[97],"theorem":[99,117],"effect":[102],"-logic":[104],"conservative":[107],"extension":[108],"standard":[110],"logic":[111],"complete":[113],"sets,":[114],"all":[119],"sets":[121],"-consistent.":[123],"These":[124],"results":[126],"specialize":[127],"corresponding":[131],"\"concrete\"":[132],"ones.":[133]},"counts_by_year":[{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}