{"id":"https://openalex.org/W3099270569","doi":"https://doi.org/10.1215/00294527-2018-0022","title":"Layered Posets and Kunen\u2019s Universal Collapse","display_name":"Layered Posets and Kunen\u2019s Universal Collapse","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W3099270569","doi":"https://doi.org/10.1215/00294527-2018-0022","mag":"3099270569"},"language":"en","primary_location":{"id":"doi:10.1215/00294527-2018-0022","is_oa":true,"landing_page_url":"https://doi.org/10.1215/00294527-2018-0022","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-60/issue-1/Layered-Posets-and-Kunens-Universal-Collapse/10.1215/00294527-2018-0022.pdf","source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-60/issue-1/Layered-Posets-and-Kunens-Universal-Collapse/10.1215/00294527-2018-0022.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055954499","display_name":"Sean Cox","orcid":"https://orcid.org/0000-0001-5546-7079"},"institutions":[{"id":"https://openalex.org/I184840846","display_name":"Virginia Commonwealth University","ror":"https://ror.org/02nkdxk79","country_code":"US","type":"education","lineage":["https://openalex.org/I184840846"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Sean Cox","raw_affiliation_strings":["Department of Mathematics and Applied Mathematics Virginia Commonwealth University 1015 Floyd Avenue Richmond, VA 23284 USA"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Applied Mathematics Virginia Commonwealth University 1015 Floyd Avenue Richmond, VA 23284 USA","institution_ids":["https://openalex.org/I184840846"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5055954499"],"corresponding_institution_ids":["https://openalex.org/I184840846"],"apc_list":null,"apc_paid":null,"fwci":1.1509,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.7896071,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"60","issue":"1","first_page":null,"last_page":null},"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.9998999834060669,"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.9998999834060669,"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/T11703","display_name":"Rings, Modules, and Algebras","score":0.9986000061035156,"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/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.9968000054359436,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"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/mathematics","display_name":"Mathematics","score":0.7691315412521362},{"id":"https://openalex.org/keywords/corollary","display_name":"Corollary","score":0.7544852495193481},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.6655515432357788},{"id":"https://openalex.org/keywords/conjecture","display_name":"Conjecture","score":0.656055748462677},{"id":"https://openalex.org/keywords/star-product","display_name":"Star product","score":0.5048394799232483},{"id":"https://openalex.org/keywords/quotient","display_name":"Quotient","score":0.4669296145439148},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4206291139125824},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.41637828946113586},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.39615875482559204}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7691315412521362},{"id":"https://openalex.org/C2780012671","wikidata":"https://www.wikidata.org/wiki/Q1343870","display_name":"Corollary","level":2,"score":0.7544852495193481},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.6655515432357788},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.656055748462677},{"id":"https://openalex.org/C195800304","wikidata":"https://www.wikidata.org/wiki/Q7601281","display_name":"Star product","level":2,"score":0.5048394799232483},{"id":"https://openalex.org/C199422724","wikidata":"https://www.wikidata.org/wiki/Q41118","display_name":"Quotient","level":2,"score":0.4669296145439148},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4206291139125824},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.41637828946113586},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.39615875482559204},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1215/00294527-2018-0022","is_oa":true,"landing_page_url":"https://doi.org/10.1215/00294527-2018-0022","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-60/issue-1/Layered-Posets-and-Kunens-Universal-Collapse/10.1215/00294527-2018-0022.pdf","source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1506.00158","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1506.00158","pdf_url":"https://arxiv.org/pdf/1506.00158","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":null,"raw_type":"text"},{"id":"pmh:oai:CULeuclid:euclid.ndjfl/1548385577","is_oa":false,"landing_page_url":"https://projecteuclid.org/euclid.ndjfl/1548385577","pdf_url":null,"source":{"id":"https://openalex.org/S4306400787","display_name":"Project Euclid (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"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"}],"best_oa_location":{"id":"doi:10.1215/00294527-2018-0022","is_oa":true,"landing_page_url":"https://doi.org/10.1215/00294527-2018-0022","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-60/issue-1/Layered-Posets-and-Kunens-Universal-Collapse/10.1215/00294527-2018-0022.pdf","source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3099270569.pdf","grobid_xml":"https://content.openalex.org/works/W3099270569.grobid-xml"},"referenced_works_count":24,"referenced_works":["https://openalex.org/W63070768","https://openalex.org/W98969548","https://openalex.org/W1844253219","https://openalex.org/W1969030255","https://openalex.org/W1969653411","https://openalex.org/W1972951753","https://openalex.org/W1988481910","https://openalex.org/W1996816117","https://openalex.org/W2056028688","https://openalex.org/W2075193598","https://openalex.org/W2078741695","https://openalex.org/W2082380580","https://openalex.org/W2106591002","https://openalex.org/W2119265237","https://openalex.org/W2121185728","https://openalex.org/W2161477194","https://openalex.org/W2198160659","https://openalex.org/W2319297044","https://openalex.org/W2506342151","https://openalex.org/W2907682301","https://openalex.org/W2962974885","https://openalex.org/W3151639028","https://openalex.org/W4253438498","https://openalex.org/W4255662406"],"related_works":["https://openalex.org/W2376029318","https://openalex.org/W2388301251","https://openalex.org/W2013770701","https://openalex.org/W3013941779","https://openalex.org/W1998659141","https://openalex.org/W3195376785","https://openalex.org/W2951185269","https://openalex.org/W1581373162","https://openalex.org/W4281257855","https://openalex.org/W2953122955"],"abstract_inverted_index":{"We":[0,81],"develop":[1],"the":[2,9,56,66,124],"theory":[3],"of":[4,11,31,36,93,97,109],"layered":[5],"posets":[6,33,96],"and":[7,54,117],"use":[8],"notion":[10],"layering":[12],"to":[13],"prove":[14],"a":[15,90],"new":[16],"iteration":[17,30,51],"theorem":[18,52],"(Theorem":[19,135],"6:":[20],"if":[21],"\u03ba":[22],"is":[23,39,129],"weakly":[24],"compact,":[25],"then":[26],"any":[27,88,122],"universal":[28,62],"Kunen":[29,63],"\u03ba-cc":[32],"(each":[34],"possibly":[35],"size":[37,98],"\u03ba)":[38],"\u03ba-cc,":[40],"as":[41,43],"long":[42],"direct":[44],"limits":[45],"are":[46,78],"used":[47],"sufficiently":[48],"often.":[49],"This":[50],"simplifies":[53],"generalizes":[55],"various":[57],"chain":[58],"condition":[59],"arguments":[60],"for":[61],"iterations":[64,77],"in":[65,72],"literature":[67],"on":[68,112],"saturated":[69,110],"ideals,":[70],"especially":[71],"situations":[73],"where":[74],"finite":[75],"support":[76],"not":[79],"possible.":[80],"also":[82],"provide":[83],"two":[84],"applications:":[85],"1":[86],"For":[87,121],"n\u22651,":[89],"wide":[91],"variety":[92],"<\u03c9n\u22121-closed,":[94],"\u03c9n+1-cc":[95],"\u03c9n+1":[99],"can":[100],"consistently":[101],"be":[102],"absorbed":[103],"(as":[104],"regular":[105],"suborders)":[106],"by":[107],"quotients":[108],"ideals":[111],"\u03c9n":[113],"(see":[114],"Theorem":[115],"7":[116],"Corollary":[118],"8).":[119],"2":[120],"n\u2208\u03c9,":[123],"tree":[125],"property":[126],"at":[127],"\u03c9n+3":[128],"consistent":[130],"with":[131],"Chang\u2019s":[132],"conjecture":[133],"(\u03c9n+3,\u03c9n+1)\u21a0(\u03c9n+1,\u03c9n)":[134],"9).":[136]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}