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

arXiv - MATH - Logic最新文献

筛选
英文 中文
Bounding finite-image strings of length $ω^k$ 限定长度为 $ω^k$ 的有限图像字符串
arXiv - MATH - Logic Pub Date : 2024-09-05 DOI: arxiv-2409.03199
Harry Altman
{"title":"Bounding finite-image strings of length $ω^k$","authors":"Harry Altman","doi":"arxiv-2409.03199","DOIUrl":"https://doi.org/arxiv-2409.03199","url":null,"abstract":"Given a well-quasi-order $X$ and an ordinal $alpha$, the set $s^F_alpha(X)$\u0000of transfinite strings on $X$ with length less than $alpha$ and with finite\u0000image is also a well-quasi-order, as proven by Nash-Williams. Before\u0000Nash-Williams proved it for general $alpha$, however, it was proven for\u0000$alpha<omega^omega$ by ErdH{o}s and Rado. In this paper, we revisit\u0000ErdH{o}s and Rado's proof and improve upon it, using it to obtain upper bounds\u0000on the maximum linearization of $s^F_{omega^k}(X)$ in terms of $k$ and $o(X)$,\u0000where $o(X)$ denotes the maximum linearization of $X$. We show that, for fixed\u0000$k$, $o(s^F_{omega^k}(X))$ is bounded above by a function which can roughly be\u0000described as $(k+1)$-times exponential in $o(X)$. We also show that, for $kle\u00002$, this bound is not far from tight.","PeriodicalId":501306,"journal":{"name":"arXiv - MATH - Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142224555","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
On the complexity of the Eulerian path problem for infinite graphs 论无限图的欧拉路径问题的复杂性
arXiv - MATH - Logic Pub Date : 2024-09-04 DOI: arxiv-2409.03113
Nicanor Carrasco-Vargas, Valentino Delle Rose, Cristóbal Rojas
{"title":"On the complexity of the Eulerian path problem for infinite graphs","authors":"Nicanor Carrasco-Vargas, Valentino Delle Rose, Cristóbal Rojas","doi":"arxiv-2409.03113","DOIUrl":"https://doi.org/arxiv-2409.03113","url":null,"abstract":"We revisit the problem of algorithmically deciding whether a given infinite\u0000connected graph has an Eulerian path, namely, a path that uses every edge\u0000exactly once. It has been recently observed that this problem is\u0000$D_3^0$-complete for graphs that have a computable description, whereas it is\u0000$Pi_2^0$-complete for graphs that have a highly computable description, and\u0000that this same bound holds for the class of automatic graphs. A closely related\u0000problem consists of determining the number of ends of a graph, namely, the\u0000maximum number of distinct infinite connected components the graph can be\u0000separated into after removing a finite set of edges. The complexity of this\u0000problem for highly computable graphs is known to be $Pi_2^0$-complete as well.\u0000The connection between these two problems lies in that only graphs with one or\u0000two ends can have Eulerian paths. In this paper we are interested in\u0000understanding the complexity of the infinite Eulerian path problem in the\u0000setting where the input graphs are known to have the right number of ends. We\u0000find that in this setting the problem becomes strictly easier, and that its\u0000exact difficulty varies according to whether the graphs have one or two ends,\u0000and to whether the Eulerian path we are looking for is one-way or bi-infinite.\u0000For example, we find that deciding existence of a bi-infinite Eulerian path for\u0000one-ended graphs is only $Pi_1^0$-complete if the graphs are highly\u0000computable, and that the same problem becomes decidable for automatic graphs.\u0000Our results are based on a detailed computability analysis of what we call the\u0000Separation Problem, which we believe to be of independent interest. For\u0000instance, as a side application, we observe that K\"onig's infinity lemma, well\u0000known to be non-effective in general, becomes effective if we restrict to\u0000graphs with finitely many ends.","PeriodicalId":501306,"journal":{"name":"arXiv - MATH - Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142187739","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Asymptotic dimension and hyperfiniteness of generic Cantor actions 一般康托尔行动的渐近维度和超有限性
arXiv - MATH - Logic Pub Date : 2024-09-04 DOI: arxiv-2409.03078
Sumun Iyer, Forte Shinko
{"title":"Asymptotic dimension and hyperfiniteness of generic Cantor actions","authors":"Sumun Iyer, Forte Shinko","doi":"arxiv-2409.03078","DOIUrl":"https://doi.org/arxiv-2409.03078","url":null,"abstract":"We show that for a countable discrete group which is locally of finite\u0000asymptotic dimension, the generic continuous action on Cantor space has\u0000hyperfinite orbit equivalence relation. In particular, this holds for free\u0000groups, answering a question of Frisch-Kechris-Shinko-Vidny'anszky.","PeriodicalId":501306,"journal":{"name":"arXiv - MATH - Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142187740","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Uncountable Hyperfiniteness and The Random Ratio Ergodic Theorem 不可数超有限性与随机比率遍历定理
arXiv - MATH - Logic Pub Date : 2024-09-04 DOI: arxiv-2409.02781
Nachi Avraham-Re'em, George Peterzil
{"title":"Uncountable Hyperfiniteness and The Random Ratio Ergodic Theorem","authors":"Nachi Avraham-Re'em, George Peterzil","doi":"arxiv-2409.02781","DOIUrl":"https://doi.org/arxiv-2409.02781","url":null,"abstract":"We show that the orbit equivalence relation of a free action of a locally\u0000compact group is hyperfinite (`a la Connes-Feldman-Weiss) precisely when it is\u0000'hypercompact'. This implies an uncountable version of the Ornstein-Weiss\u0000Theorem and that every locally compact group admitting a hypercompact\u0000probability preserving free action is amenable. We also establish an\u0000uncountable version of Danilenko's Random Ratio Ergodic Theorem. From this we\u0000deduce the 'Hopf dichotomy' for many nonsingular Bernoulli actions.","PeriodicalId":501306,"journal":{"name":"arXiv - MATH - Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142187743","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Formalising inductive and coinductive containers 将归纳和共生容器形式化
arXiv - MATH - Logic Pub Date : 2024-09-04 DOI: arxiv-2409.02603
Stefania Damato, Thorsten Altenkirch, Axel Ljungström
{"title":"Formalising inductive and coinductive containers","authors":"Stefania Damato, Thorsten Altenkirch, Axel Ljungström","doi":"arxiv-2409.02603","DOIUrl":"https://doi.org/arxiv-2409.02603","url":null,"abstract":"Containers capture the concept of strictly positive data types in\u0000programming. The original development of containers is done in the internal\u0000language of Locally Cartesian Closed Categories (LCCCs) with disjoint\u0000coproducts and W-types. Although it is claimed that these developments can also\u0000be interpreted in extensional Martin-L\"of type theory, this interpretation is\u0000not made explicit. Moreover, as a result of extensionality, these developments\u0000freely assume Uniqueness of Identity Proofs (UIP), so it is not clear whether\u0000this is a necessary condition. In this paper, we present a formalisation of the\u0000result that `containers preserve least and greatest fixed points' in Cubical\u0000Agda, thereby giving a formulation in intensional type theory, and showing that\u0000UIP is not necessary. Our main incentive for using Cubical Agda is that its\u0000path type restores the equivalence between bisimulation and coinductive\u0000equality. Thus, besides developing container theory in a more general setting,\u0000we also demonstrate the usefulness of Cubical Agda's path type to coinductive\u0000proofs.","PeriodicalId":501306,"journal":{"name":"arXiv - MATH - Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142187744","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Structurable equivalence relations and $mathcal{L}_{ω_1ω}$ interpretations 可结构等价关系和 $mathcal{L}_{ω_1ω}$ 解释
arXiv - MATH - Logic Pub Date : 2024-09-04 DOI: arxiv-2409.02896
Rishi Banerjee, Ruiyuan Chen
{"title":"Structurable equivalence relations and $mathcal{L}_{ω_1ω}$ interpretations","authors":"Rishi Banerjee, Ruiyuan Chen","doi":"arxiv-2409.02896","DOIUrl":"https://doi.org/arxiv-2409.02896","url":null,"abstract":"We show that the category of countable Borel equivalence relations (CBERs) is\u0000dually equivalent to the category of countable $mathcal{L}_{omega_1omega}$\u0000theories which admit a one-sorted interpretation of a particular theory we call\u0000$mathcal{T}_mathsf{LN} sqcup mathcal{T}_mathsf{sep}$ that witnesses\u0000embeddability into $2^mathbb{N}$ and the Lusin--Novikov uniformization\u0000theorem. This allows problems about Borel combinatorial structures on CBERs to\u0000be translated into syntactic definability problems in\u0000$mathcal{L}_{omega_1omega}$, modulo the extra structure provided by\u0000$mathcal{T}_mathsf{LN} sqcup mathcal{T}_mathsf{sep}$, thereby formalizing\u0000a folklore intuition in locally countable Borel combinatorics. We illustrate\u0000this with a catalogue of the precise interpretability relations between several\u0000standard classes of structures commonly used in Borel combinatorics, such as\u0000Feldman--Moore $omega$-colorings and the Slaman--Steel marker lemma. We also\u0000generalize this correspondence to locally countable Borel groupoids and\u0000theories interpreting $mathcal{T}_mathsf{LN}$, which admit a characterization\u0000analogous to that of Hjorth--Kechris for essentially countable isomorphism\u0000relations.","PeriodicalId":501306,"journal":{"name":"arXiv - MATH - Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142187741","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
On the Various Translations between Classical, Intuitionistic and Linear Logic 论古典逻辑、直觉逻辑和线性逻辑之间的各种转换
arXiv - MATH - Logic Pub Date : 2024-09-03 DOI: arxiv-2409.02249
Gilda Ferreira, Paulo Oliva, Clarence Lewis Protin
{"title":"On the Various Translations between Classical, Intuitionistic and Linear Logic","authors":"Gilda Ferreira, Paulo Oliva, Clarence Lewis Protin","doi":"arxiv-2409.02249","DOIUrl":"https://doi.org/arxiv-2409.02249","url":null,"abstract":"Several different proof translations exist between classical and\u0000intuitionistic logic (negative translations), and intuitionistic and linear\u0000logic (Girard translations). Our aims in this paper are (1) to show that all\u0000these systems can be expressed as extensions of a basic logical system\u0000(essentially intuitionistic linear logic), and that (2) with this common\u0000logical basis, a common approach to devising and simplifying such proof\u0000translations can be formalised. Via this process of ``simplification'' we get\u0000the most well-known translations in the literature.","PeriodicalId":501306,"journal":{"name":"arXiv - MATH - Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142187742","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Internality of autonomous algebraic differential equations 自主代数微分方程的内部性
arXiv - MATH - Logic Pub Date : 2024-09-03 DOI: arxiv-2409.01863
Christine Eagles, Léo Jimenez
{"title":"Internality of autonomous algebraic differential equations","authors":"Christine Eagles, Léo Jimenez","doi":"arxiv-2409.01863","DOIUrl":"https://doi.org/arxiv-2409.01863","url":null,"abstract":"This article is interested in internality to the constants of systems of\u0000autonomous algebraic ordinary differential equations. Roughly, this means\u0000determining when can all solutions of such a system be written as a rational\u0000function of finitely many fixed solutions (and their derivatives) and finitely\u0000many constants. If the system is a single order one equation, the answer was\u0000given in an old article of Rosenlicht. In the present work, we completely\u0000answer this question for a large class of systems. As a corollary, we obtain a\u0000necessary condition for the generic solution to be Liouvillian. We then apply\u0000these results to determine exactly when solutions to Poizat equations (a\u0000special case of Li'enard equations) are internal, answering a question of\u0000Freitag, Jaoui, Marker and Nagloo, and to the classic Lotka-Volterra system,\u0000showing that its generic solutions are almost never Liouvillian.","PeriodicalId":501306,"journal":{"name":"arXiv - MATH - Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142187750","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Undecidability of infinite algebraic extensions of $mathbb{F}_p(t)$ $mathbb{F}_p(t)$的无限代数扩展的不可判定性
arXiv - MATH - Logic Pub Date : 2024-09-02 DOI: arxiv-2409.01492
Carlos Martinez-Ranero, Dubraska Salcedo, Javier Utreras
{"title":"Undecidability of infinite algebraic extensions of $mathbb{F}_p(t)$","authors":"Carlos Martinez-Ranero, Dubraska Salcedo, Javier Utreras","doi":"arxiv-2409.01492","DOIUrl":"https://doi.org/arxiv-2409.01492","url":null,"abstract":"Building on work of J. Robinson and A. Shlapentokh, we develop a general\u0000framework to obtain definability and decidability results of large classes of\u0000infinite algebraic extensions of $mathbb{F}_p(t)$. As an application, we show\u0000that for every odd rational prime $p$ there exist infinitely many primes $r$\u0000such that the fields $mathbb{F}_{p^a}left(t^{r^{-infty}}right)$ have\u0000undecidable first-order theory in the language of rings without parameters. Our\u0000method uses character theory to construct families of non-isotrivial elliptic\u0000curves whose Mordell-Weil group is finitely generated and of positive rank in\u0000$mathbb{Z}_r$-towers.","PeriodicalId":501306,"journal":{"name":"arXiv - MATH - Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142187799","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Arithmetical completeness for some extensions of the pure logic of necessitation 纯粹必然性逻辑某些扩展的算术完备性
arXiv - MATH - Logic Pub Date : 2024-09-02 DOI: arxiv-2409.00938
Haruka Kogure
{"title":"Arithmetical completeness for some extensions of the pure logic of necessitation","authors":"Haruka Kogure","doi":"arxiv-2409.00938","DOIUrl":"https://doi.org/arxiv-2409.00938","url":null,"abstract":"We investigate the arithmetical completeness theorems of some extensions of\u0000Fitting, Marek, and Truszczy'{n}ski's pure logic of necessitation\u0000$mathbf{N}$. For $m,n in omega$, let $mathbf{N}^+ mathbf{A}_{m,n}$, which\u0000was introduced by Kurahashi and Sato, be the logic obtained from $mathbf{N}$\u0000by adding the axiom scheme $Box^n A to Box^m A$ and the rule $dfrac{neg\u0000Box A}{neg Box Box A}$. In this paper, among other things, we prove that\u0000for each $m,n geq 1$, the logic $mathbf{N}^+ mathbf{A}_{m,n}$ becomes a\u0000provability logic.","PeriodicalId":501306,"journal":{"name":"arXiv - MATH - Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142187745","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
首页 上一页 下一页 尾页
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学术官方微信