{"title":"Incomparable \n \n \n V\n γ\n \n $V_\\gamma$\n -degrees","authors":"Teng Zhang","doi":"10.1002/malq.202200034","DOIUrl":null,"url":null,"abstract":"<p>In [3], Shi proved that there exist incomparable Zermelo degrees at γ if there exists an ω-sequence of measurable cardinals, whose limit is γ. He asked whether there is a size <math>\n <semantics>\n <msup>\n <mi>γ</mi>\n <mi>ω</mi>\n </msup>\n <annotation>$\\gamma ^\\omega$</annotation>\n </semantics></math> antichain of Zermelo degrees. We consider this question for the <math>\n <semantics>\n <msub>\n <mi>V</mi>\n <mi>γ</mi>\n </msub>\n <annotation>$V_\\gamma$</annotation>\n </semantics></math>-degree structure. We use a kind of Prikry-type forcing to show that if there is an ω-sequence of measurable cardinals, then there are <math>\n <semantics>\n <msup>\n <mi>γ</mi>\n <mi>ω</mi>\n </msup>\n <annotation>$\\gamma ^\\omega$</annotation>\n </semantics></math>-many pairwise incomparable <math>\n <semantics>\n <msub>\n <mi>V</mi>\n <mi>γ</mi>\n </msub>\n <annotation>$V_\\gamma$</annotation>\n </semantics></math>-degrees, where γ is the limit of the ω-sequence of measurable cardinals.</p>","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":"69 1","pages":"58-62"},"PeriodicalIF":0.4000,"publicationDate":"2023-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Mathematical Logic Quarterly","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1002/malq.202200034","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"LOGIC","Score":null,"Total":0}
引用次数: 0
Abstract
In [3], Shi proved that there exist incomparable Zermelo degrees at γ if there exists an ω-sequence of measurable cardinals, whose limit is γ. He asked whether there is a size antichain of Zermelo degrees. We consider this question for the -degree structure. We use a kind of Prikry-type forcing to show that if there is an ω-sequence of measurable cardinals, then there are -many pairwise incomparable -degrees, where γ is the limit of the ω-sequence of measurable cardinals.
期刊介绍:
Mathematical Logic Quarterly publishes original contributions on mathematical logic and foundations of mathematics and related areas, such as general logic, model theory, recursion theory, set theory, proof theory and constructive mathematics, algebraic logic, nonstandard models, and logical aspects of theoretical computer science.