{"id":"https://openalex.org/W2896608438","doi":"https://doi.org/10.1002/malq.201800071","title":"Inner mantles and iterated HOD","display_name":"Inner mantles and iterated HOD","publication_year":2019,"publication_date":"2019-12-01","ids":{"openalex":"https://openalex.org/W2896608438","doi":"https://doi.org/10.1002/malq.201800071","mag":"2896608438"},"language":"en","primary_location":{"id":"doi:10.1002/malq.201800071","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.201800071","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/1810.08702","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5047741546","display_name":"Jonas Reitz","orcid":"https://orcid.org/0000-0002-7297-5654"},"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/I76513827","display_name":"New York City College of Technology","ror":"https://ror.org/021a7pw18","country_code":"US","type":"education","lineage":["https://openalex.org/I76513827"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Jonas Reitz","raw_affiliation_strings":["Department of Mathematics New York City College of Technology City University of New York 300 Jay Street Brooklyn NY 11201 United States of America","Department of Mathematics, New York City College of Technology, City University of New York, 300 Jay Street, Brooklyn, NY 11201, United States of America"],"raw_orcid":"https://orcid.org/0000-0002-7297-5654","affiliations":[{"raw_affiliation_string":"Department of Mathematics New York City College of Technology City University of New York 300 Jay Street Brooklyn NY 11201 United States of America","institution_ids":["https://openalex.org/I76513827"]},{"raw_affiliation_string":"Department of Mathematics, New York City College of Technology, City University of New York, 300 Jay Street, Brooklyn, NY 11201, United States of America","institution_ids":["https://openalex.org/I76513827","https://openalex.org/I174216632"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075593525","display_name":"Kameryn J. Williams","orcid":"https://orcid.org/0000-0002-0881-0249"},"institutions":[{"id":"https://openalex.org/I117965899","display_name":"University of Hawai\u02bbi at M\u0101noa","ror":"https://ror.org/01wspgy28","country_code":"US","type":"education","lineage":["https://openalex.org/I117965899"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Kameryn J. Williams","raw_affiliation_strings":["Department of Mathematics University of Hawai\u2018i at M\u0101noa 2565 McCarthy Mall, Keller 401A Honolulu HI 96822 United States of America"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics University of Hawai\u2018i at M\u0101noa 2565 McCarthy Mall, Keller 401A Honolulu HI 96822 United States of America","institution_ids":["https://openalex.org/I117965899"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5047741546","https://openalex.org/A5075593525"],"corresponding_institution_ids":["https://openalex.org/I117965899","https://openalex.org/I174216632","https://openalex.org/I76513827"],"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.05937631,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"65","issue":"4","first_page":"498","last_page":"510"},"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.9995999932289124,"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.9995999932289124,"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/T13966","display_name":"Neurological and metabolic disorders","score":0.9887999892234802,"subfield":{"id":"https://openalex.org/subfields/2712","display_name":"Endocrinology, Diabetes and Metabolism"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9876999855041504,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/iterated-function","display_name":"Iterated function","score":0.8575348854064941},{"id":"https://openalex.org/keywords/conjecture","display_name":"Conjecture","score":0.7808831930160522},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.607447624206543},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.6034460663795471},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4718708395957947},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.46072036027908325},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4507659375667572},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.4121777415275574},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.36478573083877563},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.18204021453857422},{"id":"https://openalex.org/keywords/chemistry","display_name":"Chemistry","score":0.14964470267295837},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.12239187955856323}],"concepts":[{"id":"https://openalex.org/C140479938","wikidata":"https://www.wikidata.org/wiki/Q5254619","display_name":"Iterated function","level":2,"score":0.8575348854064941},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.7808831930160522},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.607447624206543},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.6034460663795471},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4718708395957947},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.46072036027908325},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4507659375667572},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.4121777415275574},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.36478573083877563},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.18204021453857422},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.14964470267295837},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.12239187955856323},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","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},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1002/malq.201800071","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.201800071","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:1810.08702","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1810.08702","pdf_url":"https://arxiv.org/pdf/1810.08702","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":"mag:2896608438","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1810.08702.pdf","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.1810.08702","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1810.08702","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":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1810.08702","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1810.08702","pdf_url":"https://arxiv.org/pdf/1810.08702","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":[{"score":0.41999998688697815,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2896608438.pdf","grobid_xml":"https://content.openalex.org/works/W2896608438.grobid-xml"},"referenced_works_count":16,"referenced_works":["https://openalex.org/W1598405987","https://openalex.org/W1779814238","https://openalex.org/W1963699257","https://openalex.org/W1969948941","https://openalex.org/W1997189097","https://openalex.org/W2018932959","https://openalex.org/W2029038421","https://openalex.org/W2051364095","https://openalex.org/W2052199430","https://openalex.org/W2087446231","https://openalex.org/W2095873474","https://openalex.org/W2139907287","https://openalex.org/W2893345112","https://openalex.org/W2963502405","https://openalex.org/W2963783217","https://openalex.org/W4240516068"],"related_works":["https://openalex.org/W3168346598","https://openalex.org/W2951724299","https://openalex.org/W2268662717","https://openalex.org/W2754231462","https://openalex.org/W3096743339","https://openalex.org/W3137086324","https://openalex.org/W2951468886","https://openalex.org/W3195036665","https://openalex.org/W1485621054"],"abstract_inverted_index":{"Abstract":[0],"We":[1,52,79],"present":[2],"a":[3,41],"class":[4],"forcing":[5],"notion":[6],",":[7],"uniformly":[8],"definable":[9],"for":[10],"ordinals":[11,103],"\u03b7,":[12],"which":[13,28],"forces":[14,56],"the":[15,20,25,29,50,57,62,66,69,84,87],"ground":[16,58],"model":[17,59],"to":[18,60,99],"be":[19,61,97,100],"\u03b7th":[21,63],"inner":[22,32,90],"mantle":[23],"of":[24,31,43,65,71,86,89,93],"extension,":[26,67],"in":[27,49],"sequence":[30,70],"mantles":[33,91],"has":[34,74],"length":[35,75],"at":[36,76],"least":[37,77],"\u03b7.":[38,78],"This":[39],"answers":[40],"conjecture":[42],"Fuchs,":[44],"Hamkins,":[45],"and":[46,92],"Reitz":[47],"[1]":[48],"positive.":[51],"also":[53],"show":[54],"that":[55,83],"iterated":[64,72,94],"where":[68],"s":[73,95],"conclude":[80],"by":[81],"showing":[82],"lengths":[85],"sequences":[88],"can":[96],"separated":[98],"any":[101],"two":[102],"you":[104],"please.":[105]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}