{"id":"https://openalex.org/W2004429904","doi":"https://doi.org/10.2307/2273597","title":"Model companions of distributive <i>p</i>-algebras","display_name":"Model companions of distributive <i>p</i>-algebras","publication_year":1982,"publication_date":"1982-09-01","ids":{"openalex":"https://openalex.org/W2004429904","doi":"https://doi.org/10.2307/2273597","mag":"2004429904"},"language":"en","primary_location":{"id":"doi:10.2307/2273597","is_oa":true,"landing_page_url":"https://doi.org/10.2307/2273597","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/5DC2DEDFED9A20F32E2470D2CD8C522A/S0022481200044042a.pdf/div-class-title-model-companions-of-distributive-span-class-italic-p-span-algebras-div.pdf","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","datacite"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/5DC2DEDFED9A20F32E2470D2CD8C522A/S0022481200044042a.pdf/div-class-title-model-companions-of-distributive-span-class-italic-p-span-algebras-div.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5080125701","display_name":"J\u00fcrg Schmid","orcid":"https://orcid.org/0000-0002-6265-7660"},"institutions":[{"id":"https://openalex.org/I118564535","display_name":"University of Bern","ror":"https://ror.org/02k7v4d05","country_code":"CH","type":"education","lineage":["https://openalex.org/I118564535"]}],"countries":["CH"],"is_corresponding":true,"raw_author_name":"J\u00fcrg Schmid","raw_affiliation_strings":["Universit\u00e4t Bern, Bern, Switzerland","Universit\u00e4t Bern\u2020"],"affiliations":[{"raw_affiliation_string":"Universit\u00e4t Bern, Bern, Switzerland","institution_ids":["https://openalex.org/I118564535"]},{"raw_affiliation_string":"Universit\u00e4t Bern\u2020","institution_ids":["https://openalex.org/I118564535"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5080125701"],"corresponding_institution_ids":["https://openalex.org/I118564535"],"apc_list":null,"apc_paid":null,"fwci":0.9873,"has_fulltext":true,"cited_by_count":11,"citation_normalized_percentile":{"value":0.81056735,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"47","issue":"3","first_page":"680","last_page":"688"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9886000156402588,"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.9886000156402588,"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.9693999886512756,"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/T10142","display_name":"Formal Methods in Verification","score":0.9664000272750854,"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/distributive-property","display_name":"Distributive property","score":0.7620386481285095},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6695186495780945},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.558398962020874},{"id":"https://openalex.org/keywords/homogeneous","display_name":"Homogeneous","score":0.5413801670074463},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.43114182353019714},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.38699963688850403},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.32600128650665283},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.19703251123428345},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.06373867392539978}],"concepts":[{"id":"https://openalex.org/C11821877","wikidata":"https://www.wikidata.org/wiki/Q187959","display_name":"Distributive property","level":2,"score":0.7620386481285095},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6695186495780945},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.558398962020874},{"id":"https://openalex.org/C66882249","wikidata":"https://www.wikidata.org/wiki/Q169336","display_name":"Homogeneous","level":2,"score":0.5413801670074463},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.43114182353019714},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.38699963688850403},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.32600128650665283},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.19703251123428345},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.06373867392539978}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.2307/2273597","is_oa":true,"landing_page_url":"https://doi.org/10.2307/2273597","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/5DC2DEDFED9A20F32E2470D2CD8C522A/S0022481200044042a.pdf/div-class-title-model-companions-of-distributive-span-class-italic-p-span-algebras-div.pdf","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/1183741095","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183741095","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"},{"id":"pmh:oai:boris.unibe.ch:115327","is_oa":true,"landing_page_url":"https://boris.unibe.ch/115327/","pdf_url":null,"source":{"id":"https://openalex.org/S4306401086","display_name":"Bern Open Repository and Information System (University of Bern)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I118564535","host_organization_name":"University of Bern","host_organization_lineage":["https://openalex.org/I118564535"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Schmid, J\u00fcrg (1982). Model companions of distributive p-algebras. The journal of symbolic logic, 47(3), pp. 680-688. Cambridge University Press 10.2307/2273597 &lt;http://dx.doi.org/10.2307/2273597&gt;","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:doc.rero.ch:297346","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400148","display_name":"reroDoc Digital Library","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"doi:10.7892/boris.115327","is_oa":true,"landing_page_url":"https://doi.org/10.7892/boris.115327","pdf_url":null,"source":{"id":"https://openalex.org/S7407053152","display_name":"Open Access CRIS of the University of Bern","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.2307/2273597","is_oa":true,"landing_page_url":"https://doi.org/10.2307/2273597","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/5DC2DEDFED9A20F32E2470D2CD8C522A/S0022481200044042a.pdf/div-class-title-model-companions-of-distributive-span-class-italic-p-span-algebras-div.pdf","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"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2004429904.pdf","grobid_xml":"https://content.openalex.org/works/W2004429904.grobid-xml"},"referenced_works_count":12,"referenced_works":["https://openalex.org/W1484200610","https://openalex.org/W2010398234","https://openalex.org/W2011522190","https://openalex.org/W2026310954","https://openalex.org/W2029031961","https://openalex.org/W2044540217","https://openalex.org/W2086984382","https://openalex.org/W2094670650","https://openalex.org/W2127118415","https://openalex.org/W2154801638","https://openalex.org/W4230539497","https://openalex.org/W4291439952"],"related_works":["https://openalex.org/W1978042415","https://openalex.org/W3154129246","https://openalex.org/W3134723363","https://openalex.org/W1994589449","https://openalex.org/W2371101167","https://openalex.org/W2327776733","https://openalex.org/W2594224074","https://openalex.org/W2065880152","https://openalex.org/W2741030450","https://openalex.org/W2088544526"],"abstract_inverted_index":{"Let":[0],"B":[1,38,137,145,158,177,185,192,198,214,243,256,269,286,290,301,306,347,372],"n":[2,6,36,39,64,70,119,138,146,159,178,186,193,199,209,215,244,257,270,277,318,348,373],",":[3,9,278,309,310,315,321],"0":[4,66,207,287,302],"\u2264":[5,7,317,319],"\u03c9":[8,211,320],"be":[10,247],"the":[11,32,50,61,76,81,84,90,117,133,152,168,173,238,281,294,335,342,357,367],"equational":[12],"classes":[13,174],"of":[14,37,57,63,83,101,113,140,144,155,171,180,189,231,236,240,253,283,298,327,369],"distributive":[15],"p":[16],"-algebras":[17],"(precise":[18],"definitions":[19,188],"are":[20,201,259],"given":[21,52,202],"in":[22,166,184,203,344,363],"\u00a71).":[23],"It":[24],"has":[25],"been":[26],"known":[27,296],"for":[28,104,205,275,314],"some":[29],"time":[30],"that":[31,334],"elementary":[33,153],"theories":[34,282,297],"T":[35],"possess":[40],"model":[41],"companions":[42],";":[43],"see,":[44],"e.g.,":[45],"[6]":[46],"and":[47,49,69,195,261,279],"[14]":[48],"references":[51],"there.":[53],"However,":[54],"no":[55],"axiomatizations":[56],"were":[58],"given,":[59],"with":[60,293,332],"exception":[62],"=":[65,71],"(Boolean":[67],"case)":[68],"1":[72,291,307],"(Stonian":[73],"case).":[74],"While":[75],"first":[77],"case":[78,92],"belongs":[79],"to":[80,108,116,125,131,219,340,365],"folklore":[82],"subject":[85],"(see":[86,96],"[6],":[87],"also":[88],"[11]),":[89],"second":[91],"presented":[93],"considerable":[94],"difficulties":[95],"Schmitt":[97],"[13]).":[98],"Schmitt's":[99],"use":[100],"methods":[102],"characteristic":[103],"Stone":[105],"algebras":[106,183,343],"seems":[107],"prevent":[109],"a":[110,127,311],"ready":[111],"adaptation":[112],"his":[114],"results":[115],"cases":[118],"\u2265":[120],"2.":[121],"The":[122,161,324],"natural":[123],"way":[124],"get":[126],"hold":[128],"on":[129,356],"is":[130,217,272,322,330,351],"determine":[132],"class":[134],"E":[135,156,196,254,299,304,345],"(":[136,157,176,191,197,242,255,268,285,300,305,346,371],")":[139,179,194,200,216,245,258,271,292,349],"existentially":[141],"complete":[142],"members":[143,239,252,368],":":[147],"Since":[148],"exists,":[149],"it":[150,222,264],"equals":[151],"theory":[154],").":[160,374],"present":[162],"author":[163],"succeeded":[164],"[12]":[165,364],"solving":[167],"simpler":[169],"problem":[170],"determining":[172],"A":[175,190,241,267,284,370],"algebraically":[181],"closed":[182],"(exact":[187],"\u00a71)":[204],"all":[206,251,276],"&gt;":[208],"&lt;":[210],".":[212],"A(":[213,289],"easier":[218],"handle":[220],"since":[221],"contains":[223],"sufficiently":[224],"many":[225],"\u201csmall\u201d":[226],"algebras-viz.":[227],"finite":[228],"direct":[229],"products":[230],"certain":[232],"subdirectly":[233],"irreducibles-in":[234],"terms":[235],"which":[237],"may":[246],"analyzed":[248],"(in":[249],"contrast,":[250],"infinite":[260],"\u2135-homogeneous).":[262],"As":[263],"turns":[265],"out,":[266],"finitely":[273],"axiomatizable":[274],"comparing":[280],"),":[288,303],"explicitly":[295],")-viz.":[308],"reasonable":[312],"conjecture":[313],"2":[316],"immediate.":[323],"main":[325],"part":[326],"this":[328],"paper":[329],"concerned":[331],"verifying":[333],"conditions":[336],"formalized":[337],"by":[338],"suffice":[339],"describe":[341,366],"(necessity":[350],"easy).":[352],"This":[353],"verification":[354],"rests":[355],"same":[358],"combinatorial":[359],"techniques":[360],"as":[361],"used":[362]},"counts_by_year":[{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}