{"title":"单调与非单调射影算子","authors":"J. P. Aguilera, P. D. Welch","doi":"10.1112/blms.13194","DOIUrl":null,"url":null,"abstract":"<p>For a class of operators <span></span><math>\n <semantics>\n <mi>Γ</mi>\n <annotation>$\\Gamma$</annotation>\n </semantics></math>, let <span></span><math>\n <semantics>\n <mrow>\n <mo>|</mo>\n <mi>Γ</mi>\n <mo>|</mo>\n </mrow>\n <annotation>$|\\Gamma |$</annotation>\n </semantics></math> denote the closure ordinal of <span></span><math>\n <semantics>\n <mi>Γ</mi>\n <annotation>$\\Gamma$</annotation>\n </semantics></math>-inductive definitions. We give upper bounds on the values of <span></span><math>\n <semantics>\n <mrow>\n <mrow>\n <mo>|</mo>\n </mrow>\n <msubsup>\n <mi>Σ</mi>\n <mrow>\n <mn>2</mn>\n <mi>n</mi>\n <mo>+</mo>\n <mn>1</mn>\n </mrow>\n <mrow>\n <mn>1</mn>\n <mo>,</mo>\n <mi>m</mi>\n <mi>o</mi>\n <mi>n</mi>\n </mrow>\n </msubsup>\n <mrow>\n <mo>|</mo>\n </mrow>\n </mrow>\n <annotation>$|\\Sigma ^{1,mon}_{2n+1}|$</annotation>\n </semantics></math> and <span></span><math>\n <semantics>\n <mrow>\n <mrow>\n <mo>|</mo>\n </mrow>\n <msubsup>\n <mi>Π</mi>\n <mrow>\n <mn>2</mn>\n <mi>n</mi>\n <mo>+</mo>\n <mn>2</mn>\n </mrow>\n <mrow>\n <mn>1</mn>\n <mo>,</mo>\n <mi>m</mi>\n <mi>o</mi>\n <mi>n</mi>\n </mrow>\n </msubsup>\n <mrow>\n <mo>|</mo>\n </mrow>\n </mrow>\n <annotation>$|\\Pi ^{1,mon}_{2n+2}|$</annotation>\n </semantics></math> under the assumption that all projective sets of reals are determined, significantly improving the known results. In particular, the bounds show that <span></span><math>\n <semantics>\n <mrow>\n <mrow>\n <mo>|</mo>\n </mrow>\n <msubsup>\n <mi>Π</mi>\n <mi>n</mi>\n <mrow>\n <mn>1</mn>\n <mo>,</mo>\n <mi>m</mi>\n <mi>o</mi>\n <mi>n</mi>\n </mrow>\n </msubsup>\n <mrow>\n <mo>|</mo>\n <mo><</mo>\n <mo>|</mo>\n </mrow>\n <msubsup>\n <mi>Π</mi>\n <mi>n</mi>\n <mn>1</mn>\n </msubsup>\n <mrow>\n <mo>|</mo>\n </mrow>\n </mrow>\n <annotation>$|\\Pi ^{1,mon}_{n}| < |\\Pi ^1_{n}|$</annotation>\n </semantics></math> and <span></span><math>\n <semantics>\n <mrow>\n <mrow>\n <mo>|</mo>\n </mrow>\n <msubsup>\n <mi>Σ</mi>\n <mi>n</mi>\n <mrow>\n <mn>1</mn>\n <mo>,</mo>\n <mi>m</mi>\n <mi>o</mi>\n <mi>n</mi>\n </mrow>\n </msubsup>\n <mrow>\n <mo>|</mo>\n <mo><</mo>\n <mo>|</mo>\n </mrow>\n <msubsup>\n <mi>Σ</mi>\n <mi>n</mi>\n <mn>1</mn>\n </msubsup>\n <mrow>\n <mo>|</mo>\n </mrow>\n </mrow>\n <annotation>$|\\Sigma ^{1,mon}_{n}| < |\\Sigma ^1_{n}|$</annotation>\n </semantics></math> hold for <span></span><math>\n <semantics>\n <mrow>\n <mn>2</mn>\n <mo>⩽</mo>\n <mi>n</mi>\n </mrow>\n <annotation>$2\\leqslant n$</annotation>\n </semantics></math> under the assumption of projective determinacy. Some of these inequalities were obtained by Aanderaa in the 70s via recursion-theoretic methods but never appeared in print. Our proofs are model-theoretic.</p>","PeriodicalId":55298,"journal":{"name":"Bulletin of the London Mathematical Society","volume":"57 1","pages":"256-264"},"PeriodicalIF":0.9000,"publicationDate":"2024-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/blms.13194","citationCount":"0","resultStr":"{\"title\":\"Monotone versus non-monotone projective operators\",\"authors\":\"J. P. Aguilera, P. D. Welch\",\"doi\":\"10.1112/blms.13194\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>For a class of operators <span></span><math>\\n <semantics>\\n <mi>Γ</mi>\\n <annotation>$\\\\Gamma$</annotation>\\n </semantics></math>, let <span></span><math>\\n <semantics>\\n <mrow>\\n <mo>|</mo>\\n <mi>Γ</mi>\\n <mo>|</mo>\\n </mrow>\\n <annotation>$|\\\\Gamma |$</annotation>\\n </semantics></math> denote the closure ordinal of <span></span><math>\\n <semantics>\\n <mi>Γ</mi>\\n <annotation>$\\\\Gamma$</annotation>\\n </semantics></math>-inductive definitions. We give upper bounds on the values of <span></span><math>\\n <semantics>\\n <mrow>\\n <mrow>\\n <mo>|</mo>\\n </mrow>\\n <msubsup>\\n <mi>Σ</mi>\\n <mrow>\\n <mn>2</mn>\\n <mi>n</mi>\\n <mo>+</mo>\\n <mn>1</mn>\\n </mrow>\\n <mrow>\\n <mn>1</mn>\\n <mo>,</mo>\\n <mi>m</mi>\\n <mi>o</mi>\\n <mi>n</mi>\\n </mrow>\\n </msubsup>\\n <mrow>\\n <mo>|</mo>\\n </mrow>\\n </mrow>\\n <annotation>$|\\\\Sigma ^{1,mon}_{2n+1}|$</annotation>\\n </semantics></math> and <span></span><math>\\n <semantics>\\n <mrow>\\n <mrow>\\n <mo>|</mo>\\n </mrow>\\n <msubsup>\\n <mi>Π</mi>\\n <mrow>\\n <mn>2</mn>\\n <mi>n</mi>\\n <mo>+</mo>\\n <mn>2</mn>\\n </mrow>\\n <mrow>\\n <mn>1</mn>\\n <mo>,</mo>\\n <mi>m</mi>\\n <mi>o</mi>\\n <mi>n</mi>\\n </mrow>\\n </msubsup>\\n <mrow>\\n <mo>|</mo>\\n </mrow>\\n </mrow>\\n <annotation>$|\\\\Pi ^{1,mon}_{2n+2}|$</annotation>\\n </semantics></math> under the assumption that all projective sets of reals are determined, significantly improving the known results. In particular, the bounds show that <span></span><math>\\n <semantics>\\n <mrow>\\n <mrow>\\n <mo>|</mo>\\n </mrow>\\n <msubsup>\\n <mi>Π</mi>\\n <mi>n</mi>\\n <mrow>\\n <mn>1</mn>\\n <mo>,</mo>\\n <mi>m</mi>\\n <mi>o</mi>\\n <mi>n</mi>\\n </mrow>\\n </msubsup>\\n <mrow>\\n <mo>|</mo>\\n <mo><</mo>\\n <mo>|</mo>\\n </mrow>\\n <msubsup>\\n <mi>Π</mi>\\n <mi>n</mi>\\n <mn>1</mn>\\n </msubsup>\\n <mrow>\\n <mo>|</mo>\\n </mrow>\\n </mrow>\\n <annotation>$|\\\\Pi ^{1,mon}_{n}| < |\\\\Pi ^1_{n}|$</annotation>\\n </semantics></math> and <span></span><math>\\n <semantics>\\n <mrow>\\n <mrow>\\n <mo>|</mo>\\n </mrow>\\n <msubsup>\\n <mi>Σ</mi>\\n <mi>n</mi>\\n <mrow>\\n <mn>1</mn>\\n <mo>,</mo>\\n <mi>m</mi>\\n <mi>o</mi>\\n <mi>n</mi>\\n </mrow>\\n </msubsup>\\n <mrow>\\n <mo>|</mo>\\n <mo><</mo>\\n <mo>|</mo>\\n </mrow>\\n <msubsup>\\n <mi>Σ</mi>\\n <mi>n</mi>\\n <mn>1</mn>\\n </msubsup>\\n <mrow>\\n <mo>|</mo>\\n </mrow>\\n </mrow>\\n <annotation>$|\\\\Sigma ^{1,mon}_{n}| < |\\\\Sigma ^1_{n}|$</annotation>\\n </semantics></math> hold for <span></span><math>\\n <semantics>\\n <mrow>\\n <mn>2</mn>\\n <mo>⩽</mo>\\n <mi>n</mi>\\n </mrow>\\n <annotation>$2\\\\leqslant n$</annotation>\\n </semantics></math> under the assumption of projective determinacy. Some of these inequalities were obtained by Aanderaa in the 70s via recursion-theoretic methods but never appeared in print. Our proofs are model-theoretic.</p>\",\"PeriodicalId\":55298,\"journal\":{\"name\":\"Bulletin of the London Mathematical Society\",\"volume\":\"57 1\",\"pages\":\"256-264\"},\"PeriodicalIF\":0.9000,\"publicationDate\":\"2024-12-17\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://onlinelibrary.wiley.com/doi/epdf/10.1112/blms.13194\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Bulletin of the London Mathematical Society\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://londmathsoc.onlinelibrary.wiley.com/doi/10.1112/blms.13194\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Bulletin of the London Mathematical Society","FirstCategoryId":"100","ListUrlMain":"https://londmathsoc.onlinelibrary.wiley.com/doi/10.1112/blms.13194","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
摘要
对于一类操作符Γ $\Gamma$,让| Γ | $|\Gamma |$表示Γ $\Gamma$归纳定义的闭包序数。我们给出| Σ 2 n + 1 1值的上界,M o n | $|\Sigma ^{1,mon}_{2n+1}|$和| Π 2 n+ 21, m on | $|\Pi ^{1,mon}_{2n+2}|$假设所有实数的投影集都已确定,显著改善已知结果。特别是,边界显示| Π n 1,M o n | &lt;| Π n 1 | $|\Pi ^{1,mon}_{n}| < |\Pi ^1_{n}|$和| Σ n1、我不知道你在说什么;| Σ n1| $|\Sigma ^{1,mon}_{n}| < |\Sigma ^1_{n}|$在射影确定性假设下保持2≤n $2\leqslant n$。其中一些不等式是Aanderaa在70年代通过递归理论方法得到的,但从未在印刷品中出现过。我们的证明是模型论的。
For a class of operators , let denote the closure ordinal of -inductive definitions. We give upper bounds on the values of and under the assumption that all projective sets of reals are determined, significantly improving the known results. In particular, the bounds show that and hold for under the assumption of projective determinacy. Some of these inequalities were obtained by Aanderaa in the 70s via recursion-theoretic methods but never appeared in print. Our proofs are model-theoretic.