Pub Date : 2022-11-04DOI: 10.1007/s00153-022-00856-0
Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz
An appropriate framework is put forward for the construction of (lambda )-models with (infty )-groupoid structure, which we call homotopic(lambda )-models, through the use of an (infty )-category with cartesian closure and enough points. With this, we establish the start of a project of generalization of Domain Theory and (lambda )-calculus, in the sense that the concept of proof (path) of equality of (lambda )-terms is raised to higher proof (homotopy).
{"title":"Towards a homotopy domain theory","authors":"Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz","doi":"10.1007/s00153-022-00856-0","DOIUrl":"10.1007/s00153-022-00856-0","url":null,"abstract":"<div><p>An appropriate framework is put forward for the construction of <span>(lambda )</span>-models with <span>(infty )</span>-groupoid structure, which we call <i>homotopic</i> <span>(lambda )</span><i>-models</i>, through the use of an <span>(infty )</span>-category with cartesian closure and enough points. With this, we establish the start of a project of generalization of Domain Theory and <span>(lambda )</span>-calculus, in the sense that the concept of proof (path) of equality of <span>(lambda )</span>-terms is raised to <i>higher proof</i> (homotopy).\u0000</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":"62 3-4","pages":"559 - 579"},"PeriodicalIF":0.3,"publicationDate":"2022-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00153-022-00856-0.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48699855","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}
Pub Date : 2022-10-26DOI: 10.1007/s00153-022-00851-5
Anton Freund
It is generally accepted that H. Friedman’s gap condition is closely related to iterated collapsing functions from ordinal analysis. But what precisely is the connection? We offer the following answer: In a previous paper we have shown that the gap condition arises from an iterative construction on transformations of partial orders. Here we show that the parallel construction for linear orders yields familiar collapsing functions. The iteration step in the linear case is an instance of a general construction that we call ‘Bachmann–Howard derivative’. In the present paper, we focus on the unary case, i.e., on the gap condition for sequences rather than trees and, correspondingly, on addition-free ordinal notation systems. This is partly for convenience, but it also allows us to clarify a phenomenon that is specific to the unary setting: As shown by van der Meeren, Rathjen and Weiermann, the gap condition on sequences admits two linearizations with rather different properties. We will see that these correspond to different recursive constructions of sequences.
一般认为,H. Friedman的间隙条件与序分析中的迭代坍缩函数密切相关。但两者之间究竟有什么联系呢?在以前的文章中,我们已经证明了间隙条件是由偏阶变换的迭代构造产生的。这里我们证明了线性阶的平行构造产生了熟悉的坍缩函数。线性情况下的迭代步骤是一般构造的一个例子,我们称之为巴克曼-霍华德导数。在本文中,我们关注一元情况,即序列而不是树的间隙条件,以及相应的无加序数符号系统。这部分是为了方便,但它也允许我们澄清一种特定于一元设置的现象:正如van der Meeren, Rathjen和Weiermann所示,序列的间隙条件允许两种具有相当不同性质的线性化。我们会看到它们对应于序列的不同递归结构。
{"title":"Bachmann–Howard derivatives","authors":"Anton Freund","doi":"10.1007/s00153-022-00851-5","DOIUrl":"10.1007/s00153-022-00851-5","url":null,"abstract":"<div><p>It is generally accepted that H. Friedman’s gap condition is closely related to iterated collapsing functions from ordinal analysis. But what precisely is the connection? We offer the following answer: In a previous paper we have shown that the gap condition arises from an iterative construction on transformations of partial orders. Here we show that the parallel construction for linear orders yields familiar collapsing functions. The iteration step in the linear case is an instance of a general construction that we call ‘Bachmann–Howard derivative’. In the present paper, we focus on the unary case, i.e., on the gap condition for sequences rather than trees and, correspondingly, on addition-free ordinal notation systems. This is partly for convenience, but it also allows us to clarify a phenomenon that is specific to the unary setting: As shown by van der Meeren, Rathjen and Weiermann, the gap condition on sequences admits two linearizations with rather different properties. We will see that these correspond to different recursive constructions of sequences.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":"62 5-6","pages":"581 - 618"},"PeriodicalIF":0.3,"publicationDate":"2022-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00153-022-00851-5.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45300079","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}
Pub Date : 2022-10-22DOI: 10.1007/s00153-022-00852-4
Michael Lieberman, Jiří Rosický, Pedro Zambrano
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 partial metric spaces, and hint at connections to classes of fuzzy structures, and structures on sheaves.
{"title":"Tameness in generalized metric structures","authors":"Michael Lieberman, Jiří Rosický, 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":"62 3-4","pages":"531 - 558"},"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}
Pub Date : 2022-10-21DOI: 10.1007/s00153-022-00850-6
Krzysztof Krupiński, Anand Pillay
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).
在不一定可数结构的自同构群的更一般的背景下,我们给出了kechris - pestov - todor eviki理论的基本结果的模型理论处理。其中一个要点是将通用范围描述为扩展语言中的特定类型空间。利用这一点,我们恢复了Kechris等人(Funct Anal 15:106-189, 2005), Moore (Fund Math 220:263-280, 2013), Ngyuen Van th (Fund Math 222: 19-47, 2013)在不一定可数结构的自同构群背景下的结果,以及Zucker (Trans Am Math Soc 368, 6715-6740, 2016)。
{"title":"On the topological dynamics of automorphism groups: a model-theoretic perspective","authors":"Krzysztof Krupiński, 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":"62 3-4","pages":"505 - 529"},"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}
Pub Date : 2022-10-07DOI: 10.1007/s00153-022-00849-z
Natasha Dobrinen, Kaiyun Wang
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.
{"title":"Big Ramsey degrees in universal inverse limit structures","authors":"Natasha Dobrinen, 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":"62 3-4","pages":"471 - 503"},"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}
Pub Date : 2022-09-21DOI: 10.1007/s00153-022-00848-0
Mary Leah Karker
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 (iin mathbb {N})(mathcal {M}_i) is a metric structure and the sentence (theta ) is true in (prod _{i=0}^kmathcal {M}_i) for every (kin mathbb {N}), then (theta ) is true in (prod _{iin mathbb {N}}mathcal {M}_i).
{"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":"62 3-4","pages":"427 - 469"},"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}
Pub Date : 2022-09-21DOI: 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":"62 1","pages":"427-469"},"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}
Pub Date : 2022-09-19DOI: 10.1007/s00153-022-00843-5
Hossein Lamei Ramandi
We show it is consistent that there is a Souslin tree S such that after forcing with S, S is Kurepa and for all clubs (C subset omega _1), (Supharpoonright C) is rigid. This answers the questions in Fuchs (Arch Math Logic 52(1–2):47–66, 2013). Moreover, we show it is consistent with (diamondsuit ) that for every Souslin tree T there is a dense (X subseteq T) which does not contain a copy of T. 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).
{"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":"62 3-4","pages":"419 - 426"},"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}