scholarly journals THE DEFINABILITY STRENGTH OF COMBINATORIAL PRINCIPLES

2016 ◽  
Vol 81 (4) ◽  
pp. 1531-1554 ◽  
Author(s):  
WEI WANG
Keyword(s):  
Combinatorial Problem ◽  
Reverse Mathematics ◽  
Ramsey's Theorem ◽  
Combinatorial Principle ◽  
Definable Set ◽  
Ramsey’S Theorem ◽  
Combinatorial Principles ◽  
Definition Of ◽  
Image Position

AbstractWe introduce the definability strength of combinatorial principles. In terms of definability strength, a combinatorial principle is strong if solving a corresponding combinatorial problem could help in simplifying the definition of a definable set. We prove that some consequences of Ramsey’s Theorem for colorings of pairs could help in simplifying the definitions of some ${\rm{\Delta }}_2^0$ sets, while some others could not. We also investigate some consequences of Ramsey’s Theorem for colorings of longer tuples. These results of definability strength have some interesting consequences in reverse mathematics, including strengthening of known theorems in a more uniform way and also new theorems.

STRONG REDUCTIONS BETWEEN COMBINATORIAL PRINCIPLES

2016 ◽  
Vol 81 (4) ◽  
pp. 1405-1431 ◽  
Author(s):  
DAMIR D. DZHAFAROV
Keyword(s):  
Reverse Mathematics ◽  
Second Order ◽  
New Techniques ◽  
Ramsey's Theorem ◽  
Second Order Arithmetic ◽  
Ramsey’S Theorem ◽  
Problems And Solutions ◽  
Combinatorial Principles ◽  
Order Arithmetic ◽  
Image Position

AbstractThis paper is a contribution to the growing investigation of strong reducibilities between ${\rm{\Pi }}_2^1$ statements of second-order arithmetic, viewed as an extension of the traditional analysis of reverse mathematics. We answer several questions of Hirschfeldt and Jockusch [13] about Weihrauch (uniform) and strong computable reductions between various combinatorial principles related to Ramsey’s theorem for pairs. Among other results, we establish that the principle $SRT_2^2$ is not Weihrauch or strongly computably reducible to $D_{ < \infty }^2$, and that COH is not Weihrauch reducible to $SRT_{ < \infty }^2$, or strongly computably reducible to $SRT_2^2$. The last result also extends a prior result of Dzhafarov [9]. We introduce a number of new techniques for controlling the combinatorial and computability-theoretic properties of the problems and solutions we construct in our arguments.

Combinatorial principles weaker than Ramsey's Theorem for pairs

2007 ◽  
Vol 72 (1) ◽  
pp. 171-206 ◽  
Author(s):  
Denis R. Hirschfeldt ◽  
Richard A. Shore
Keyword(s):  
Reverse Mathematics ◽  
The Other ◽  
Base System ◽  
Ramsey's Theorem ◽  
Open Questions ◽  
Ramsey’S Theorem ◽  
Combinatorial Principles ◽  
Points Of View ◽  
The One ◽  
Infinite Linear

AbstractWe investigate the complexity of various combinatorial theorems about linear and partial orders, from the points of view of computability theory and reverse mathematics. We focus in particular on the principles ADS (Ascending or Descending Sequence), which states that every infinite linear order has either an infinite descending sequence or an infinite ascending sequence, and CAC (Chain-AntiChain), which states that every infinite partial order has either an infinite chain or an infinite antichain. It is wellknown that Ramsey's Theorem for pairs () splits into a stable version () and a cohesive principle (COH). We show that the same is true of ADS and CAC, and that in their cases the stable versions are strictly weaker than the full ones (which is not known to be the case for and ). We also analyze the relationships between these principles and other systems and principles previously studied by reverse mathematics, such as WKL0, DNR, and BΣ2. We show, for instance, that WKL0 is incomparable with all of the systems we study. We also prove computability-theoretic and conservation results for them. Among these results are a strengthening of the fact, proved by Cholak, Jockusch, and Slaman, that COH is -conservative over the base system RCA0. We also prove that CAC does not imply DNR which, combined with a recent result of Hirschfeldt, Jockusch. Kjos-Hanssen, Lempp, and Slaman, shows that CAC does not imply (and so does not imply ). This answers a question of Cholak, Jockusch, and Slaman.Our proofs suggest that the essential distinction between ADS and CAC on the one hand and on the other is that the colorings needed for our analysis are in some way transitive. We formalize this intuition as the notions of transitive and semitransitive colorings and show that the existence of homogeneous sets for such colorings is equivalent to ADS and CAC, respectively. We finish with several open questions.

NONSTANDARD MODELS IN RECURSION THEORY AND REVERSE MATHEMATICS

2014 ◽  
Vol 20 (2) ◽  
pp. 170-200 ◽  
Author(s):  
C. T. CHONG ◽  
WEI LI ◽  
YUE YANG
Keyword(s):  
Recursion Theory ◽  
Reverse Mathematics ◽  
Second Order ◽  
Ramsey's Theorem ◽  
Second Order Arithmetic ◽  
Ramsey’S Theorem ◽  
Nonstandard Models ◽  
Combinatorial Principles ◽  
Order Arithmetic ◽  
Effective Computability

AbstractWe give a survey of the study of nonstandard models in recursion theory and reverse mathematics. We discuss the key notions and techniques in effective computability in nonstandard models, and their applications to problems concerning combinatorial principles in subsystems of second order arithmetic. Particular attention is given to principles related to Ramsey’s Theorem for Pairs.

scholarly journals THE STRENGTH OF THE TREE THEOREM FOR PAIRS IN REVERSE MATHEMATICS

2016 ◽  
Vol 81 (4) ◽  
pp. 1481-1499 ◽  
Author(s):  
LUDOVIC PATEY
Keyword(s):  
Binary Tree ◽  
Reverse Mathematics ◽  
Theoretic Property ◽  
Ramsey's Theorem ◽  
Ramsey’S Theorem ◽  
Image Position ◽  
Weak König’S Lemma ◽  
König’S Lemma ◽  
Comprehension Axiom

AbstractNo natural principle is currently known to be strictly between the arithmetic comprehension axiom (ACA0) and Ramsey’s theorem for pairs ($RT_2^2$) in reverse mathematics. The tree theorem for pairs ($TT_2^2$) is however a good candidate. The tree theorem states that for every finite coloring over tuples of comparable nodes in the full binary tree, there is a monochromatic subtree isomorphic to the full tree. The principle $TT_2^2$ is known to lie between ACA0 and $RT_2^2$ over RCA0, but its exact strength remains open. In this paper, we prove that $RT_2^2$ together with weak König’s lemma (WKL0) does not imply $TT_2^2$, thereby answering a question of Montálban. This separation is a case in point of the method of Lerman, Solomon and Towsner for designing a computability-theoretic property which discriminates between two statements in reverse mathematics. We therefore put the emphasis on the different steps leading to this separation in order to serve as a tutorial for separating principles in reverse mathematics.

scholarly journals Reverse mathematics and a Ramsey-type König's Lemma

2012 ◽  
Vol 77 (4) ◽  
pp. 1272-1280 ◽  
Author(s):  
Stephen Flood
Keyword(s):  
Reverse Mathematics ◽  
Ramsey's Theorem ◽  
Weak Regularity ◽  
Ramsey’S Theorem ◽  
Ramsey Type ◽  
Weak König’S Lemma ◽  
König’S Lemma

AbstractIn this paper, we propose a weak regularity principle which is similar to both weak König's lemma and Ramsey's theorem. We begin by studying the computational strength of this principle in the context of reverse mathematics. We then analyze different ways of generalizing this principle.

Types omitted in uncountable models of arithmetic

1975 ◽  
Vol 40 (3) ◽  
pp. 317-320 ◽  
Author(s):  
Julia F. Knight
Keyword(s):  
Completeness Theorem ◽  
Elementary Extension ◽  
Ramsey's Theorem ◽  
Definable Set ◽  
Ramsey’S Theorem ◽  
Hanf Number ◽  
Definable Sets ◽  
Omitting Types ◽  
Infinite Set ◽  
Models Of Arithmetic

In [4] it is shown that if the structure omits a type Σ, and Σ is complete with respect to Th(), then there is a proper elementary extension of which omits Σ. This result is extended in the present paper. It is shown that Th() has models omitting Σ in all infinite powers.A type is a countable set of formulas with just the variable ν occurring free. A structure is said to omit the type Σ if no element of satisfies all of the formulas of Σ. A type Σ, in the same language as a theory T, is said to be complete with respect to T if (1) T ∪ Σ is consistent, and (2) for every formula φ(ν) of the language of T (with just ν free), either φ or ¬φ is in Σ.The proof of the result of this paper resembles Morley's proof [5] that the Hanf number for omitting types is . It is shown that there is a model of Th() which omits Σ and contains an infinite set of indiscernibles. Where Morley used the Erdös-Rado generalization of Ramsey's theorem, a definable version of the ordinary Ramsey's theorem is used here.The “omitting types” version of the ω-completeness theorem ([1], [3], [6]) is used, as it was in Morley's proof and in [4]. In [4], satisfaction of the hypotheses of the ω-completeness theorem followed from the fact that, in , any infinite, definable set can be split into two infinite, definable sets.

An ordinal partition avoiding pentagrams

2000 ◽  
Vol 65 (3) ◽  
pp. 969-978 ◽  
Author(s):  
Jean A. Larson
Keyword(s):  
Independent Set ◽  
Order Type ◽  
Ramsey's Theorem ◽  
Ramsey’S Theorem ◽  
Image Position

AbstractSuppose that α = γ + δ where γ ≥ δ > 0. Then there is a graph which has no independent set of order type and has no pentagram (a pentagram is a set of five points with all pairs joined by edges). In the notation of Erdős and Rado. who generalized Ramsey's Theorem to this setting.

scholarly journals Reverse mathematics, computability, and partitions of trees

2009 ◽  
Vol 74 (1) ◽  
pp. 201-215 ◽  
Author(s):  
Jennifer Chubb ◽  
Jeffry L. Hirst ◽  
Timothy H. McNicholl
Keyword(s):  
Binary Tree ◽  
Reverse Mathematics ◽  
Computability Theory ◽  
Ramsey's Theorem ◽  
Ramsey’S Theorem

AbstractWe examine the reverse mathematics and computability theory of a form of Ramsey's theorem in which the linear n-tuples of a binary tree are colored.

scholarly journals SEPARATING PRINCIPLES BELOW RAMSEY'S THEOREM FOR PAIRS

2013 ◽  
Vol 13 (02) ◽  
pp. 1350007 ◽  
Author(s):  
MANUEL LERMAN ◽  
REED SOLOMON ◽  
HENRY TOWSNER
Keyword(s):  
Big Five ◽  
Reverse Mathematics ◽  
Ramsey's Theorem ◽  
Open Questions ◽  
Ramsey’S Theorem

In recent years, there has been a substantial amount of work in reverse mathematics concerning natural mathematical principles that are provable from RT, Ramsey's Theorem for Pairs. These principles tend to fall outside of the "big five" systems of reverse mathematics and a complicated picture of subsystems below RT has emerged. In this paper, we answer two open questions concerning these subsystems, specifically that ADS is not equivalent to CAC and that EM is not equivalent to RT.

scholarly journals Π11-conservation of combinatorial principles weaker than Ramsey’s theorem for pairs

2012 ◽  
Vol 230 (3) ◽  
pp. 1060-1077 ◽  
Author(s):  
C.T. Chong ◽  
Theodore A. Slaman ◽  
Yue Yang
Keyword(s):  
Ramsey's Theorem ◽  
Ramsey’S Theorem ◽  
Combinatorial Principles
Sign in / Sign up

Export Citation Format

Share Document