发布求助
文献互助 智能选刊 最新文献

Archive for Mathematical Logic最新文献

筛选
英文 中文
Tameness in generalized metric structures 广义度量结构中的平稳性
IF 0.3 4区 数学
Archive for Mathematical Logic Pub Date : 2022-10-22 DOI: 10.1007/s00153-022-00852-4
Michael Lieberman, Jiří Rosický, Pedro Zambrano
{"title":"Tameness in generalized metric structures","authors":"Michael Lieberman,&nbsp;Jiří Rosický,&nbsp;Pedro Zambrano","doi":"10.1007/s00153-022-00852-4","DOIUrl":"10.1007/s00153-022-00852-4","url":null,"abstract":"<div><p>We broaden the framework of metric abstract elementary classes (mAECs) in several essential ways, chiefly by allowing the metric to take values in a well-behaved quantale. As a proof of concept we show that the result of Boney and Zambrano (Around the set-theoretical consistency of d-tameness of metric abstract elementary classes, arXiv:1508.05529, 2015) on (metric) tameness under a large cardinal assumption holds in this more general context. We briefly consider a further generalization to <i>partial metric spaces</i>, and hint at connections to classes of fuzzy structures, and structures on sheaves.\u0000</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2022-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46730218","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
On the topological dynamics of automorphism groups: a model-theoretic perspective 自同构群的拓扑动力学:一个模型论的视角
IF 0.3 4区 数学
Archive for Mathematical Logic Pub Date : 2022-10-21 DOI: 10.1007/s00153-022-00850-6
Krzysztof Krupiński, Anand Pillay
{"title":"On the topological dynamics of automorphism groups: a model-theoretic perspective","authors":"Krzysztof Krupiński,&nbsp;Anand Pillay","doi":"10.1007/s00153-022-00850-6","DOIUrl":"10.1007/s00153-022-00850-6","url":null,"abstract":"<div><p>We give a model-theoretic treatment of the fundamental results of Kechris-Pestov-Todorčević theory in the more general context of automorphism groups of not necessarily countable structures. One of the main points is a description of the universal ambit as a certain space of types in an expanded language. Using this, we recover results of Kechris et al. (Funct Anal 15:106–189, 2005), Moore (Fund Math 220:263–280, 2013), Ngyuen Van Thé (Fund Math 222: 19–47, 2013), in the context of automorphism groups of not necessarily countable structures, as well as Zucker (Trans Am Math Soc 368, 6715–6740, 2016).</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2022-10-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00153-022-00850-6.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48717181","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Big Ramsey degrees in universal inverse limit structures 普遍逆极限结构中的大Ramsey度
IF 0.3 4区 数学
Archive for Mathematical Logic Pub Date : 2022-10-07 DOI: 10.1007/s00153-022-00849-z
Natasha Dobrinen, Kaiyun Wang
{"title":"Big Ramsey degrees in universal inverse limit structures","authors":"Natasha Dobrinen,&nbsp;Kaiyun Wang","doi":"10.1007/s00153-022-00849-z","DOIUrl":"10.1007/s00153-022-00849-z","url":null,"abstract":"<div><p>We build a collection of topological Ramsey spaces of trees giving rise to universal inverse limit structures, extending Zheng’s work for the profinite graph to the setting of Fraïssé classes of finite ordered binary relational structures with the Ramsey property. This work is based on the Halpern-Läuchli theorem, but different from the Milliken space of strong subtrees. Based on these topological Ramsey spaces and the work of Huber-Geschke-Kojman on inverse limits of finite ordered graphs, we prove that for each such Fraïssé class, its universal inverse limit structure has finite big Ramsey degrees under finite Baire-measurable colorings. For such Fraïssé classes satisfying free amalgamation as well as finite ordered tournaments and finite partial orders with a linear extension, we characterize the exact big Ramsey degrees.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2022-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00153-022-00849-z.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47293604","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Preservation properties for products and sums of metric structures 公制结构的产物和总和的保存特性
IF 0.3 4区 数学
Archive for Mathematical Logic Pub Date : 2022-09-21 DOI: 10.1007/s00153-022-00848-0
Mary Leah Karker
{"title":"Preservation properties for products and sums of metric structures","authors":"Mary Leah Karker","doi":"10.1007/s00153-022-00848-0","DOIUrl":"10.1007/s00153-022-00848-0","url":null,"abstract":"<div><p>This paper concerns product constructions within the continuous-logic framework of Ben Yaacov, Berenstein, Henson, and Usvyatsov. Continuous-logic analogues are presented for the direct product, direct sum, and almost everywhere direct product analyzed in the work of Feferman and Vaught. These constructions are shown to possess a number of preservation properties analogous to those enjoyed by their classical counterparts in ordinary first-order logic: for example, each product preserves elementary equivalence in an appropriate sense; and if for <span>(iin mathbb {N})</span> <span>(mathcal {M}_i)</span> is a metric structure and the sentence <span>(theta )</span> is true in <span>(prod _{i=0}^kmathcal {M}_i)</span> for every <span>(kin mathbb {N})</span>, then <span>(theta )</span> is true in <span>(prod _{iin mathbb {N}}mathcal {M}_i)</span>.\u0000</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2022-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50042505","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Preservation properties for products and sums of metric structures 公制结构的产物和总和的保存特性
IF 0.3 4区 数学
Archive for Mathematical Logic Pub Date : 2022-09-21 DOI: 10.1007/s00153-022-00848-0
M. Karker
{"title":"Preservation properties for products and sums of metric structures","authors":"M. Karker","doi":"10.1007/s00153-022-00848-0","DOIUrl":"https://doi.org/10.1007/s00153-022-00848-0","url":null,"abstract":"","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2022-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52099161","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
On the rigidity of Souslin trees and their generic branches 苏斯林树及其属枝的刚性
IF 0.3 4区 数学
Archive for Mathematical Logic Pub Date : 2022-09-19 DOI: 10.1007/s00153-022-00843-5
Hossein Lamei Ramandi
{"title":"On the rigidity of Souslin trees and their generic branches","authors":"Hossein Lamei Ramandi","doi":"10.1007/s00153-022-00843-5","DOIUrl":"10.1007/s00153-022-00843-5","url":null,"abstract":"<div><p>We show it is consistent that there is a Souslin tree <i>S</i> such that after forcing with <i>S</i>, <i>S</i> is Kurepa and for all clubs <span>(C subset omega _1)</span>, <span>(Supharpoonright C)</span> is rigid. This answers the questions in Fuchs (Arch Math Logic 52(1–2):47–66, 2013). Moreover, we show it is consistent with <span>(diamondsuit )</span> that for every Souslin tree <i>T</i> there is a dense <span>(X subseteq T)</span> which does not contain a copy of <i>T</i>. This is related to a question due to Baumgartner in Baumgartner (Ordered sets (Banff, Alta., 1981), volume 83 of NATO Adv. Study Inst. Ser. C: Math. Phys. Sci., Reidel, Dordrecht-Boston, pp 239–277, 1982).</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2022-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00153-022-00843-5.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50038148","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
$$sQ_1$$ s Q 1 -degrees of computably enumerable sets $$sQ_1$$sQ1-可计算可枚举集的度
IF 0.3 4区 数学
Archive for Mathematical Logic Pub Date : 2022-09-16 DOI: 10.1007/s00153-022-00847-1
R. Omanadze
{"title":"\u0000 \u0000 \u0000 \u0000 $$sQ_1$$\u0000 \u0000 \u0000 s\u0000 \u0000 Q\u0000 1\u0000 \u0000 \u0000 \u0000 -degrees of computably enumerable sets","authors":"R. Omanadze","doi":"10.1007/s00153-022-00847-1","DOIUrl":"https://doi.org/10.1007/s00153-022-00847-1","url":null,"abstract":"","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2022-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49199396","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
(sQ_1)-degrees of computably enumerable sets (sQ_1)-可计算可枚举集合的度数
IF 0.3 4区 数学
Archive for Mathematical Logic Pub Date : 2022-09-16 DOI: 10.1007/s00153-022-00847-1
Roland Sh. Omanadze
{"title":"(sQ_1)-degrees of computably enumerable sets","authors":"Roland Sh. Omanadze","doi":"10.1007/s00153-022-00847-1","DOIUrl":"10.1007/s00153-022-00847-1","url":null,"abstract":"<div><p>We show that the <i>sQ</i>-degree of a hypersimple set includes an infinite collection of <span>(sQ_1)</span>-degrees linearly ordered under <span>(le _{sQ_1})</span> with order type of the integers and each c.e. set in these <i>sQ</i>-degrees is a hypersimple set. Also, we prove that there exist two c.e. sets having no least upper bound on the <span>(sQ_1)</span>-reducibility ordering. We show that the c.e. <span>(sQ_1)</span>-degrees are not dense and if <i>a</i> is a c.e. <span>(sQ_1)</span>-degree such that <span>(o_{sQ_1}&lt;_{sQ_1}a&lt;_{sQ_1}o'_{sQ_1})</span>, then there exist infinitely many pairwise <i>sQ</i>-incomputable c.e. <i>sQ</i>-degrees <span>({c_i}_{iin omega })</span> such that <span>((forall ,i);(a&lt;_{sQ_1}c_i&lt;_{sQ_1}o'_{sQ_1}))</span>.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2022-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50033379","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Generalization of Shapiro’s theorem to higher arities and noninjective notations Shapiro定理在更高精度和非射符号中的推广
IF 0.3 4区 数学
Archive for Mathematical Logic Pub Date : 2022-09-14 DOI: 10.1007/s00153-022-00836-4
Dariusz Kalociński, Michał Wrocławski
{"title":"Generalization of Shapiro’s theorem to higher arities and noninjective notations","authors":"Dariusz Kalociński,&nbsp;Michał Wrocławski","doi":"10.1007/s00153-022-00836-4","DOIUrl":"10.1007/s00153-022-00836-4","url":null,"abstract":"<div><p>In the framework of Stewart Shapiro, computations are performed directly on strings of symbols (numerals) whose abstract numerical interpretation is determined by a notation. Shapiro showed that a total unary function (unary relation) on natural numbers is computable in every injective notation if and only if it is almost constant or almost identity function (finite or co-finite set). We obtain a syntactic generalization of this theorem, in terms of quantifier-free definability, for functions and relations relatively intrinsically computable on certain types of equivalence structures. We also characterize the class of relations and partial functions of arbitrary finite arities which are computable in every notation (be it injective or not). We consider the same question for notations in which certain equivalence relations are assumed to be computable. Finally, we discuss connections with a theorem by Ash, Knight, Manasse and Slaman which allow us to deduce some (but not all) of our results, based on quantifier elimination.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2022-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00153-022-00836-4.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45481859","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse 基于Lévy折叠的对称扩展中的组合性质和依赖选择
IF 0.3 4区 数学
Archive for Mathematical Logic Pub Date : 2022-09-10 DOI: 10.1007/s00153-022-00845-3
Amitayu Banerjee
{"title":"Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse","authors":"Amitayu Banerjee","doi":"10.1007/s00153-022-00845-3","DOIUrl":"10.1007/s00153-022-00845-3","url":null,"abstract":"<div><p>We work with symmetric extensions based on Lévy collapse and extend a few results of Apter, Cody, and Koepke. We prove a conjecture of Dimitriou from her Ph.D. thesis. We also observe that if <i>V</i> is a model of <span>(textsf {ZFC})</span>, then <span>(textsf {DC}_{&lt;kappa })</span> can be preserved in the symmetric extension of <i>V</i> in terms of symmetric system <span>(langle {mathbb {P}},{mathcal {G}},{mathcal {F}}rangle )</span>, if <span>({mathbb {P}})</span> is <span>(kappa )</span>-distributive and <span>({mathcal {F}})</span> is <span>(kappa )</span>-complete. Further we observe that if <span>(delta &lt;kappa )</span> and <i>V</i> is a model of <span>(textsf {ZF}+textsf {DC}_{delta })</span>, then <span>(textsf {DC}_{delta })</span> can be preserved in the symmetric extension of <i>V</i> in terms of symmetric system <span>(langle {mathbb {P}},{mathcal {G}},{mathcal {F}}rangle )</span>, if <span>({mathbb {P}})</span> is (<span>(delta +1)</span>)-strategically closed and <span>({mathcal {F}})</span> is <span>(kappa )</span>-complete.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2022-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00153-022-00845-3.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48900514","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信