{"id":"https://openalex.org/W2005764387","doi":"https://doi.org/10.2307/2274092","title":"Model companions for finitely generated universal Horn classes","display_name":"Model companions for finitely generated universal Horn classes","publication_year":1984,"publication_date":"1984-03-01","ids":{"openalex":"https://openalex.org/W2005764387","doi":"https://doi.org/10.2307/2274092","mag":"2005764387"},"language":"en","primary_location":{"id":"doi:10.2307/2274092","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2274092","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","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/A5060761505","display_name":"Stanley Burris","orcid":null},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Stanley Burris","raw_affiliation_strings":["University of Waterloo, Waterloo, Ontario, Canada N2L 3G1","(University of Waterloo)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Waterloo, Waterloo, Ontario, Canada N2L 3G1","institution_ids":["https://openalex.org/I151746483"]},{"raw_affiliation_string":"(University of Waterloo)","institution_ids":["https://openalex.org/I151746483"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5060761505"],"corresponding_institution_ids":["https://openalex.org/I151746483"],"apc_list":null,"apc_paid":null,"fwci":2.7201,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.90063061,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"49","issue":"1","first_page":"68","last_page":"74"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9951000213623047,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9951000213623047,"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.9726999998092651,"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.9559999704360962,"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/french-horn","display_name":"French horn","score":0.8097355365753174},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.7151994705200195},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6906063556671143},{"id":"https://openalex.org/keywords/embedding","display_name":"Embedding","score":0.5914607644081116},{"id":"https://openalex.org/keywords/section","display_name":"Section (typography)","score":0.5776438117027283},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.5684480667114258},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5387369990348816},{"id":"https://openalex.org/keywords/categorical-variable","display_name":"Categorical variable","score":0.45248040556907654},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3976025879383087},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3514890968799591},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2485477328300476},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.06167218089103699}],"concepts":[{"id":"https://openalex.org/C152076505","wikidata":"https://www.wikidata.org/wiki/Q1126540","display_name":"French horn","level":2,"score":0.8097355365753174},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.7151994705200195},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6906063556671143},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.5914607644081116},{"id":"https://openalex.org/C2780129039","wikidata":"https://www.wikidata.org/wiki/Q1931107","display_name":"Section (typography)","level":2,"score":0.5776438117027283},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.5684480667114258},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5387369990348816},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.45248040556907654},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3976025879383087},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3514890968799591},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2485477328300476},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.06167218089103699},{"id":"https://openalex.org/C19417346","wikidata":"https://www.wikidata.org/wiki/Q7922","display_name":"Pedagogy","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2307/2274092","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2274092","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:CULeuclid:euclid.jsl/1183741476","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183741476","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":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W2002664755","https://openalex.org/W2012220559","https://openalex.org/W2023648368","https://openalex.org/W2030157699","https://openalex.org/W2078542611","https://openalex.org/W4249881812","https://openalex.org/W4293176479","https://openalex.org/W6831316203"],"related_works":["https://openalex.org/W2560853036","https://openalex.org/W2566696415","https://openalex.org/W1563787543","https://openalex.org/W4386799044","https://openalex.org/W2773208253","https://openalex.org/W4249026152","https://openalex.org/W2560646951","https://openalex.org/W2152550326","https://openalex.org/W4320074517","https://openalex.org/W2071516466"],"abstract_inverted_index":{"Abstract":[0],"In":[1,85],"an":[2],"earlier":[3],"paper":[4],"we":[5,89],"proved":[6],"that":[7],"a":[8,19,39,81],"universal":[9,65,75,99],"Horn":[10,66,76,100],"class":[11,67,77],"generated":[12,79,102],"by":[13,80,103],"finitely":[14,27],"many":[15,28],"finite":[16,83],"structures":[17],"has":[18,25,68],"model":[20,36,53,96],"companion.":[21],"If":[22],"the":[23,32,35,52,64,69,74,86,95,110],"language":[24],"only":[26],"fundamental":[29],"operations":[30],"then":[31],"theory":[33,50],"of":[34,43,51,98,112],"companion":[37,54],"admits":[38],"primitive":[40,47],"recursive":[41],"elimination":[42],"quantifiers":[44],"and":[45,114],"is":[46,55,61,78],"recursive.":[48],"The":[49],"\u2135":[56],"0":[57],"-categorical":[58],"iff":[59,63,73],"it":[60],"complete":[62,105],"joint":[70],"embedding":[71],"property":[72],"single":[82],"structure.":[84],"last":[87],"section":[88],"look":[90],"at":[91],"structure":[92],"theorems":[93],"for":[94,109],"companions":[97],"classes":[101],"functionally":[104],"algebras,":[106],"in":[107],"particular":[108],"cases":[111],"rings":[113],"groups.":[115]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}