关于ZF $\mathsf {ZF}$中的基数不等式

IF 0.4 4区数学 Q4 LOGIC

Mathematical Logic Quarterly Pub Date : 2023-08-04 DOI:10.1002/malq.202300014

Guozhen Shen

{"title":"关于ZF $\\mathsf {ZF}$中的基数不等式","authors":"Guozhen Shen","doi":"10.1002/malq.202300014","DOIUrl":null,"url":null,"abstract":"<p>It is proved in <math>\n <semantics>\n <mi>ZF</mi>\n <annotation>$\\mathsf {ZF}$</annotation>\n </semantics></math> (without the axiom of choice) that <math>\n <semantics>\n <mrow>\n <msup>\n <mi>a</mi>\n <mi>n</mi>\n </msup>\n <mo>⩽</mo>\n <msub>\n <mi>S</mi>\n <mrow>\n <mi>n</mi>\n <mo>+</mo>\n <mn>1</mn>\n </mrow>\n </msub>\n <mrow>\n <mo>(</mo>\n <mi>a</mi>\n <mo>)</mo>\n </mrow>\n </mrow>\n <annotation>$\\mathfrak {a}^n\\leqslant \\mathcal {S}_{n+1}(\\mathfrak {a})$</annotation>\n </semantics></math> for all infinite cardinals <math>\n <semantics>\n <mi>a</mi>\n <annotation>$\\mathfrak {a}$</annotation>\n </semantics></math> and all natural numbers <math>\n <semantics>\n <mrow>\n <mi>n</mi>\n <mo>≠</mo>\n <mn>0</mn>\n </mrow>\n <annotation>$n\\ne 0$</annotation>\n </semantics></math>, where <math>\n <semantics>\n <mrow>\n <msub>\n <mi>S</mi>\n <mrow>\n <mi>n</mi>\n <mo>+</mo>\n <mn>1</mn>\n </mrow>\n </msub>\n <mrow>\n <mo>(</mo>\n <mi>a</mi>\n <mo>)</mo>\n </mrow>\n </mrow>\n <annotation>$\\mathcal {S}_{n+1}(\\mathfrak {a})$</annotation>\n </semantics></math> is the cardinality of the set of permutations with exactly <math>\n <semantics>\n <mrow>\n <mi>n</mi>\n <mo>+</mo>\n <mn>1</mn>\n </mrow>\n <annotation>$n+1$</annotation>\n </semantics></math> non-fixed points of a set which is of cardinality <math>\n <semantics>\n <mi>a</mi>\n <annotation>$\\mathfrak {a}$</annotation>\n </semantics></math>.</p>","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":null,"pages":null},"PeriodicalIF":0.4000,"publicationDate":"2023-08-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"On a cardinal inequality in \\n \\n ZF\\n $\\\\mathsf {ZF}$\",\"authors\":\"Guozhen Shen\",\"doi\":\"10.1002/malq.202300014\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>It is proved in <math>\\n <semantics>\\n <mi>ZF</mi>\\n <annotation>$\\\\mathsf {ZF}$</annotation>\\n </semantics></math> (without the axiom of choice) that <math>\\n <semantics>\\n <mrow>\\n <msup>\\n <mi>a</mi>\\n <mi>n</mi>\\n </msup>\\n <mo>⩽</mo>\\n <msub>\\n <mi>S</mi>\\n <mrow>\\n <mi>n</mi>\\n <mo>+</mo>\\n <mn>1</mn>\\n </mrow>\\n </msub>\\n <mrow>\\n <mo>(</mo>\\n <mi>a</mi>\\n <mo>)</mo>\\n </mrow>\\n </mrow>\\n <annotation>$\\\\mathfrak {a}^n\\\\leqslant \\\\mathcal {S}_{n+1}(\\\\mathfrak {a})$</annotation>\\n </semantics></math> for all infinite cardinals <math>\\n <semantics>\\n <mi>a</mi>\\n <annotation>$\\\\mathfrak {a}$</annotation>\\n </semantics></math> and all natural numbers <math>\\n <semantics>\\n <mrow>\\n <mi>n</mi>\\n <mo>≠</mo>\\n <mn>0</mn>\\n </mrow>\\n <annotation>$n\\\\ne 0$</annotation>\\n </semantics></math>, where <math>\\n <semantics>\\n <mrow>\\n <msub>\\n <mi>S</mi>\\n <mrow>\\n <mi>n</mi>\\n <mo>+</mo>\\n <mn>1</mn>\\n </mrow>\\n </msub>\\n <mrow>\\n <mo>(</mo>\\n <mi>a</mi>\\n <mo>)</mo>\\n </mrow>\\n </mrow>\\n <annotation>$\\\\mathcal {S}_{n+1}(\\\\mathfrak {a})$</annotation>\\n </semantics></math> is the cardinality of the set of permutations with exactly <math>\\n <semantics>\\n <mrow>\\n <mi>n</mi>\\n <mo>+</mo>\\n <mn>1</mn>\\n </mrow>\\n <annotation>$n+1$</annotation>\\n </semantics></math> non-fixed points of a set which is of cardinality <math>\\n <semantics>\\n <mi>a</mi>\\n <annotation>$\\\\mathfrak {a}$</annotation>\\n </semantics></math>.</p>\",\"PeriodicalId\":49864,\"journal\":{\"name\":\"Mathematical Logic Quarterly\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.4000,\"publicationDate\":\"2023-08-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Mathematical Logic Quarterly\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://onlinelibrary.wiley.com/doi/10.1002/malq.202300014\",\"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://onlinelibrary.wiley.com/doi/10.1002/malq.202300014","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"LOGIC","Score":null,"Total":0}

引用次数: 1

摘要

这是proved in 安迪是 $\ mathsf{安迪是 }$ ( 那没有选择公理》) a n ⩽ S n + 1 ( a) $\ mathfrak {a} ^ n的leqslant \ mathcal {S} {n + 1} (\ mathfrak {a })$ 为所有无限红雀队 a $\ mathfrak {a }$ 和所有自然的数字 n ≠ 0 $ n \ ne 0 $ ,哪里是n+1 (a1美元n+1美元非固定点a $ mathfrak

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

查看原文本刊更多论文

On a cardinal inequality in ZF $\mathsf {ZF}$

It is proved in $ZF$ (without the axiom of choice) that $a^{n} ⩽ S_{n + 1} (a)$ for all infinite cardinals $a$ and all natural numbers $n \neq 0$ , where $S_{n + 1} (a)$ is the cardinality of the set of permutations with exactly $n + 1$ non-fixed points of a set which is of cardinality $a$ .

求助全文

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

来源期刊

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.