On weak square, approachability, the tree property, and failures of SCH in a choiceless context

On weak square, approachability, the tree property, and failures of SCH in a choiceless context

We show that the consistency of the theories ZF+¬ACω+ “GCH holds below ℵω” + “there is an injection f:ℵω+2→℘(ℵω)” + “both □ℵω∗ and APℵω fail” and ZF+¬ACω + “GCH holds below ℵω” + “there is an injection f:ℵω+2→℘(ℵω)” + “ℵω+1 satisfies the tree property” follow from the appropriate supercompactness hy...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Mathematical logic quarterly 2020-03, Vol.66 (1), p.115-120
1. Verfasser: Apter, Arthur W.
Format: Artikel
Sprache:eng
Schlagworte:
Context
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 120
container_issue 1
container_start_page 115
container_title Mathematical logic quarterly
container_volume 66
creator Apter, Arthur W.
description We show that the consistency of the theories ZF+¬ACω+ “GCH holds below ℵω” + “there is an injection f:ℵω+2→℘(ℵω)” + “both □ℵω∗ and APℵω fail” and ZF+¬ACω + “GCH holds below ℵω” + “there is an injection f:ℵω+2→℘(ℵω)” + “ℵω+1 satisfies the tree property” follow from the appropriate supercompactness hypotheses. These provide answers in a choiceless context to certain long‐standing open questions concerning SCH, weak square, approachability, and the tree property. There is nothing special about ℵω+2, and the injection into ℘(ℵω) can be from any ordinal λ (which means that pcf theory can fail badly in the models constructed if λ≥ℵω4).
doi_str_mv 10.1002/malq.201900022
format Article
fullrecord <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_journals_2385374571</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2385374571</sourcerecordid><originalsourceid>FETCH-LOGICAL-c2722-667346e09a8f22c1c0870313782141be28a67294ec0975ead5861ede84b5e0d53</originalsourceid><addsrcrecordid>eNqFkEtLAzEUhYMoWKtb1wG3nZrH5DHLUtQKlSLqOqSZO3TqdB7JDLX_3pSKLl1d7uE79x4OQreUTCkh7H5nq27KCM1I3NgZGlHBaMK1IudoRLKUJUJSeYmuQthGRFBFRsisarwH-4lDN1gPE2zb1jfWbey6rMr-MMH9BnDvAXDUW_BHydY5LmxZDR4Cbgr8Nl_gssYWu01TOqggBOyauoev_hpdFLYKcPMzx-jj8eF9vkiWq6fn-WyZOKYYS6RUPJVAMqsLxhx1JMbmlCvNaErXwLSVimUpOJIpATYXWlLIQadrASQXfIzuTndjym6A0JttM_g6vjSMa8FVKhSN1PREOd-E4KEwrS931h8MJeZYojmWaH5LjIbsZNiXFRz-oc3LbPn65_0GsJh0kw</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2385374571</pqid></control><display><type>article</type><title>On weak square, approachability, the tree property, and failures of SCH in a choiceless context</title><source>Wiley Online Library Journals Frontfile Complete</source><creator>Apter, Arthur W.</creator><creatorcontrib>Apter, Arthur W.</creatorcontrib><description>We show that the consistency of the theories ZF+¬ACω+ “GCH holds below ℵω” + “there is an injection f:ℵω+2→℘(ℵω)” + “both □ℵω∗ and APℵω fail” and ZF+¬ACω + “GCH holds below ℵω” + “there is an injection f:ℵω+2→℘(ℵω)” + “ℵω+1 satisfies the tree property” follow from the appropriate supercompactness hypotheses. These provide answers in a choiceless context to certain long‐standing open questions concerning SCH, weak square, approachability, and the tree property. There is nothing special about ℵω+2, and the injection into ℘(ℵω) can be from any ordinal λ (which means that pcf theory can fail badly in the models constructed if λ≥ℵω4).</description><identifier>ISSN: 0942-5616</identifier><identifier>EISSN: 1521-3870</identifier><identifier>DOI: 10.1002/malq.201900022</identifier><language>eng</language><publisher>Berlin: Wiley Subscription Services, Inc</publisher><subject>Context</subject><ispartof>Mathematical logic quarterly, 2020-03, Vol.66 (1), p.115-120</ispartof><rights>2020 WILEY‐VCH Verlag GmbH &amp; Co. KGaA, Weinheim</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><cites>FETCH-LOGICAL-c2722-667346e09a8f22c1c0870313782141be28a67294ec0975ead5861ede84b5e0d53</cites><orcidid>0000-0002-7091-3628</orcidid></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://onlinelibrary.wiley.com/doi/pdf/10.1002%2Fmalq.201900022$$EPDF$$P50$$Gwiley$$H</linktopdf><linktohtml>$$Uhttps://onlinelibrary.wiley.com/doi/full/10.1002%2Fmalq.201900022$$EHTML$$P50$$Gwiley$$H</linktohtml><link.rule.ids>314,777,781,1412,27905,27906,45555,45556</link.rule.ids></links><search><creatorcontrib>Apter, Arthur W.</creatorcontrib><title>On weak square, approachability, the tree property, and failures of SCH in a choiceless context</title><title>Mathematical logic quarterly</title><description>We show that the consistency of the theories ZF+¬ACω+ “GCH holds below ℵω” + “there is an injection f:ℵω+2→℘(ℵω)” + “both □ℵω∗ and APℵω fail” and ZF+¬ACω + “GCH holds below ℵω” + “there is an injection f:ℵω+2→℘(ℵω)” + “ℵω+1 satisfies the tree property” follow from the appropriate supercompactness hypotheses. These provide answers in a choiceless context to certain long‐standing open questions concerning SCH, weak square, approachability, and the tree property. There is nothing special about ℵω+2, and the injection into ℘(ℵω) can be from any ordinal λ (which means that pcf theory can fail badly in the models constructed if λ≥ℵω4).</description><subject>Context</subject><issn>0942-5616</issn><issn>1521-3870</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2020</creationdate><recordtype>article</recordtype><recordid>eNqFkEtLAzEUhYMoWKtb1wG3nZrH5DHLUtQKlSLqOqSZO3TqdB7JDLX_3pSKLl1d7uE79x4OQreUTCkh7H5nq27KCM1I3NgZGlHBaMK1IudoRLKUJUJSeYmuQthGRFBFRsisarwH-4lDN1gPE2zb1jfWbey6rMr-MMH9BnDvAXDUW_BHydY5LmxZDR4Cbgr8Nl_gssYWu01TOqggBOyauoev_hpdFLYKcPMzx-jj8eF9vkiWq6fn-WyZOKYYS6RUPJVAMqsLxhx1JMbmlCvNaErXwLSVimUpOJIpATYXWlLIQadrASQXfIzuTndjym6A0JttM_g6vjSMa8FVKhSN1PREOd-E4KEwrS931h8MJeZYojmWaH5LjIbsZNiXFRz-oc3LbPn65_0GsJh0kw</recordid><startdate>202003</startdate><enddate>202003</enddate><creator>Apter, Arthur W.</creator><general>Wiley Subscription Services, Inc</general><scope>AAYXX</scope><scope>CITATION</scope><orcidid>https://orcid.org/0000-0002-7091-3628</orcidid></search><sort><creationdate>202003</creationdate><title>On weak square, approachability, the tree property, and failures of SCH in a choiceless context</title><author>Apter, Arthur W.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c2722-667346e09a8f22c1c0870313782141be28a67294ec0975ead5861ede84b5e0d53</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2020</creationdate><topic>Context</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Apter, Arthur W.</creatorcontrib><collection>CrossRef</collection><jtitle>Mathematical logic quarterly</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Apter, Arthur W.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>On weak square, approachability, the tree property, and failures of SCH in a choiceless context</atitle><jtitle>Mathematical logic quarterly</jtitle><date>2020-03</date><risdate>2020</risdate><volume>66</volume><issue>1</issue><spage>115</spage><epage>120</epage><pages>115-120</pages><issn>0942-5616</issn><eissn>1521-3870</eissn><abstract>We show that the consistency of the theories ZF+¬ACω+ “GCH holds below ℵω” + “there is an injection f:ℵω+2→℘(ℵω)” + “both □ℵω∗ and APℵω fail” and ZF+¬ACω + “GCH holds below ℵω” + “there is an injection f:ℵω+2→℘(ℵω)” + “ℵω+1 satisfies the tree property” follow from the appropriate supercompactness hypotheses. These provide answers in a choiceless context to certain long‐standing open questions concerning SCH, weak square, approachability, and the tree property. There is nothing special about ℵω+2, and the injection into ℘(ℵω) can be from any ordinal λ (which means that pcf theory can fail badly in the models constructed if λ≥ℵω4).</abstract><cop>Berlin</cop><pub>Wiley Subscription Services, Inc</pub><doi>10.1002/malq.201900022</doi><tpages>6</tpages><orcidid>https://orcid.org/0000-0002-7091-3628</orcidid></addata></record>
fulltext fulltext
identifier ISSN: 0942-5616
ispartof Mathematical logic quarterly, 2020-03, Vol.66 (1), p.115-120
issn 0942-5616
1521-3870
language eng
recordid cdi_proquest_journals_2385374571
source Wiley Online Library Journals Frontfile Complete
subjects Context
title On weak square, approachability, the tree property, and failures of SCH in a choiceless context
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-19T23%3A00%3A33IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=On%20weak%20square,%20approachability,%20the%20tree%20property,%20and%20failures%20of%20SCH%20in%20a%20choiceless%20context&rft.jtitle=Mathematical%20logic%20quarterly&rft.au=Apter,%20Arthur%20W.&rft.date=2020-03&rft.volume=66&rft.issue=1&rft.spage=115&rft.epage=120&rft.pages=115-120&rft.issn=0942-5616&rft.eissn=1521-3870&rft_id=info:doi/10.1002/malq.201900022&rft_dat=%3Cproquest_cross%3E2385374571%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=2385374571&rft_id=info:pmid/&rfr_iscdi=true