Pub Date : 2023-05-15DOI: 10.1007/s00153-023-00875-5
Masato Fujita
The following two assertions are equivalent for an o-minimal expansion of an ordered group (mathcal M=(M,<,+,0,ldots )). There exists a definable bijection between a bounded interval and an unbounded interval. Any definable continuous function (f:A rightarrow M) defined on a definable closed subset of (M^n) has a definable continuous extension (F:M^n rightarrow M).
{"title":"Definable Tietze extension property in o-minimal expansions of ordered groups","authors":"Masato Fujita","doi":"10.1007/s00153-023-00875-5","DOIUrl":"10.1007/s00153-023-00875-5","url":null,"abstract":"<div><p>The following two assertions are equivalent for an o-minimal expansion of an ordered group <span>(mathcal M=(M,<,+,0,ldots ))</span>. There exists a definable bijection between a bounded interval and an unbounded interval. Any definable continuous function <span>(f:A rightarrow M)</span> defined on a definable closed subset of <span>(M^n)</span> has a definable continuous extension <span>(F:M^n rightarrow M)</span>.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2023-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44364332","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 : 2023-04-03DOI: 10.1007/s00153-023-00870-w
Vera Fischer, Marlene Koelbing, Wolfgang Wohofsky
{"title":"Correction to: Towers, mad families, and unboundedness","authors":"Vera Fischer, Marlene Koelbing, Wolfgang Wohofsky","doi":"10.1007/s00153-023-00870-w","DOIUrl":"https://doi.org/10.1007/s00153-023-00870-w","url":null,"abstract":"","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2023-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52099430","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 : 2023-04-03DOI: 10.1007/s00153-023-00870-w
Vera Fischer, Marlene Koelbing, Wolfgang Wohofsky
{"title":"Correction to: Towers, mad families, and unboundedness","authors":"Vera Fischer, Marlene Koelbing, Wolfgang Wohofsky","doi":"10.1007/s00153-023-00870-w","DOIUrl":"10.1007/s00153-023-00870-w","url":null,"abstract":"","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2023-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00153-023-00870-w.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50005182","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}
{"title":"Consistency and interpolation in linear continuous logic","authors":"Mahya Malekghasemi, Seyed-Mohammad Bagheri","doi":"10.1007/s00153-023-00869-3","DOIUrl":"10.1007/s00153-023-00869-3","url":null,"abstract":"<div><p>We prove Robinson consistency theorem as well as Craig, Lyndon and Herbrand interpolation theorems in linear continuous logic.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2023-03-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43271849","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 : 2023-03-13DOI: 10.1007/s00153-023-00868-4
Michał Dybowski, Przemysław Górka
We show that the Axiom of Countable Choice is necessary and sufficient to prove that the existence of a Borel measure on a pseudometric space such that the measure of open balls is positive and finite implies separability of the space. In this way a negative answer to an open problem formulated in Górka (Am Math Mon 128:84–86, 2020) is given. Moreover, we study existence of maximal (delta )-separated sets in metric and pseudometric spaces from the point of view the Axiom of Choice and its weaker forms.
我们证明了可数选择公理是证明伪度量空间上Borel测度的存在性的必要和充分的,使得开球的测度是正的和有限的,这意味着该空间的可分性。通过这种方式,给出了用Górka(Am Math Mon 128:84-2020)公式化的一个开放问题的否定答案。此外,我们还从选择公理及其弱形式的角度研究了度量空间和伪度量空间中极大分离集的存在性。
{"title":"The axiom of choice in metric measure spaces and maximal (delta )-separated sets","authors":"Michał Dybowski, Przemysław Górka","doi":"10.1007/s00153-023-00868-4","DOIUrl":"10.1007/s00153-023-00868-4","url":null,"abstract":"<div><p>We show that the Axiom of Countable Choice is necessary and sufficient to prove that the existence of a Borel measure on a pseudometric space such that the measure of open balls is positive and finite implies separability of the space. In this way a negative answer to an open problem formulated in Górka (Am Math Mon 128:84–86, 2020) is given. Moreover, we study existence of maximal <span>(delta )</span>-separated sets in metric and pseudometric spaces from the point of view the Axiom of Choice and its weaker forms.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2023-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00153-023-00868-4.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50048305","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 : 2023-02-22DOI: 10.1007/s00153-023-00863-9
Juan P. Aguilera
We prove a topological completeness theorem for the modal logic (textsf{GLP}) containing operators ({langle xi rangle :xi in textsf{Ord}}) intended to capture a wellordered sequence of consistency operators increasing in strength. More specifically, we prove that, given a tall-enough scattered space X, any sentence (phi ) consistent with (textsf{GLP}) can be satisfied on a polytopological space based on finitely many Icard topologies constructed over X and corresponding to the finitely many modalities that occur in (phi ).
我们证明了模态逻辑(textsf{GLP})包含运算符({langleneneneba xi rangle:nenenebb xi intextsf{Ord}})的拓扑完全性定理,旨在捕获强度增加的一致性运算符的有序序列。更具体地说,我们证明了,给定一个足够高的分散空间X,任何与(textsf{GLP})一致的句子(phi)都可以在基于X上构造的有限多Icard拓扑的多面体空间上得到满足,并且对应于(phi )中出现的有限多模态。
{"title":"A topological completeness theorem for transfinite provability logic","authors":"Juan P. Aguilera","doi":"10.1007/s00153-023-00863-9","DOIUrl":"10.1007/s00153-023-00863-9","url":null,"abstract":"<div><p>We prove a topological completeness theorem for the modal logic <span>(textsf{GLP})</span> containing operators <span>({langle xi rangle :xi in textsf{Ord}})</span> intended to capture a wellordered sequence of consistency operators increasing in strength. More specifically, we prove that, given a tall-enough scattered space <i>X</i>, any sentence <span>(phi )</span> consistent with <span>(textsf{GLP})</span> can be satisfied on a polytopological space based on finitely many Icard topologies constructed over <i>X</i> and corresponding to the finitely many modalities that occur in <span>(phi )</span>.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2023-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00153-023-00863-9.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50042104","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 : 2023-02-16DOI: 10.1007/s00153-023-00865-7
Iván Ongay-Valverde
In the first half of this paper, we study the way that sets of real numbers closed under Turing equivalence sit inside the real line from the perspective of algebra, measure and orders. Afterwards, we combine the results from our study of these sets as orders with a classical construction from Avraham to obtain a restriction about how non trivial automorphism of the Turing degrees (if they exist) interact with 1-generic degrees.
{"title":"Sets of real numbers closed under Turing equivalence: applications to fields, orders and automorphisms","authors":"Iván Ongay-Valverde","doi":"10.1007/s00153-023-00865-7","DOIUrl":"10.1007/s00153-023-00865-7","url":null,"abstract":"<div><p>In the first half of this paper, we study the way that sets of real numbers closed under Turing equivalence sit inside the real line from the perspective of algebra, measure and orders. Afterwards, we combine the results from our study of these sets as orders with a classical construction from Avraham to obtain a restriction about how non trivial automorphism of the Turing degrees (if they exist) interact with 1-generic degrees.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2023-02-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44115779","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 : 2023-02-14DOI: 10.1007/s00153-023-00867-5
Marcin Michalski, Robert Rałowski, Szymon Żeberski
A (sigma )-ideal (mathcal {I}) on a Polish group ((X,+)) has the Smital Property if for every dense set D and a Borel (mathcal {I})-positive set B the algebraic sum (D+B) is a complement of a set from (mathcal {I}). We consider several variants of this property and study their connections with the countable chain condition, maximality and how well they are preserved via Fubini products. In particular we show that there are (mathfrak {c}) many maximal invariant (sigma )-ideals with Borel bases on the Cantor space (2^omega ).
{"title":"Ideals with Smital properties","authors":"Marcin Michalski, Robert Rałowski, Szymon Żeberski","doi":"10.1007/s00153-023-00867-5","DOIUrl":"10.1007/s00153-023-00867-5","url":null,"abstract":"<div><p>A <span>(sigma )</span>-ideal <span>(mathcal {I})</span> on a Polish group <span>((X,+))</span> has the Smital Property if for every dense set <i>D</i> and a Borel <span>(mathcal {I})</span>-positive set <i>B</i> the algebraic sum <span>(D+B)</span> is a complement of a set from <span>(mathcal {I})</span>. We consider several variants of this property and study their connections with the countable chain condition, maximality and how well they are preserved via Fubini products. In particular we show that there are <span>(mathfrak {c})</span> many maximal invariant <span>(sigma )</span>-ideals with Borel bases on the Cantor space <span>(2^omega )</span>.\u0000</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2023-02-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00153-023-00867-5.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45603623","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 : 2023-02-12DOI: 10.1007/s00153-023-00861-x
Vera Fischer, Marlene Koelbing, Wolfgang Wohofsky
We show that Hechler’s forcings for adding a tower and for adding a mad family can be represented as finite support iterations of Mathias forcings with respect to filters and that these filters are ({mathcal {B}})-Canjar for any countably directed unbounded family ({mathcal {B}}) of the ground model. In particular, they preserve the unboundedness of any unbounded scale of the ground model. Moreover, we show that ({mathfrak {b}}=omega _1) in every extension by the above forcing notions.
{"title":"Towers, mad families, and unboundedness","authors":"Vera Fischer, Marlene Koelbing, Wolfgang Wohofsky","doi":"10.1007/s00153-023-00861-x","DOIUrl":"10.1007/s00153-023-00861-x","url":null,"abstract":"<div><p>We show that Hechler’s forcings for adding a tower and for adding a mad family can be represented as finite support iterations of Mathias forcings with respect to filters and that these filters are <span>({mathcal {B}})</span>-Canjar for any countably directed unbounded family <span>({mathcal {B}})</span> of the ground model. In particular, they preserve the unboundedness of any unbounded scale of the ground model. Moreover, we show that <span>({mathfrak {b}}=omega _1)</span> in every extension by the above forcing notions.\u0000</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2023-02-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00153-023-00861-x.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"9566941","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 : 2023-02-10DOI: 10.1007/s00153-023-00866-6
A. Di Nola, R. Grigolia, G. Vitale
It is introduced a new algebra ((A, otimes , oplus , *, rightharpoonup , 0, 1)) called (L_PG)-algebra if ((A, otimes , oplus , *, 0, 1)) is (L_P)-algebra (i.e. an algebra from the variety generated by perfect MV-algebras) and ((A,rightharpoonup , 0, 1)) is a Gödel algebra (i.e. Heyting algebra satisfying the identity ((x rightharpoonup y ) vee (y rightharpoonup x ) =1)). The lattice of congruences of an (L_PG) -algebra ((A, otimes , oplus , *, rightharpoonup , 0, 1)) is isomorphic to the lattice of Skolem filters (i.e. special type of MV-filters) of the MV-algebra ((A, otimes , oplus , *, 0, 1)). The variety (mathbf {L_PG}) of (L_PG) -algebras is generated by the algebras ((C, otimes , oplus , *, rightharpoonup , 0, 1)) where ((C, otimes , oplus , *, 0, 1)) is Chang MV-algebra. Any (L_PG) -algebra is bi-Heyting algebra. The set of theorems of the logic (L_PG) is recursively enumerable. Moreover, we describe finitely generated free (L_PG)-algebras.
{"title":"Involutive symmetric Gödel spaces, their algebraic duals and logic","authors":"A. Di Nola, R. Grigolia, G. Vitale","doi":"10.1007/s00153-023-00866-6","DOIUrl":"10.1007/s00153-023-00866-6","url":null,"abstract":"<div><p>It is introduced a new algebra <span>((A, otimes , oplus , *, rightharpoonup , 0, 1))</span> called <span>(L_PG)</span>-algebra if <span>((A, otimes , oplus , *, 0, 1))</span> is <span>(L_P)</span>-algebra (i.e. an algebra from the variety generated by perfect <i>MV</i>-algebras) and <span>((A,rightharpoonup , 0, 1))</span> is a Gödel algebra (i.e. Heyting algebra satisfying the identity <span>((x rightharpoonup y ) vee (y rightharpoonup x ) =1))</span>. The lattice of congruences of an <span>(L_PG)</span> -algebra <span>((A, otimes , oplus , *, rightharpoonup , 0, 1))</span> is isomorphic to the lattice of Skolem filters (i.e. special type of <i>MV</i>-filters) of the <i>MV</i>-algebra <span>((A, otimes , oplus , *, 0, 1))</span>. The variety <span>(mathbf {L_PG})</span> of <span>(L_PG)</span> -algebras is generated by the algebras <span>((C, otimes , oplus , *, rightharpoonup , 0, 1))</span> where <span>((C, otimes , oplus , *, 0, 1))</span> is Chang <i>MV</i>-algebra. Any <span>(L_PG)</span> -algebra is bi-Heyting algebra. The set of theorems of the logic <span>(L_PG)</span> is recursively enumerable. Moreover, we describe finitely generated free <span>(L_PG)</span>-algebras.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2023-02-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00153-023-00866-6.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46294733","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}