关于0 -极小结构中可定义集合族的基数性的注记

IF 0.4 4区数学 Q4 LOGIC

Mathematical Logic Quarterly Pub Date : 2024-09-22 DOI:10.1002/malq.202300030

Pablo Andújar Guerrero

{"title":"关于0 -极小结构中可定义集合族的基数性的注记","authors":"Pablo Andújar Guerrero","doi":"10.1002/malq.202300030","DOIUrl":null,"url":null,"abstract":"We prove that any definable family of subsets of a definable infinite set <math>\n <semantics>\n <mi>A</mi>\n <annotation>$A$</annotation>\n </semantics></math> in an o-minimal structure has cardinality at most <math>\n <semantics>\n <mrow>\n <mo>|</mo>\n <mi>A</mi>\n <mo>|</mo>\n </mrow>\n <annotation>$|A|$</annotation>\n </semantics></math>. We derive some consequences in terms of counting definable types and existence of definable topological spaces.","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":"70 4","pages":"361-366"},"PeriodicalIF":0.4000,"publicationDate":"2024-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/malq.202300030","citationCount":"0","resultStr":"{\"title\":\"A note on the cardinality of definable families of sets in o-minimal structures\",\"authors\":\"Pablo Andújar Guerrero\",\"doi\":\"10.1002/malq.202300030\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We prove that any definable family of subsets of a definable infinite set <math>\\n <semantics>\\n <mi>A</mi>\\n <annotation>$A$</annotation>\\n </semantics></math> in an o-minimal structure has cardinality at most <math>\\n <semantics>\\n <mrow>\\n <mo>|</mo>\\n <mi>A</mi>\\n <mo>|</mo>\\n </mrow>\\n <annotation>$|A|$</annotation>\\n </semantics></math>. We derive some consequences in terms of counting definable types and existence of definable topological spaces.\",\"PeriodicalId\":49864,\"journal\":{\"name\":\"Mathematical Logic Quarterly\",\"volume\":\"70 4\",\"pages\":\"361-366\"},\"PeriodicalIF\":0.4000,\"publicationDate\":\"2024-09-22\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://onlinelibrary.wiley.com/doi/epdf/10.1002/malq.202300030\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Mathematical Logic Quarterly\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://onlinelibrary.wiley.com/doi/10.1002/malq.202300030\",\"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.202300030","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"LOGIC","Score":null,"Total":0}

引用次数: 0

摘要

证明了0 -极小结构中任意可定义无限集a $ a $的可定义子集族的基数不超过| a |$ | a |$。我们从可定义类型的计数和可定义拓扑空间的存在性方面得到了一些结果。

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

查看原文本刊更多论文

A note on the cardinality of definable families of sets in o-minimal structures

We prove that any definable family of subsets of a definable infinite set $A$ in an o-minimal structure has cardinality at most $| A |$ . We derive some consequences in terms of counting definable types and existence of definable topological spaces.

求助全文

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

来源期刊

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.