控制后继基数上正常度量的数量

IF 0.4 4区数学 Q4 LOGIC

Mathematical Logic Quarterly Pub Date : 2022-08-01 DOI:10.1002/malq.202000087

Arthur W. Apter

{"title":"控制后继基数上正常度量的数量","authors":"Arthur W. Apter","doi":"10.1002/malq.202000087","DOIUrl":null,"url":null,"abstract":"We examine the number of normal measures a successor cardinal can carry, in universes in which the Axiom of Choice is false. When considering successors of singular cardinals, we establish relative consistency results assuming instances of supercompactness, together with the Ultrapower Axiom UA$\\mathsf {UA}$ (introduced by Goldberg in [12]). When considering successors of regular cardinals, we establish relative consistency results only assuming the existence of one measurable cardinal. This allows for equiconsistencies.","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":null,"pages":null},"PeriodicalIF":0.4000,"publicationDate":"2022-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Controlling the number of normal measures at successor cardinals\",\"authors\":\"Arthur W. Apter\",\"doi\":\"10.1002/malq.202000087\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We examine the number of normal measures a successor cardinal can carry, in universes in which the Axiom of Choice is false. When considering successors of singular cardinals, we establish relative consistency results assuming instances of supercompactness, together with the Ultrapower Axiom UA$\\\\mathsf {UA}$ (introduced by Goldberg in [12]). When considering successors of regular cardinals, we establish relative consistency results only assuming the existence of one measurable cardinal. This allows for equiconsistencies.\",\"PeriodicalId\":49864,\"journal\":{\"name\":\"Mathematical Logic Quarterly\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.4000,\"publicationDate\":\"2022-08-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Mathematical Logic Quarterly\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1002/malq.202000087\",\"RegionNum\":4,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"LOGIC\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Mathematical Logic Quarterly","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1002/malq.202000087","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"LOGIC","Score":null,"Total":0}

引用次数: 0

摘要

我们研究了在选择公理为假的宇宙中，后继基数所能携带的正常测度的数目。当考虑奇异基数的后继时，我们建立了假设超紧性实例的相对一致性结果，以及超功率公理UA$\mathsf {UA}$(由Goldberg在[12]中引入)。当考虑正则基数的后继时，我们仅假设存在一个可测量基数，就建立了相对一致性结果。这允许一致性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Controlling the number of normal measures at successor cardinals

We examine the number of normal measures a successor cardinal can carry, in universes in which the Axiom of Choice is false. When considering successors of singular cardinals, we establish relative consistency results assuming instances of supercompactness, together with the Ultrapower Axiom UA$\mathsf {UA}$ (introduced by Goldberg in [12]). When considering successors of regular cardinals, we establish relative consistency results only assuming the existence of one measurable cardinal. This allows for equiconsistencies.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Mathematical Logic Quarterly 数学-数学

CiteScore

0.60

自引率

0.00%

发文量

审稿时长

>12 weeks

期刊介绍： 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.