{"id":"https://openalex.org/W2061060701","doi":"https://doi.org/10.2307/2272165","title":"L(Q)-preservation theorems","display_name":"L(Q)-preservation theorems","publication_year":1975,"publication_date":"1975-09-01","ids":{"openalex":"https://openalex.org/W2061060701","doi":"https://doi.org/10.2307/2272165","mag":"2061060701"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.2307/2272165","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"The Journal of Symbolic Logic","issn_l":"0022-4812","issn":["1943-5886","0022-4812"],"is_oa":false,"is_in_doaj":false,"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,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://freidok.uni-freiburg.de/fedora/objects/freidok:4394/datastreams/FILE1/content","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5057233368","display_name":"J\u00f6rg Flum","orcid":null},"institutions":[{"id":"https://openalex.org/I161046081","display_name":"University of Freiburg","ror":"https://ror.org/0245cg223","country_code":"DE","type":"education","lineage":["https://openalex.org/I161046081"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"J\u00f6rg Flum","raw_affiliation_string":"Mathematisches Institut der Albert-Ludwigs-Universit\u00e4t, 78 Freiburg, Germany","raw_affiliation_strings":["Mathematisches Institut der Albert-Ludwigs-Universit\u00e4t, 78 Freiburg, Germany"]}],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5057233368"],"corresponding_institution_ids":["https://openalex.org/I161046081"],"apc_list":null,"apc_paid":null,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":0,"cited_by_percentile_year":{"min":0,"max":63},"biblio":{"volume":"40","issue":"3","first_page":"410","last_page":"418"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Fuzzy Logic and Residuated Lattices","score":0.9975,"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":"Fuzzy Logic and Residuated Lattices","score":0.9975,"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/T11151","display_name":"Model Theory and Topological Dynamics","score":0.9868,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11703","display_name":"Study of properties and structures of commutative rings","score":0.9864,"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":[],"concepts":[{"id":"https://openalex.org/C87598191","wikidata":"https://www.wikidata.org/wiki/Q1571831","display_name":"Ultrafilter","level":2,"score":0.95192957},{"id":"https://openalex.org/C78023250","wikidata":"https://www.wikidata.org/wiki/Q657596","display_name":"Unary operation","level":2,"score":0.8149708},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7288335},{"id":"https://openalex.org/C87117476","wikidata":"https://www.wikidata.org/wiki/Q362383","display_name":"Cardinality (data modeling)","level":2,"score":0.6185622},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5485691},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5311526},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.5254209},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4657154},{"id":"https://openalex.org/C138890893","wikidata":"https://www.wikidata.org/wiki/Q620006","display_name":"Order type","level":2,"score":0.46277463},{"id":"https://openalex.org/C167930466","wikidata":"https://www.wikidata.org/wiki/Q1535225","display_name":"Ultraproduct","level":2,"score":0.4516848},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.4510483},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.43713304},{"id":"https://openalex.org/C89507440","wikidata":"https://www.wikidata.org/wiki/Q1193137","display_name":"Regular cardinal","level":2,"score":0.43160784},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.10737255},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.2307/2272165","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"The Journal of Symbolic Logic","issn_l":"0022-4812","issn":["1943-5886","0022-4812"],"is_oa":false,"is_in_doaj":false,"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,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"http://nbn-resolving.de/urn:nbn:de:bsz:25-opus-43941","pdf_url":"https://freidok.uni-freiburg.de/fedora/objects/freidok:4394/datastreams/FILE1/content","source":{"id":"https://openalex.org/S4306401057","display_name":"FreiDok plus (Universit\u00e4tsbibliothek Freiburg)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"host_organization":"https://openalex.org/I161046081","host_organization_name":"University of Freiburg","host_organization_lineage":["https://openalex.org/I161046081"],"host_organization_lineage_names":["University of Freiburg"],"type":"repository"},"license":null,"version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":true,"landing_page_url":"https://www.freidok.uni-freiburg.de/dnb/download/4394","pdf_url":"https://www.freidok.uni-freiburg.de/dnb/download/4394","source":{"id":"https://openalex.org/S4306401057","display_name":"FreiDok plus (Universit\u00e4tsbibliothek Freiburg)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"host_organization":"https://openalex.org/I161046081","host_organization_name":"University of Freiburg","host_organization_lineage":["https://openalex.org/I161046081"],"host_organization_lineage_names":["University of Freiburg"],"type":"repository"},"license":null,"version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"http://nbn-resolving.de/urn:nbn:de:bsz:25-opus-43941","pdf_url":"https://freidok.uni-freiburg.de/fedora/objects/freidok:4394/datastreams/FILE1/content","source":{"id":"https://openalex.org/S4306401057","display_name":"FreiDok plus (Universit\u00e4tsbibliothek Freiburg)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"host_organization":"https://openalex.org/I161046081","host_organization_name":"University of Freiburg","host_organization_lineage":["https://openalex.org/I161046081"],"host_organization_lineage_names":["University of Freiburg"],"type":"repository"},"license":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[],"referenced_works_count":5,"referenced_works":["https://openalex.org/W110169430","https://openalex.org/W1511526676","https://openalex.org/W1555138513","https://openalex.org/W2010922301","https://openalex.org/W2131621940"],"related_works":["https://openalex.org/W2002971968","https://openalex.org/W2897172575","https://openalex.org/W2059089698","https://openalex.org/W3041130254","https://openalex.org/W2137133811","https://openalex.org/W2963910224","https://openalex.org/W2279499033","https://openalex.org/W4253415834","https://openalex.org/W2147918975","https://openalex.org/W1980613621"],"ngrams_url":"https://api.openalex.org/works/W2061060701/ngrams","abstract_inverted_index":{"Much":[0],"effort":[1],"has":[2,69],"been":[3],"spent":[4],"to":[5],"prove":[6,101],"that":[7,159,174],"the":[8,17,34,58,93,126,130,135,164,175],"reduced":[9],"product":[10],"operation":[11],"preserves,":[12],"and":[13,79,121],"sometimes":[14],"even":[15],"strengthens":[16],"L":[18,23],"-equivalence":[19,166],"of":[20,104],"structures,":[21],"where":[22,90,123],"is":[24,31,40,54,66,84,92,113,125,144,161,167,178,180],"some":[25,102],"infinitary":[26],"language.":[27],"A":[28],"similar":[29],"result":[30],"suggested":[32],"by":[33,74,133],"following":[35],"well-known":[36],"fact:":[37],"Assume":[38],"D":[39,65,112,143],"a":[41,55,70,85,114,152],"nonprincipal":[42,115],"ultrafilter":[43,116],"on":[44],"\u03c9":[45,50,61],"and,":[46],"for":[47],"n":[48,53,63],"\u0404":[49],",":[51],"C":[52,62],"set.":[56],"If":[57],"ultra-product":[59],"\u03a0":[60],"/":[64],"infinite,":[67],"it":[68],"cardinality":[71],"\u2265":[72],"Hence,":[73],"\u0141os'":[75],"theorem,":[76],"(i)":[77],"if":[78,111,142,160],"\u03c6":[80],"(":[81],"x":[82],")":[83],"first-order":[86,131],"formula,":[87],"then":[88,122,163],"iff":[89],"Q":[91,137],"unary":[94],"quantifier":[95,136],"\u201cthere":[96],"are":[97],"many.\u201d":[98],"We":[99,172],"shall":[100],"generalizations":[103],"(i).":[105],"In":[106],"particular,":[107],"we":[108],"show":[109,173],"(ii)":[110,139],"over":[117,151],"I":[118,154],"=":[119],"\u03c9,":[120],"L(Q)":[124,165],"language":[127,132],"obtained":[128],"from":[129],"adding":[134],".":[138,155],"remains":[140],"true,":[141],"an":[145,148],"\u03c9-regular":[146],"or":[147],"atomless":[149],"filter":[150],"set":[153],"Lipner":[156],"[7]":[157],"proved":[158],"regular,":[162],"preserved":[168],"under":[169],"direct":[170],"products.":[171],"assumption":[176],"\u201c":[177],"regular\u201d":[179],"necessary.":[181]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2061060701","counts_by_year":[],"updated_date":"2024-03-21T13:39:38.687047","created_date":"2016-06-24"}