5,589 research outputs found
The open and clopen Ramsey theorems in the Weihrauch lattice
We investigate the uniform computational content of the open and clopen Ramsey theorems in the Weihrauch lattice. While they are known to be equivalent to ATR_0 from the point of view of reverse mathematics, there is not a canonical way to phrase them as multivalued functions. We identify eight di\ufb00erent multivalued functions (\ufb01ve corresponding to the open Ramsey theorem and three corresponding to the clopen Ramsey theorem) and study their degree from the point of view of Weihrauch, strong Weihrauch, and arithmetic Weihrauch reducibility. In particular one of our functions turns out to be strictly stronger than any previously studied multivalued functions arising from statements around ATR_0
HoCHC: A Refutationally Complete and Semantically Invariant System of Higher-order Logic Modulo Theories
We present a simple resolution proof system for higher-order constrained Horn
clauses (HoCHC) - a system of higher-order logic modulo theories - and prove
its soundness and refutational completeness w.r.t. the standard semantics. As
corollaries, we obtain the compactness theorem and semi-decidability of HoCHC
for semi-decidable background theories, and we prove that HoCHC satisfies a
canonical model property. Moreover a variant of the well-known translation from
higher-order to 1st-order logic is shown to be sound and complete for HoCHC in
standard semantics. We illustrate how to transfer decidability results for
(fragments of) 1st-order logic modulo theories to our higher-order setting,
using as example the Bernays-Schonfinkel-Ramsey fragment of HoCHC modulo a
restricted form of Linear Integer Arithmetic
Boolean algebras and Lubell functions
Let denote the power set of . A collection
\B\subset 2^{[n]} forms a -dimensional {\em Boolean algebra} if there
exist pairwise disjoint sets , all non-empty
with perhaps the exception of , so that \B={X_0\cup \bigcup_{i\in I}
X_i\colon I\subseteq [d]}. Let be the maximum cardinality of a family
\F\subset 2^X that does not contain a -dimensional Boolean algebra.
Gunderson, R\"odl, and Sidorenko proved that where .
In this paper, we use the Lubell function as a new measurement for large
families instead of cardinality. The Lubell value of a family of sets \F with
\F\subseteq \tsupn is defined by h_n(\F):=\sum_{F\in \F}1/{{n\choose |F|}}.
We prove the following Tur\'an type theorem. If \F\subseteq 2^{[n]} contains
no -dimensional Boolean algebra, then h_n(\F)\leq 2(n+1)^{1-2^{1-d}} for
sufficiently large . This results implies , where is an absolute constant independent of and . As a
consequence, we improve several Ramsey-type bounds on Boolean algebras. We also
prove a canonical Ramsey theorem for Boolean algebras.Comment: 10 page
Constrained Ramsey Numbers
For two graphs S and T, the constrained Ramsey number f(S, T) is the minimum
n such that every edge coloring of the complete graph on n vertices, with any
number of colors, has a monochromatic subgraph isomorphic to S or a rainbow
(all edges differently colored) subgraph isomorphic to T. The Erdos-Rado
Canonical Ramsey Theorem implies that f(S, T) exists if and only if S is a star
or T is acyclic, and much work has been done to determine the rate of growth of
f(S, T) for various types of parameters. When S and T are both trees having s
and t edges respectively, Jamison, Jiang, and Ling showed that f(S, T) <=
O(st^2) and conjectured that it is always at most O(st). They also mentioned
that one of the most interesting open special cases is when T is a path. In
this work, we study this case and show that f(S, P_t) = O(st log t), which
differs only by a logarithmic factor from the conjecture. This substantially
improves the previous bounds for most values of s and t.Comment: 12 pages; minor revision
A canonical Ramsey-type theorem for finite subsets of
summary:T. Brown proved that whenever we color \Cal P_{f} (\Bbb N) (the set of finite subsets of natural numbers) with finitely many colors, we find a monochromatic structure, called an arithmetic copy of an -forest. In this paper we show a canonical extension of this theorem; i.e\. whenever we color \Cal P_{f}(\Bbb N) with arbitrarily many colors, we find a canonically colored arithmetic copy of an -forest. The five types of the canonical coloring are determined. This solves a problem of T. Brown
- …