中文
相关论文

相关论文: Chains and antichains in the Weihrauch lattice

200 篇论文

In this article, we introduce the first degrees of a cochain complex associated to a strict Lie 2-group whose cohomology is shown to extend the classical cohomology theory of Lie groups. In particular, we show that the second cohomology…

范畴论 · 数学 2021-03-10 Camilo Angulo

In this work we investigate the Weihrauch degree of the problem $\mathsf{DS}$ of finding an infinite descending sequence through a given ill-founded linear order, which is shared by the problem $\mathsf{BS}$ of finding a bad sequence…

逻辑 · 数学 2024-01-31 Jun Le Goh , Arno Pauly , Manlio Valenti

We generalize Harrington-Marker-Shelah's Dilworth-style characterization of the existence of non-empty perfect antichains to co-analytic quasi-orders, establish the analogous theorem at the next definable cardinal, and consider…

逻辑 · 数学 2018-08-29 Benjamin D. Miller , Zoltán Vidnyánszky

Recently, the higher order averaging method for studying periodic solutions of both Lipschitz differential equations and discontinuous piecewise smooth differential equations was developed in terms of Brouwer degree theory. Between the…

动力系统 · 数学 2021-05-05 Douglas D. Novaes , Francisco B. G. Silva

We answer the following question by Arno Pauly: "Is there a square-root operator on the Weihrauch degrees?". In fact, we show that there are uncountably many pairwise incomparable Weihrauch degrees without any roots. We also prove that the…

逻辑 · 数学 2023-08-07 Patrick Uftring

We present two results on maximal antichains in the strict chain product poset $[t_1+1]\times[t_2+1]\times\ldots\times[t_n+1]$. First, we prove that these maximal antichains are also maximum. Second, we prove that there is a bijection…

组合数学 · 数学 2021-01-19 Shen-Fu Tsai

We introduce the abstract notion of a chain, which is a sequence of $n$ points in the plane, ordered by $x$-coordinates, so that the edge between any two consecutive points is unavoidable as far as triangulations are concerned. A general…

计算几何 · 计算机科学 2023-03-22 Daniel Rutschmann , Manuel Wettstein

Several recent papers investigated unbounded versions of order and norm convergences in Banach lattices. In this paper, we study the unbounded variant of weak convergence and its relationship with other convergences. In particular, we…

泛函分析 · 数学 2017-09-05 Omid Zabeti

We study the Weihrauch degrees of closed choice for finite sets, closed choice for convex sets and sorting infinite sequences over finite alphabets. Our main results are: One, that choice for finite sets of cardinality $i + 1$ is reducible…

逻辑 · 数学 2019-05-09 Takayuki Kihara , Arno Pauly

Let $\chi$ be a subgroup-theoretical property. We introduce an \emph{antichain condition} $\operatorname{ac}_\chi$ which forbids the existence of infinite antichains of mutually permutable non-$\chi$ subgroups whose infinite joins remain…

群论 · 数学 2026-03-12 Mattia Brescia , Bernardo Di Siena , Alessio Russo

We investigate choice principles in the Weihrauch lattice for finite sets on the one hand, and convex sets on the other hand. Increasing cardinality and increasing dimension both correspond to increasing Weihrauch degrees. Moreover, we…

逻辑 · 数学 2017-01-11 Stéphane Le Roux , Arno Pauly

In this paper we define a degree for ends of infinite digraphs. The well-definedness of our definition in particular resolves a problem by Zuther. Furthermore, we extend our notion of end degree to also respect, among others, the vertices…

组合数学 · 数学 2025-02-03 Matthias Hamann , Karl Heuer

There are close similarities between the Weihrauch lattice and the zoo of axiom systems in reverse mathematics. Following these similarities has often allowed researchers to translate results from one setting to the other. However, amongst…

计算机科学中的逻辑 · 计算机科学 2021-08-06 Takayuki Kihara , Alberto Marcone , Arno Pauly

This paper investigates some properties of the number of subtrees of a tree with given degree sequence. These results are used to characterize trees with the given degree sequence that have the largest number of subtrees, which generalizes…

组合数学 · 数学 2012-09-04 Xiu-Mei Zhang , Xiao-Dong Zhang , Daniel Gray , Hua Wang

We provide proofs for the fact that certain orders have no descending chains and no antichains.

逻辑 · 数学 2023-06-01 Erhard Aichinger , Florian Aichinger

Large cardinals arising from the existence of arbitrarily long end elementary extension chains over models of set theory are studied here. In particular, we show that the large cardinals obtained that way (`Unfoldable cardinals') behave as…

逻辑 · 数学 2016-09-06 Andres Villaveces

We continue the research of an extension $\widetilde{\mid}$ of the divisibility relation to the Stone-\v Cech compactification $\beta N$. First we prove that ultrafilters we call prime actually possess the algebraic property of primality.…

逻辑 · 数学 2019-10-03 Boris Šobot

This article studies the dynamics of a finite chain with infinite components. The equation which permits us to find the probability distribution of the chain length is constructed and analysed. This research is a continuation of paper…

概率论 · 数学 2012-07-19 Elena V. Karachanskaya

We study the equational theory of the Weihrauch lattice with composition and iterations, meaning the collection of equations between terms built from variables, the lattice operations $\sqcup$, $\sqcap$, the composition operator $\star$ and…

计算机科学中的逻辑 · 计算机科学 2025-01-30 Cécilia Pradic

Shelah has shown that there are no chains of length $\omega_3$ increasing modulo finite in ${}^{\omega_2}\omega_2$. We improve this result to sets. That is, we show that there are no chains of length $\omega_3$ in $[\omega_2]^{\aleph_2}$…

逻辑 · 数学 2022-10-05 Tanmay Inamdar