{"id":"https://openalex.org/W2030001795","doi":"https://doi.org/10.1305/ndjfl/1093635082","title":"Isomorphic but not lower base-isomorphic cylindric algebras of finite dimension.","display_name":"Isomorphic but not lower base-isomorphic cylindric algebras of finite dimension.","publication_year":1989,"publication_date":"1989-03-01","ids":{"openalex":"https://openalex.org/W2030001795","doi":"https://doi.org/10.1305/ndjfl/1093635082","mag":"2030001795"},"language":"en","primary_location":{"id":"doi:10.1305/ndjfl/1093635082","is_oa":false,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093635082","pdf_url":null,"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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5060124496","display_name":"Bal\u00e1zs Bir\u00f3","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Bal\u00e1zs Bir\u00f3","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5060124496"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.7874,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.61649874,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"30","issue":"2","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11673","display_name":"Advanced Topics in Algebra","score":0.9667999744415283,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11673","display_name":"Advanced Topics in Algebra","score":0.9667999744415283,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.6613180041313171},{"id":"https://openalex.org/keywords/dimension","display_name":"Dimension (graph theory)","score":0.6350270509719849},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6277328133583069},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.44952383637428284},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.39520734548568726},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3680720329284668},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3231660723686218},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.07768815755844116}],"concepts":[{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.6613180041313171},{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.6350270509719849},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6277328133583069},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.44952383637428284},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.39520734548568726},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3680720329284668},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3231660723686218},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.07768815755844116}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1305/ndjfl/1093635082","is_oa":false,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093635082","pdf_url":null,"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/1093635082","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.ndjfl/1093635082","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":2,"referenced_works":["https://openalex.org/W1528931898","https://openalex.org/W2059078533"],"related_works":["https://openalex.org/W2980963558","https://openalex.org/W1882246857","https://openalex.org/W3103304230","https://openalex.org/W2185360082","https://openalex.org/W1992365905","https://openalex.org/W4287664878","https://openalex.org/W3212023493","https://openalex.org/W1991411408","https://openalex.org/W4288278856","https://openalex.org/W2572370460"],"abstract_inverted_index":{"This":[0],"article":[1],"deals":[2],"with":[3,128,180,268],"Sereny's":[4,41],"theorem":[5,25,42,101,156,163,196,238],"giving":[6],"sufficient":[7],"conditions":[8,46,235],"for":[9,114,121,126],"two":[10,170],"cylindric":[11,20,117],"set":[12,118],"algebras":[13,122,213],"(Cs's)":[14],"to":[15,124,158],"be":[16,215,220],"lower":[17,70,190],"base-isomorphic,":[18],"a":[19,135,147,189,267],"algebra":[21],"version":[22,98,152],"of":[23,29,32,53,56,59,73,82,99,105,108,153,164,216,257],"Vaught's":[24,100],"on":[26,246],"the":[27,45,51,54,57,60,83,95,103,154,161,209,212,253,264],"existence":[28,104],"prime":[30,106],"models":[31,107,125],"atomic":[33,109,181],"theories":[34,110],"in":[35,48,138,146,194,202,236],"countable":[36],"languages.It":[37],"is":[38,63,86,160,188,197,222,244],"proved":[39,64,229],"that":[40,94,208,211,225,261],"requires":[43],"all":[44,185,233],"given":[47,61],"its":[49],"statement.Here":[50],"necessity":[52],"condition":[55,210],"infinite-dimensionality":[58],"Cs's":[62,72,179],"via":[65],"constructing":[66],"isomorphic":[67],"but":[68],"not":[69,112],"base-isomorphic":[71],"any":[74],"finite":[75,115,178,186],"dimension":[76,218],"greater":[77],"than":[78],"one.A":[79],"model-theoretical":[80],"corollary":[81],"above":[84,159],"dependence":[85],"stated":[87],"also.In":[88],"this":[89,144,195,230,237],"paper":[90],"we":[91,226,251,262],"will":[92,206],"prove":[93],"(cylindric)":[96],"algebraic":[97,151],"concerning":[102],"does":[111],"hold":[113],"dimensional":[116,172],"algebras,":[119],"i.e.":[120],"corresponding":[123],"languages":[127],"finitely":[129],"many":[130],"variable":[131],"symbols,":[132],"partly":[133],"solving":[134],"problem":[136],"posed":[137],"[4]":[139],"and":[140,176,200,204,241,248,255],"[9].Let":[141],"us":[142],"see":[143],"statement":[145],"little":[148],"more":[149],"detail.The":[150],"Vaught":[155],"referred":[157],"following":[162],"Sereny":[165],"[10]:":[166],"Any":[167],"isomorphism":[168],"between":[169],"infinite":[171,217],"countably":[173],"generated":[174],"regular":[175],"locally":[177],"neat":[182],"n-reducts":[183],"(for":[184],"n)":[187],"base-isomorphism.(The":[191],"notation":[192,256],"used":[193],"defined":[198],"below,":[199],"also":[201],"[6]":[203,247],"[7].)We":[205],"show":[207],"concerned":[214],"cannot":[219],"dropped.It":[221],"worth":[223],"adding":[224],"have":[227],"already":[228],"fact":[231],"about":[232],"other":[234],"(cf.[2],":[239],"[3],":[240],"[4]).Our":[242],"treatment":[243],"based":[245],"[7];":[249],"consequently,":[250],"follow":[252],"terminology":[254],"these":[258],"volumes":[259],"except":[260],"denote":[263],"full":[265],"Cs":[266],"base":[269],"U":[270],"by":[271]},"counts_by_year":[{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}