Precisely controlling level by level behavior
We construct four models containing one supercompact cardinal in which level by level equivalence between strong compactness and supercompactness and level by level inequivalence between strong compactness and supercompactness are precisely controlled at each non‐supercompact measurable cardinal. In...
Gespeichert in:
Veröffentlicht in: | Mathematical logic quarterly 2017-04, Vol.63 (1-2), p.77-84 |
---|---|
1. Verfasser: | |
Format: | Artikel |
Sprache: | eng |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
container_end_page | 84 |
---|---|
container_issue | 1-2 |
container_start_page | 77 |
container_title | Mathematical logic quarterly |
container_volume | 63 |
creator | Apter, Arthur W. |
description | We construct four models containing one supercompact cardinal in which level by level equivalence between strong compactness and supercompactness and level by level inequivalence between strong compactness and supercompactness are precisely controlled at each non‐supercompact measurable cardinal. In these models, no cardinal κ is |
doi_str_mv | 10.1002/malq.201500018 |
format | Article |
fullrecord | <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_journals_2452034488</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>4322040219</sourcerecordid><originalsourceid>FETCH-LOGICAL-c3008-4925d8a88ca6facf571cf077a1e72518c6b91b0841bb955774cd005f0f25bc263</originalsourceid><addsrcrecordid>eNqFkD1PwzAQhi0EEqWwMkdiTrlz7NgeqwooUhAgwWw5rg2p3Ka126L8e1KVjw2mu-F57l69hFwijBCAXi9MWI8oIAcAlEdkgJxiXkgBx2QAitGcl1iekrOU5j3CUcCA5E_R2Sa50GW2XW5iG0KzfMuC27mQ1d334t7NrmnjOTnxJiR38TWH5PX25mUyzavHu_vJuMptASBzpiifSSOlNaU31nOB1oMQBp2gHKUta4U1SIZ1rTgXgtlZH8iDp7y2tCyG5OpwdxXb9daljZ6327jsX2rKOIWCMSn_olD2ERhVSvXU6EDZ2KYUnder2CxM7DSC3hen98Xpn-J6QR2Ejya47h9aP4yr51_3E_b6b6I</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>1892542999</pqid></control><display><type>article</type><title>Precisely controlling level by level behavior</title><source>Wiley Online Library Journals Frontfile Complete</source><creator>Apter, Arthur W.</creator><creatorcontrib>Apter, Arthur W.</creatorcontrib><description>We construct four models containing one supercompact cardinal in which level by level equivalence between strong compactness and supercompactness and level by level inequivalence between strong compactness and supercompactness are precisely controlled at each non‐supercompact measurable cardinal. In these models, no cardinal κ is <κ′‐supercompact, where κ′ is the least inaccessible cardinal greater than κ.</description><identifier>ISSN: 0942-5616</identifier><identifier>EISSN: 1521-3870</identifier><identifier>DOI: 10.1002/malq.201500018</identifier><identifier>CODEN: MLQUEF</identifier><language>eng</language><publisher>Berlin: Wiley Subscription Services, Inc</publisher><ispartof>Mathematical logic quarterly, 2017-04, Vol.63 (1-2), p.77-84</ispartof><rights>2017 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim</rights><rights>Copyright © 2017 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim</rights><rights>Copyright © 2017 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><cites>FETCH-LOGICAL-c3008-4925d8a88ca6facf571cf077a1e72518c6b91b0841bb955774cd005f0f25bc263</cites></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.201500018$$EPDF$$P50$$Gwiley$$H</linktopdf><linktohtml>$$Uhttps://onlinelibrary.wiley.com/doi/full/10.1002%2Fmalq.201500018$$EHTML$$P50$$Gwiley$$H</linktohtml><link.rule.ids>314,780,784,1417,27924,27925,45574,45575</link.rule.ids></links><search><creatorcontrib>Apter, Arthur W.</creatorcontrib><title>Precisely controlling level by level behavior</title><title>Mathematical logic quarterly</title><description>We construct four models containing one supercompact cardinal in which level by level equivalence between strong compactness and supercompactness and level by level inequivalence between strong compactness and supercompactness are precisely controlled at each non‐supercompact measurable cardinal. In these models, no cardinal κ is <κ′‐supercompact, where κ′ is the least inaccessible cardinal greater than κ.</description><issn>0942-5616</issn><issn>1521-3870</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2017</creationdate><recordtype>article</recordtype><recordid>eNqFkD1PwzAQhi0EEqWwMkdiTrlz7NgeqwooUhAgwWw5rg2p3Ka126L8e1KVjw2mu-F57l69hFwijBCAXi9MWI8oIAcAlEdkgJxiXkgBx2QAitGcl1iekrOU5j3CUcCA5E_R2Sa50GW2XW5iG0KzfMuC27mQ1d334t7NrmnjOTnxJiR38TWH5PX25mUyzavHu_vJuMptASBzpiifSSOlNaU31nOB1oMQBp2gHKUta4U1SIZ1rTgXgtlZH8iDp7y2tCyG5OpwdxXb9daljZ6327jsX2rKOIWCMSn_olD2ERhVSvXU6EDZ2KYUnder2CxM7DSC3hen98Xpn-J6QR2Ejya47h9aP4yr51_3E_b6b6I</recordid><startdate>201704</startdate><enddate>201704</enddate><creator>Apter, Arthur W.</creator><general>Wiley Subscription Services, Inc</general><scope>AAYXX</scope><scope>CITATION</scope></search><sort><creationdate>201704</creationdate><title>Precisely controlling level by level behavior</title><author>Apter, Arthur W.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c3008-4925d8a88ca6facf571cf077a1e72518c6b91b0841bb955774cd005f0f25bc263</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2017</creationdate><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>Precisely controlling level by level behavior</atitle><jtitle>Mathematical logic quarterly</jtitle><date>2017-04</date><risdate>2017</risdate><volume>63</volume><issue>1-2</issue><spage>77</spage><epage>84</epage><pages>77-84</pages><issn>0942-5616</issn><eissn>1521-3870</eissn><coden>MLQUEF</coden><abstract>We construct four models containing one supercompact cardinal in which level by level equivalence between strong compactness and supercompactness and level by level inequivalence between strong compactness and supercompactness are precisely controlled at each non‐supercompact measurable cardinal. In these models, no cardinal κ is <κ′‐supercompact, where κ′ is the least inaccessible cardinal greater than κ.</abstract><cop>Berlin</cop><pub>Wiley Subscription Services, Inc</pub><doi>10.1002/malq.201500018</doi><tpages>8</tpages></addata></record> |
fulltext | fulltext |
identifier | ISSN: 0942-5616 |
ispartof | Mathematical logic quarterly, 2017-04, Vol.63 (1-2), p.77-84 |
issn | 0942-5616 1521-3870 |
language | eng |
recordid | cdi_proquest_journals_2452034488 |
source | Wiley Online Library Journals Frontfile Complete |
title | Precisely controlling level by level behavior |
url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-06T10%3A10%3A28IST&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=Precisely%20controlling%20level%20by%20level%20behavior&rft.jtitle=Mathematical%20logic%20quarterly&rft.au=Apter,%20Arthur%20W.&rft.date=2017-04&rft.volume=63&rft.issue=1-2&rft.spage=77&rft.epage=84&rft.pages=77-84&rft.issn=0942-5616&rft.eissn=1521-3870&rft.coden=MLQUEF&rft_id=info:doi/10.1002/malq.201500018&rft_dat=%3Cproquest_cross%3E4322040219%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=1892542999&rft_id=info:pmid/&rfr_iscdi=true |