{"id":"https://openalex.org/W2780095722","doi":"https://doi.org/10.1002/malq.201900045","title":"Ultrafilter extensions do not preserve elementary equivalence","display_name":"Ultrafilter extensions do not preserve elementary equivalence","publication_year":2019,"publication_date":"2019-12-01","ids":{"openalex":"https://openalex.org/W2780095722","doi":"https://doi.org/10.1002/malq.201900045","mag":"2780095722"},"language":"en","primary_location":{"id":"doi:10.1002/malq.201900045","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.201900045","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0942-5616","issn":["0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1712.06198","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5052244432","display_name":"Denis I. Saveliev","orcid":"https://orcid.org/0000-0002-0519-2641"},"institutions":[{"id":"https://openalex.org/I4210107660","display_name":"Institute for Information Transmission Problems","ror":"https://ror.org/013w2d378","country_code":"RU","type":"facility","lineage":["https://openalex.org/I4210107660"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"Denis I. Saveliev","raw_affiliation_strings":["Institute for Information Transmission Problems Russian Academy of Sciences Bolshoy Karetny Lane, 19, build. 1 Moscow 127051 Russia"],"raw_orcid":"https://orcid.org/0000-0002-0519-2641","affiliations":[{"raw_affiliation_string":"Institute for Information Transmission Problems Russian Academy of Sciences Bolshoy Karetny Lane, 19, build. 1 Moscow 127051 Russia","institution_ids":["https://openalex.org/I4210107660"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024923217","display_name":"Saharon Shelah","orcid":"https://orcid.org/0000-0003-0462-3152"},"institutions":[{"id":"https://openalex.org/I102322142","display_name":"Rutgers, The State University of New Jersey","ror":"https://ror.org/05vt9qd57","country_code":"US","type":"education","lineage":["https://openalex.org/I102322142"]},{"id":"https://openalex.org/I197251160","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017","country_code":"IL","type":"education","lineage":["https://openalex.org/I197251160"]}],"countries":["IL","US"],"is_corresponding":false,"raw_author_name":"Saharon Shelah","raw_affiliation_strings":["Department of Mathematics Rutgers, The State University of New Jersey Hill Center\u2014Busch Campus, 110 Frelinghuysen Road Piscataway NJ 08854\u20108019 United States of America","Einstein Institute of Mathematics The Hebrew University of Jerusalem Edmond J. Safra Campus, Givat Ram Jerusalem 9190401 Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics Rutgers, The State University of New Jersey Hill Center\u2014Busch Campus, 110 Frelinghuysen Road Piscataway NJ 08854\u20108019 United States of America","institution_ids":["https://openalex.org/I102322142"]},{"raw_affiliation_string":"Einstein Institute of Mathematics The Hebrew University of Jerusalem Edmond J. Safra Campus, Givat Ram Jerusalem 9190401 Israel","institution_ids":["https://openalex.org/I197251160"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5052244432"],"corresponding_institution_ids":["https://openalex.org/I4210107660"],"apc_list":{"value":2630,"currency":"USD","value_usd":2630},"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.03126565,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"65","issue":"4","first_page":"511","last_page":"516"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9962999820709229,"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"}},"topics":[{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9962999820709229,"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/T11673","display_name":"Advanced Topics in Algebra","score":0.970300018787384,"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"}},{"id":"https://openalex.org/T12137","display_name":"Economic theories and models","score":0.9528999924659729,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/ultrafilter","display_name":"Ultrafilter","score":0.9849398732185364},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.7184487581253052},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6949602961540222},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5240873694419861},{"id":"https://openalex.org/keywords/beta","display_name":"BETA (programming language)","score":0.448697566986084},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.37833505868911743},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.09314259886741638}],"concepts":[{"id":"https://openalex.org/C87598191","wikidata":"https://www.wikidata.org/wiki/Q1571831","display_name":"Ultrafilter","level":2,"score":0.9849398732185364},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.7184487581253052},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6949602961540222},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5240873694419861},{"id":"https://openalex.org/C2776174256","wikidata":"https://www.wikidata.org/wiki/Q830842","display_name":"BETA (programming language)","level":2,"score":0.448697566986084},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.37833505868911743},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.09314259886741638},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1002/malq.201900045","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.201900045","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0942-5616","issn":["0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1712.06198","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1712.06198","pdf_url":"https://arxiv.org/pdf/1712.06198","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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":"doi:10.48550/arxiv.1712.06198","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1712.06198","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"},{"id":"mag:2780095722","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1712.06198","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1712.06198","pdf_url":"https://arxiv.org/pdf/1712.06198","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2784556252","display_name":null,"funder_award_id":"17-01-00705","funder_id":"https://openalex.org/F4320321079","funder_display_name":"Russian Foundation for Basic Research"},{"id":"https://openalex.org/G3530225510","display_name":null,"funder_award_id":"338821","funder_id":"https://openalex.org/F4320334678","funder_display_name":"European Research Council"},{"id":"https://openalex.org/G4834733266","display_name":null,"funder_award_id":"17-01-","funder_id":"https://openalex.org/F4320321079","funder_display_name":"Russian Foundation for Basic Research"},{"id":"https://openalex.org/G5823207713","display_name":null,"funder_award_id":"17\u201001\u201000705","funder_id":"https://openalex.org/F4320321079","funder_display_name":"Russian Foundation for Basic Research"}],"funders":[{"id":"https://openalex.org/F4320321079","display_name":"Russian Foundation for Basic Research","ror":"https://ror.org/02mh1ke95"},{"id":"https://openalex.org/F4320334678","display_name":"European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2780095722.pdf"},"referenced_works_count":5,"referenced_works":["https://openalex.org/W1659519226","https://openalex.org/W1764709094","https://openalex.org/W2044038325","https://openalex.org/W2799061192","https://openalex.org/W3208222341"],"related_works":["https://openalex.org/W2995386752","https://openalex.org/W2126859990","https://openalex.org/W2586249268","https://openalex.org/W2995393919","https://openalex.org/W3092294452","https://openalex.org/W2774075737","https://openalex.org/W3105915524","https://openalex.org/W1931954019","https://openalex.org/W2001967220","https://openalex.org/W1956764104","https://openalex.org/W2060856822","https://openalex.org/W2041290640","https://openalex.org/W2018638642","https://openalex.org/W2741318422","https://openalex.org/W2078481702","https://openalex.org/W2949698664","https://openalex.org/W2040708718","https://openalex.org/W2147918975","https://openalex.org/W3030178632","https://openalex.org/W2108343709"],"abstract_inverted_index":{"Abstract":[0],"We":[1],"show":[2],"that":[3,9],"there":[4],"are":[5,18],"models":[6],"and":[7,17],"such":[8],"elementarily":[10,20],"embeds":[11],"into":[12],"but":[13],"their":[14],"ultrafilter":[15],"extensions":[16],"not":[19],"equivalent.":[21]},"counts_by_year":[],"updated_date":"2026-07-01T08:55:40.977307","created_date":"2025-10-10T00:00:00"}