{"id":"https://openalex.org/W4405706179","doi":"https://doi.org/10.1007/s00153-024-00955-0","title":"Bounded symbiosis and upwards reflection","display_name":"Bounded symbiosis and upwards reflection","publication_year":2024,"publication_date":"2024-12-23","ids":{"openalex":"https://openalex.org/W4405706179","doi":"https://doi.org/10.1007/s00153-024-00955-0"},"language":"en","primary_location":{"id":"doi:10.1007/s00153-024-00955-0","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00153-024-00955-0","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00153-024-00955-0.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-024-00955-0.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5036073266","display_name":"Lorenzo Galeotti","orcid":"https://orcid.org/0000-0002-6570-8275"},"institutions":[{"id":"https://openalex.org/I13089092","display_name":"Amsterdam University College","ror":"https://ror.org/03dpjfc73","country_code":"NL","type":"education","lineage":["https://openalex.org/I13089092"]},{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Lorenzo Galeotti","raw_affiliation_strings":["Amsterdam University College (AUC), Universiteit van Amsterdam, 94160, 1090 GD, Amsterdam, The Netherlands","Institute for Logic, Language and Computation (ILLC), Universiteit van Amsterdam, 94242, 1090 GE, Amsterdam, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Amsterdam University College (AUC), Universiteit van Amsterdam, 94160, 1090 GD, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I13089092"]},{"raw_affiliation_string":"Institute for Logic, Language and Computation (ILLC), Universiteit van Amsterdam, 94242, 1090 GE, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087796165","display_name":"Yurii Khomskii","orcid":"https://orcid.org/0000-0002-1763-876X"},"institutions":[{"id":"https://openalex.org/I13089092","display_name":"Amsterdam University College","ror":"https://ror.org/03dpjfc73","country_code":"NL","type":"education","lineage":["https://openalex.org/I13089092"]},{"id":"https://openalex.org/I159176309","display_name":"Universit\u00e4t Hamburg","ror":"https://ror.org/00g30e956","country_code":"DE","type":"education","lineage":["https://openalex.org/I159176309"]},{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["DE","NL"],"is_corresponding":false,"raw_author_name":"Yurii Khomskii","raw_affiliation_strings":["Amsterdam University College (AUC), Universiteit van Amsterdam, 94160, 1090 GD, Amsterdam, The Netherlands","Fachbereich Mathematik, Universit\u00e4t Hamburg, Bundesstra\u00dfe 55, 20146, Hamburg, Germany","Institute for Logic, Language and Computation (ILLC), Universiteit van Amsterdam, 94242, 1090 GE, Amsterdam, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-1763-876X","affiliations":[{"raw_affiliation_string":"Amsterdam University College (AUC), Universiteit van Amsterdam, 94160, 1090 GD, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I13089092"]},{"raw_affiliation_string":"Fachbereich Mathematik, Universit\u00e4t Hamburg, Bundesstra\u00dfe 55, 20146, Hamburg, Germany","institution_ids":["https://openalex.org/I159176309"]},{"raw_affiliation_string":"Institute for Logic, Language and Computation (ILLC), Universiteit van Amsterdam, 94242, 1090 GE, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5112553336","display_name":"Jouko V\u00e4\u00e4n\u00e4nen","orcid":null},"institutions":[{"id":"https://openalex.org/I1323065761","display_name":"Statistics Finland","ror":"https://ror.org/01n1rg855","country_code":"FI","type":"other","lineage":["https://openalex.org/I1323065761"]},{"id":"https://openalex.org/I133731052","display_name":"University of Helsinki","ror":"https://ror.org/040af2s02","country_code":"FI","type":"education","lineage":["https://openalex.org/I133731052"]},{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["FI","NL"],"is_corresponding":false,"raw_author_name":"Jouko V\u00e4\u00e4n\u00e4nen","raw_affiliation_strings":["Department of Mathematics and Statistics, University of Helsinki, Helsinki, Finland","Institute for Logic, Language and Computation (ILLC), Universiteit van Amsterdam, 94242, 1090 GE, Amsterdam, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Statistics, University of Helsinki, Helsinki, Finland","institution_ids":["https://openalex.org/I1323065761","https://openalex.org/I133731052"]},{"raw_affiliation_string":"Institute for Logic, Language and Computation (ILLC), Universiteit van Amsterdam, 94242, 1090 GE, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5036073266"],"corresponding_institution_ids":["https://openalex.org/I13089092","https://openalex.org/I887064364"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990},"fwci":0.9538,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.78500575,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"64","issue":"3-4","first_page":"579","last_page":"603"},"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.9854000210762024,"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.9854000210762024,"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/bounded-function","display_name":"Bounded function","score":0.7905710935592651},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7436675429344177},{"id":"https://openalex.org/keywords/reflection","display_name":"Reflection (computer programming)","score":0.5786964893341064},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.49357497692108154},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3729475736618042},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3700275421142578},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.33590781688690186},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.1900237798690796},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.16800794005393982},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.11338299512863159}],"concepts":[{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.7905710935592651},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7436675429344177},{"id":"https://openalex.org/C65682993","wikidata":"https://www.wikidata.org/wiki/Q1056451","display_name":"Reflection (computer programming)","level":2,"score":0.5786964893341064},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.49357497692108154},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3729475736618042},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3700275421142578},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.33590781688690186},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.1900237798690796},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16800794005393982},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.11338299512863159},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s00153-024-00955-0","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00153-024-00955-0","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00153-024-00955-0.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:oai:dare.uva.nl:openaire/b2e520f8-fcb0-4d98-9e70-ba67e5b85c6e","is_oa":true,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/bounded-symbiosis-and-upwards-reflection(b2e520f8-fcb0-4d98-9e70-ba67e5b85c6e).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Galeotti, L, Khomskii, Y & V\u00e4\u00e4n\u00e4nen, J 2025, 'Bounded symbiosis and upwards reflection', Archive for Mathematical Logic, vol. 64, no. 3-4, pp. 579-603. https://doi.org/10.1007/s00153-024-00955-0","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1007/s00153-024-00955-0","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00153-024-00955-0","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00153-024-00955-0.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/G7230698255","display_name":"Team semantics and dependence logic","funder_award_id":"101020762","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8517859021","display_name":"Regularity properties, definability and combinatorics on the real line.","funder_award_id":"706219","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8541750432","display_name":"Regularity properties, definability and combinatorics on the real line.","funder_award_id":"706219","funder_id":"https://openalex.org/F4320338337","funder_display_name":"H2020 Marie Sk\u0142odowska-Curie Actions"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320338337","display_name":"H2020 Marie Sk\u0142odowska-Curie Actions","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4405706179.pdf","grobid_xml":"https://content.openalex.org/works/W4405706179.grobid-xml"},"referenced_works_count":12,"referenced_works":["https://openalex.org/W40029885","https://openalex.org/W1000055408","https://openalex.org/W1455676725","https://openalex.org/W1505529313","https://openalex.org/W2019751722","https://openalex.org/W2048739378","https://openalex.org/W2082978057","https://openalex.org/W2092513686","https://openalex.org/W2461540875","https://openalex.org/W2911599249","https://openalex.org/W4408612138","https://openalex.org/W6609361655"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W3013085049","https://openalex.org/W1560496689","https://openalex.org/W1992739770","https://openalex.org/W4386900933","https://openalex.org/W4229058035","https://openalex.org/W3125672081","https://openalex.org/W2006389905","https://openalex.org/W4297797135","https://openalex.org/W2904666330"],"abstract_inverted_index":{"Abstract":[0],"In":[1,97],"Bagaria":[2,9],"(J":[3],"Symb":[4],"Log":[5],"81(2),":[6],"584\u2013604,":[7],"2016),":[8],"and":[10,25,107,114,143],"V\u00e4\u00e4n\u00e4nen":[11,47,61],"developed":[12],"a":[13,82,129],"framework":[14],"for":[15,146,155],"studying":[16],"the":[17,35,43,102,124,147],"large":[18,148],"cardinal":[19,149],"strength":[20,150],"of":[21,37,49,58,70,84,89,105,126,151],"downwards":[22],"L\u00f6wenheim-Skolem":[23,112],"theorems":[24,113],"related":[26],"set":[27,50,95],"theoretic":[28,87],"reflection":[29,115],"properties.":[30],"The":[31],"main":[32],"tool":[33],"was":[34],"notion":[36,125],"symbiosis":[38,106,127,134],",":[39],"originally":[40],"introduced":[41],"by":[42],"third":[44],"author":[45],"in":[46,94],"(Applications":[48],"theory":[51],"to":[52,92,110,122,128],"generalized":[53],"quantifiers.":[54],"PhD":[55],"thesis,":[56],"University":[57],"Manchester,":[59],"1967);":[60],"(in":[62],"Logic":[63,72],"Colloquium":[64],"\u201978":[65],"(Mons,":[66],"1978),":[67],"volume":[68],"97":[69],"Stud.":[71],"Foundations":[73],"Math.,":[74],"pages":[75],"391\u2013421.":[76],"North-Holland,":[77],"Amsterdam":[78],"1979)":[79],"Symbiosis":[80],"provides":[81],"way":[83],"relating":[85],"model":[86],"properties":[88],"strong":[90],"logics":[91],"definability":[93],"theory.":[96],"this":[98],"paper":[99],"we":[100,120,140],"continue":[101],"systematic":[103],"investigation":[104],"apply":[108],"it":[109],"upwards":[111,152],"principles.":[116],"To":[117],"achieve":[118],"this,":[119],"need":[121],"adapt":[123],"new":[130],"form,":[131],"called":[132],"bounded":[133],".":[135],"As":[136],"one":[137],"easy":[138],"application,":[139],"obtain":[141],"upper":[142],"lower":[144],"bounds":[145],"L\u00f6wenheim\u2013Skolem-type":[153],"principles":[154],"second":[156],"order":[157],"logic.":[158]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-05-23T08:51:43.019350","created_date":"2025-10-10T00:00:00"}