{"id":"https://openalex.org/W1522323295","doi":"https://doi.org/10.1007/s00153-016-0489-4","title":"$$\\mathcal {F}$$ F -finite embeddabilities of sets and ultrafilters","display_name":"$$\\mathcal {F}$$ F -finite embeddabilities of sets and ultrafilters","publication_year":2016,"publication_date":"2016-05-24","ids":{"openalex":"https://openalex.org/W1522323295","doi":"https://doi.org/10.1007/s00153-016-0489-4","mag":"1522323295"},"language":"en","primary_location":{"id":"doi:10.1007/s00153-016-0489-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00153-016-0489-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00153-016-0489-4.pdf","source":{"id":"https://openalex.org/S188076996","display_name":"Archive for Mathematical Logic","issn_l":"0933-5846","issn":["0933-5846","1432-0665"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Archive for Mathematical Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s00153-016-0489-4.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Lorenzo Luperi Baglini","orcid":null},"institutions":[{"id":"https://openalex.org/I129774422","display_name":"University of Vienna","ror":"https://ror.org/03prydq77","country_code":"AT","type":"education","lineage":["https://openalex.org/I129774422"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Lorenzo Luperi Baglini","raw_affiliation_strings":["Faculty of Mathematics, University of Vienna, Oskar-Morgenstern-Platz 1, 1090, Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"Faculty of Mathematics, University of Vienna, Oskar-Morgenstern-Platz 1, 1090, Vienna, Austria","institution_ids":["https://openalex.org/I129774422"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I129774422"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990},"fwci":1.9908,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.81907895,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":97},"biblio":{"volume":"55","issue":"5-6","first_page":"705","last_page":"734"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11329","display_name":"Limits and Structures in Graph Theory","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"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/T11329","display_name":"Limits and Structures in Graph Theory","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"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/T11567","display_name":"semigroups and automata theory","score":0.9983000159263611,"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":"Advanced Topology and Set Theory","score":0.9972000122070312,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/ultrafilter","display_name":"Ultrafilter","score":0.6445000171661377},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5760999917984009},{"id":"https://openalex.org/keywords/characterization","display_name":"Characterization (materials science)","score":0.5396000146865845},{"id":"https://openalex.org/keywords/natural-number","display_name":"Natural number","score":0.5393999814987183},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.529699981212616},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.5083000063896179},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5044000148773193},{"id":"https://openalex.org/keywords/finite-set","display_name":"Finite set","score":0.461899995803833}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.9075999855995178},{"id":"https://openalex.org/C87598191","wikidata":"https://www.wikidata.org/wiki/Q1571831","display_name":"Ultrafilter","level":2,"score":0.6445000171661377},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5760999917984009},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5716999769210815},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5461999773979187},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.5396000146865845},{"id":"https://openalex.org/C184264201","wikidata":"https://www.wikidata.org/wiki/Q21199","display_name":"Natural number","level":2,"score":0.5393999814987183},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.529699981212616},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.5083000063896179},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5044000148773193},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.461899995803833},{"id":"https://openalex.org/C199879729","wikidata":"https://www.wikidata.org/wiki/Q205140","display_name":"Infinite set","level":3,"score":0.38089999556541443},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.3804999887943268},{"id":"https://openalex.org/C89507440","wikidata":"https://www.wikidata.org/wiki/Q1193137","display_name":"Regular cardinal","level":2,"score":0.36000001430511475},{"id":"https://openalex.org/C150591576","wikidata":"https://www.wikidata.org/wiki/Q739925","display_name":"Family of sets","level":3,"score":0.3481999933719635},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.34290000796318054},{"id":"https://openalex.org/C2989065042","wikidata":"https://www.wikidata.org/wiki/Q7378971","display_name":"Algebraic properties","level":2,"score":0.3395000100135803},{"id":"https://openalex.org/C13355873","wikidata":"https://www.wikidata.org/wiki/Q2920850","display_name":"Connection (principal bundle)","level":2,"score":0.3156999945640564},{"id":"https://openalex.org/C18116961","wikidata":"https://www.wikidata.org/wiki/Q734209","display_name":"Generating set of a group","level":2,"score":0.2946999967098236},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.265500009059906},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.26330000162124634},{"id":"https://openalex.org/C17327563","wikidata":"https://www.wikidata.org/wiki/Q1991405","display_name":"Nowhere dense set","level":3,"score":0.2630999982357025},{"id":"https://openalex.org/C128489963","wikidata":"https://www.wikidata.org/wiki/Q1187724","display_name":"Filtration (mathematics)","level":2,"score":0.2542000114917755}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/s00153-016-0489-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00153-016-0489-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00153-016-0489-4.pdf","source":{"id":"https://openalex.org/S188076996","display_name":"Archive for Mathematical Logic","issn_l":"0933-5846","issn":["0933-5846","1432-0665"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Archive for Mathematical Logic","raw_type":"journal-article"},{"id":"pmh:info:fedora/oai:univie.ac.at:o:474761","is_oa":true,"landing_page_url":"https://phaidra.univie.ac.at/o:474761","pdf_url":null,"source":{"id":"https://openalex.org/S4306401993","display_name":"Phaidra (Universit\u00e4t Wien)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I129774422","host_organization_name":"University of Vienna","host_organization_lineage":["https://openalex.org/I129774422"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN:0933-5846","raw_type":"article"},{"id":"pmh:oai:air.unimi.it:2434/651043","is_oa":true,"landing_page_url":"http://hdl.handle.net/2434/651043","pdf_url":null,"source":{"id":"https://openalex.org/S4306400516","display_name":"Archivio Istituzionale della Ricerca (Universita Degli Studi Di Milano)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I189158943","host_organization_name":"University of Milan","host_organization_lineage":["https://openalex.org/I189158943"],"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":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1007/s00153-016-0489-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00153-016-0489-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00153-016-0489-4.pdf","source":{"id":"https://openalex.org/S188076996","display_name":"Archive for Mathematical Logic","issn_l":"0933-5846","issn":["0933-5846","1432-0665"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Archive for Mathematical Logic","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1235431645","display_name":null,"funder_award_id":"M1876-N35","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G1268653534","display_name":null,"funder_award_id":"P25311","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G3324528561","display_name":null,"funder_award_id":"P25311 -N25","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G6257125962","display_name":null,"funder_award_id":"P25311-N25","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G6851087112","display_name":null,"funder_award_id":"M 1876-N35","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G8213709935","display_name":null,"funder_award_id":"P25311-N25 and M1876-N35","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320321691","display_name":"Universit\u00e4t Wien","ror":"https://ror.org/03prydq77"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1522323295.pdf","grobid_xml":"https://content.openalex.org/works/W1522323295.grobid-xml"},"referenced_works_count":13,"referenced_works":["https://openalex.org/W960501492","https://openalex.org/W1586432636","https://openalex.org/W1990465732","https://openalex.org/W2006718280","https://openalex.org/W2008549872","https://openalex.org/W2028539435","https://openalex.org/W2034975605","https://openalex.org/W2052131214","https://openalex.org/W2065857088","https://openalex.org/W2097673562","https://openalex.org/W2128965643","https://openalex.org/W2143054611","https://openalex.org/W3013993342"],"related_works":[],"abstract_inverted_index":{"Let":[0],"S":[1],"be":[2,9,110,154,187,199],"a":[3,10,52,87,228,248,257,261,290],"semigroup,":[4],"let":[5,14,18,25,26],"$$n\\in":[6],"\\mathbb":[7],"{N}$$":[8],"positive":[11],"natural":[12],"number,":[13],"$$A,B\\subseteq":[15],"S$$":[16,23],",":[17,63],"$$\\mathcal":[19,27,37,68,71,76,96,105,136,151,182,193,239,284],"{U},\\mathcal":[20],"{V}\\in":[21],"\\beta":[22],"and":[24,64,119,131,173,235,309],"{F}\\subseteq":[28],"\\{f:S^{n}\\rightarrow":[29],"S\\}$$":[30],".":[31,195],"We":[32,102,125],"say":[33,66],"that":[34,58,67,93,104,251,255,263],"A":[35,94],"is":[36,51,70,86,95,142],"{F}$$":[38,56,72,97,106,137,152,183,194,240,285],"-finitely":[39,73,98],"embeddable":[40,74,99],"in":[41,75,100,190],"B":[42],"if":[43,78],"for":[44,79,135,165,181,238,253],"every":[45,80],"finite":[46,123,258],"set":[47,81,88,130,177,262],"$$F\\subseteq":[48],"A$$":[49],"there":[50,85],"function":[53],"$$f\\in":[54],"\\mathcal":[55,83,90],"such":[57,92,212],"$$f\\left(":[59],"A^{n}\\right)":[60],"\\subseteq":[61],"B$$":[62],"we":[65,243,282],"{U}$$":[69,91],"{V}$$":[77,84],"$$B\\in":[82],"$$A\\in":[89],"B.":[101],"show":[103],"-finite":[107,138,184,241,286],"embeddabilities":[108,287],"can":[109,153,186,198],"used":[111,155,200],"to":[112,156,201,246,288],"study":[113,289],"certain":[114,207],"combinatorial":[115],"properties":[116,292],"of":[117,129,132,150,178,192,206,210,230,260,293,300,312],"sets":[118,209,234],"ultrafilters":[120,180,215,236,308],"related":[121],"with":[122],"structures.":[124],"introduce":[126],"the":[127,214,231],"notions":[128],"ultrafilter":[133],"maximal":[134,163,179,237],"embeddability,":[139],"whose":[140,216],"existence":[141],"proved":[143],"under":[144],"very":[145],"mild":[146],"assumptions.":[147],"Different":[148],"choices":[149],"characterize":[157],"many":[158],"combinatorially":[159],"interesting":[160,208],"sets/ultrafilters":[161],"as":[162,213],"sets/ultrafilters,":[164],"example":[166],"thick":[167],"sets,":[168,170],"AP-rich":[169],"$$\\overline{K(\\beta":[171],"S)}$$":[172],"so":[174],"on.":[175],"The":[176],"embeddability":[185,242],"characterized":[188],"algebraically":[189],"terms":[191],"This":[196],"property":[197],"give":[202],"an":[203],"algebraic":[204],"characterization":[205],"ultrafilters,":[211],"elements":[217],"contain,":[218],"respectively,":[219],"arbitrarily":[220,265,275],"long":[221,266,276],"arithmetic,":[222],"geoarithmetic":[223,267,277],"or":[224],"polynomial":[225],"progressions.":[226,280],"As":[227],"consequence":[229],"connection":[232],"between":[233,307],"are":[244,303],"able":[245],"prove":[247],"general":[249],"result":[250],"entails,":[252],"example,":[254],"given":[256],"partition":[259,295],"contains":[264],"(resp.":[268,278],"polynomial)":[269,279],"progressions,":[270],"one":[271],"cell":[272],"must":[273],"contain":[274],"Finally":[281],"apply":[283],"few":[291],"homogeneous":[294],"regular":[296],"diophantine":[297],"equations.":[298],"Some":[299],"our":[301],"results":[302],"based":[304],"on":[305],"connections":[306],"nonstandard":[310],"models":[311],"arithmetic.":[313]},"counts_by_year":[{"year":2021,"cited_by_count":3},{"year":2019,"cited_by_count":3}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2016-06-24T00:00:00"}