{"id":"https://openalex.org/W1538772034","doi":"https://doi.org/10.1007/978-3-642-36039-8_13","title":"Moving Up and Down in the Generic Multiverse","display_name":"Moving Up and Down in the Generic Multiverse","publication_year":2012,"publication_date":"2012-12-21","ids":{"openalex":"https://openalex.org/W1538772034","doi":"https://doi.org/10.1007/978-3-642-36039-8_13","mag":"1538772034"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-36039-8_13","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-36039-8_13","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5078404862","display_name":"Joel David Hamkins","orcid":"https://orcid.org/0000-0002-9959-0500"},"institutions":[{"id":"https://openalex.org/I174216632","display_name":"City University of New York","ror":"https://ror.org/00453a208","country_code":"US","type":"education","lineage":["https://openalex.org/I174216632"]},{"id":"https://openalex.org/I121847817","display_name":"The Graduate Center, CUNY","ror":"https://ror.org/00awd9g61","country_code":"US","type":"education","lineage":["https://openalex.org/I121847817"]},{"id":"https://openalex.org/I142393192","display_name":"College of Staten Island","ror":"https://ror.org/02p179j44","country_code":"US","type":"education","lineage":["https://openalex.org/I142393192"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Joel David Hamkins","raw_affiliation_strings":["Department of Mathematics, College of Staten Island of CUNY, Staten Island, NY, 10314, United States of America","Mathematics Program, The Graduate Center of the City University of New York, 365 Fifth Avenue, New York, NY, 10016, United States of America","The Graduate Center of the City University of New York","College of Staten Island of CUNY"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, College of Staten Island of CUNY, Staten Island, NY, 10314, United States of America","institution_ids":["https://openalex.org/I142393192"]},{"raw_affiliation_string":"Mathematics Program, The Graduate Center of the City University of New York, 365 Fifth Avenue, New York, NY, 10016, United States of America","institution_ids":["https://openalex.org/I174216632","https://openalex.org/I121847817"]},{"raw_affiliation_string":"The Graduate Center of the City University of New York","institution_ids":["https://openalex.org/I174216632","https://openalex.org/I121847817"]},{"raw_affiliation_string":"College of Staten Island of CUNY","institution_ids":["https://openalex.org/I142393192"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065186485","display_name":"Benedikt L\u00f6we","orcid":null},"institutions":[{"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"]},{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["DE","NL"],"is_corresponding":false,"raw_author_name":"Benedikt L\u00f6we","raw_affiliation_strings":["Department Mathematik, Universit\u00e4t Hamburg, Bundesstrasse 55, 20146, Hamburg, Germany","Institute for Logic, Language and Computation, Universiteit van Amsterdam, Postbus 94242, 1090 GE, Amsterdam, The Netherlands","Universit\u00e4t Hamburg","Universiteit van Amsterdam"],"affiliations":[{"raw_affiliation_string":"Department Mathematik, Universit\u00e4t Hamburg, Bundesstrasse 55, 20146, Hamburg, Germany","institution_ids":["https://openalex.org/I159176309"]},{"raw_affiliation_string":"Institute for Logic, Language and Computation, Universiteit van Amsterdam, Postbus 94242, 1090 GE, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"Universit\u00e4t Hamburg","institution_ids":["https://openalex.org/I159176309"]},{"raw_affiliation_string":"Universiteit van Amsterdam","institution_ids":["https://openalex.org/I865915315","https://openalex.org/I887064364"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5078404862"],"corresponding_institution_ids":["https://openalex.org/I121847817","https://openalex.org/I142393192","https://openalex.org/I174216632"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.2671,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.80769728,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"139","last_page":"147"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9958000183105469,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9943000078201294,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.8293604850769043},{"id":"https://openalex.org/keywords/forcing","display_name":"Forcing (mathematics)","score":0.7903417348861694},{"id":"https://openalex.org/keywords/fragment","display_name":"Fragment (logic)","score":0.7709876894950867},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.7025639414787292},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.6441741585731506},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6336600184440613},{"id":"https://openalex.org/keywords/accessibility-relation","display_name":"Accessibility relation","score":0.624965250492096},{"id":"https://openalex.org/keywords/normal-modal-logic","display_name":"Normal modal logic","score":0.6043603420257568},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.5823038816452026},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.5656347870826721},{"id":"https://openalex.org/keywords/dynamic-logic","display_name":"Dynamic logic (digital electronics)","score":0.4839404225349426},{"id":"https://openalex.org/keywords/s5","display_name":"S5","score":0.4176492989063263},{"id":"https://openalex.org/keywords/modal-operator","display_name":"Modal operator","score":0.41726452112197876},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3950573801994324},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.35489562153816223},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.30137771368026733},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2473979890346527},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.2135552167892456},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.175153911113739},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.16891250014305115},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.07340490818023682},{"id":"https://openalex.org/keywords/voltage","display_name":"Voltage","score":0.06341281533241272},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.06275224685668945},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.06252813339233398},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.05066293478012085}],"concepts":[{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.8293604850769043},{"id":"https://openalex.org/C197115733","wikidata":"https://www.wikidata.org/wiki/Q1003136","display_name":"Forcing (mathematics)","level":2,"score":0.7903417348861694},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.7709876894950867},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.7025639414787292},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.6441741585731506},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6336600184440613},{"id":"https://openalex.org/C11191006","wikidata":"https://www.wikidata.org/wiki/Q2663311","display_name":"Accessibility relation","level":4,"score":0.624965250492096},{"id":"https://openalex.org/C114092440","wikidata":"https://www.wikidata.org/wiki/Q840226","display_name":"Normal modal logic","level":4,"score":0.6043603420257568},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.5823038816452026},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.5656347870826721},{"id":"https://openalex.org/C2777796570","wikidata":"https://www.wikidata.org/wiki/Q2351326","display_name":"Dynamic logic (digital electronics)","level":4,"score":0.4839404225349426},{"id":"https://openalex.org/C192609573","wikidata":"https://www.wikidata.org/wiki/Q7388341","display_name":"S5","level":5,"score":0.4176492989063263},{"id":"https://openalex.org/C78344899","wikidata":"https://www.wikidata.org/wiki/Q638442","display_name":"Modal operator","level":4,"score":0.41726452112197876},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3950573801994324},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.35489562153816223},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.30137771368026733},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2473979890346527},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.2135552167892456},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.175153911113739},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16891250014305115},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.07340490818023682},{"id":"https://openalex.org/C165801399","wikidata":"https://www.wikidata.org/wiki/Q25428","display_name":"Voltage","level":2,"score":0.06341281533241272},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.06275224685668945},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.06252813339233398},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.05066293478012085},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C172385210","wikidata":"https://www.wikidata.org/wiki/Q5339","display_name":"Transistor","level":3,"score":0.0},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-642-36039-8_13","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-36039-8_13","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:dare.uva.nl:openaire_cris_publications/2b326c2e-199e-4b4b-91c2-9ef1ae2c906a","is_oa":false,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/moving-up-and-down-in-the-generic-multiverse(2b326c2e-199e-4b4b-91c2-9ef1ae2c906a).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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Hamkins, J D & L\u00f6we, B 2013, Moving up and down in the generic multiverse. in K Lodaya (ed.), Logic and Its Applications : 5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013 : proceedings. Lecture Notes in Computer Science, vol. 7750, FoLLI Publications on Logic, Language and Information, Heidelberg, pp. 139-147, 5th Indian Conference on Logic and Its Applications, ICLA 2013, Chennai, India, 10/01/13. https://doi.org/10.1007/978-3-642-36039-8_13","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:uvapub:oai:dare.uva.nl:publications/2b326c2e-199e-4b4b-91c2-9ef1ae2c906a","is_oa":false,"landing_page_url":"https://dare.uva.nl/personal/pure/en/publications/moving-up-and-down-in-the-generic-multiverse(2b326c2e-199e-4b4b-91c2-9ef1ae2c906a).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logic and Its Applications: 5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013 : proceedings, 139 - 147","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W99672212","https://openalex.org/W1585505717","https://openalex.org/W1598405987","https://openalex.org/W1972672801","https://openalex.org/W1988045504","https://openalex.org/W1998922975","https://openalex.org/W2001257823","https://openalex.org/W2018932959","https://openalex.org/W2028921653","https://openalex.org/W2032281556","https://openalex.org/W2069506349","https://openalex.org/W2091197883","https://openalex.org/W2139907287","https://openalex.org/W2169065977","https://openalex.org/W2596793771","https://openalex.org/W2951554701","https://openalex.org/W2951724299","https://openalex.org/W3101337583"],"related_works":["https://openalex.org/W2534562289","https://openalex.org/W4233254255","https://openalex.org/W2795425183","https://openalex.org/W4318188140","https://openalex.org/W2188462059","https://openalex.org/W2175984923","https://openalex.org/W2123071520","https://openalex.org/W4297691000","https://openalex.org/W3037186148","https://openalex.org/W2396928407"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-04-16T08:26:57.006410","created_date":"2025-10-10T00:00:00"}