Zobrazeno 1 - 10
of 67
pro vyhledávání: '"03D99"'
Autor:
Serrano, Christopher R., Gallagher, Jonathan, Yamada, Kenji, Kopylov, Alexei, Warren, Michael A.
The boolean satisfiability (SAT) problem asks whether there exists an assignment of boolean values to the variables of an arbitrary boolean formula making the formula evaluate to True. It is well-known that all NP-problems can be coded as SAT problem
Externí odkaz:
http://arxiv.org/abs/2410.14888
Autor:
Everett, Samuel
The higher-dimensional version of Kannan and Lipton's Orbit Problem asks whether it is decidable if a target vector space can be reached from a starting point under repeated application of a linear transformation. This problem has remained open since
Externí odkaz:
http://arxiv.org/abs/2410.06528
Autor:
Mourad, Daniel
The lefthanded Lov\'asz local lemma (LLLL) is a generalization of the Lov\'asz local lemma (LLL), a powerful technique from the probabilistic method. We prove a computable version of the LLLL and use it to effectivize a collection of results on the e
Externí odkaz:
http://arxiv.org/abs/2406.10564
Autor:
Cattabriga, Paola
Godel numbering is an arithmetization of sintax which defines provability by coding a primitive recursive predicate, Pf(x,v). A multiplicity of researches and results all around this well-known recursive predicate are today widespread in many areas o
Externí odkaz:
http://arxiv.org/abs/2404.04038
Autor:
Levrat, Christophe
We present an explicit expression of the cohomology complex of a constructible sheaf of abelian groups on the small \'etale site of an irreducible curve over an algebraically closed field, when the torsion of the sheaf is invertible in the field. Thi
Externí odkaz:
http://arxiv.org/abs/2306.03283
Autor:
Carrasco-Vargas, Nicanor
The Erd\H{o}s, Gr\"unwald and Weiszfeld theorem provides a characterization of infinite graphs which are Eulerian. That is, infinite graphs which admit infinite Eulerian trails. In this article we complement this theorem with a characterization of th
Externí odkaz:
http://arxiv.org/abs/2305.17998
Autor:
Carrasco-Vargas, Nicanor
We show that every infinite graph which is locally finite and connected admits a translation-like action by $\mathbb{Z}$ such that the distance between a vertex $v$ and $v\ast1$ is uniformly bounded by 3. This action can be taken to be transitive if
Externí odkaz:
http://arxiv.org/abs/2303.14820
Autor:
Belanger, David R.
We prove that the Cohesiveness Principle (COH) is $\Pi^1_1$ conservative over $RCA_0 + I\Sigma^0_n$ and over $RCA_0 + B\Sigma^0_n$ for all $n \geq 2$ by recursion-theoretic means. We first characterize COH over $RCA_0 + B\Sigma^0_2$ as a `jumped' ver
Externí odkaz:
http://arxiv.org/abs/2212.13011
We give a new and effective classification of all Borel Wadge classes of subsets of Baire space. This relies on the true stage machinery originally developed by Montalb\'an. We use this machinery to give a new proof of Louveau and Saint-Raymond's sep
Externí odkaz:
http://arxiv.org/abs/2211.07961
Publikováno v:
Bull. symb. log 30 (2024) 199-226
We present the true stages machinery and illustrate its applications to descriptive set theory. We use this machinery to provide new proofs of the Hausdorff-Kuratowski and Wadge theorems on the structure of ${\mathbf \Delta}^0_\xi$, Louveau and Saint
Externí odkaz:
http://arxiv.org/abs/2211.07958