A Survey of Recursive Combinatorics

نویسنده

  • William Gasarch
چکیده

4 Ramsey’s Theorem 12 4.1 Definitions and Classical Version . . . . . . . . . . . . . . . . 13 4.2 Recursive Analogue is False . . . . . . . . . . . . . . . . . . . 15 4.3 How Hard is it to Tell if a Homogeneous set is Recursive? . . . 16 4.4 Recursion-Theoretic Modifications . . . . . . . . . . . . . . . . 19 4.5 Connections to Proof Theory . . . . . . . . . . . . . . . . . . 23 4.6 Miscellaneous . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 4.6.1 2-colorings of [N] . . . . . . . . . . . . . . . . . . . . . 27 ∗Supported in part by NSF grants CCR-84-05079, CCR-88-03641, and CCR-90-20079.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Combinatorics of Flat Folds: a Survey∗

We survey results on the foldability of flat origami models. The main topics are the question of when a given crease pattern can fold flat, the combinatorics of mountain and valley creases, and counting how many ways a given crease pattern can be folded. In particular, we explore generalizations of Maekawa’s and Kawasaki’s Theorems, develop a necessary and sufficient condition for a given assig...

متن کامل

On the centroid of recursive trees

It follows from our results that as n → ∞ the average distance between the root and the (nearer) centroid node of a recursive tree Tn tends to 1; and the average value of the label of the (nearer) centroid node tends to 5/2.

متن کامل

Concerning cyclic group divisible designs with block size three

We determine a necessary and sufficient condition for the existence of a cyclic {3}-GDD with a uniform group size 6n. This provides a fundamental class of ingredients for some recursive constructions which settle existence of k-rotational Steiner triple systems completely.

متن کامل

A survey of the studies on Gallai and anti-Gallai graphs

The Gallai graph and the anti-Gallai graph of a graph G are edge disjoint spanning subgraphs of the line graph L(G). The vertices in the Gallai graph are adjacent if two of the end vertices of the corresponding edges in G coincide and the other two end vertices are nonadjacent in G. The anti-Gallai graph of G is the complement of its Gallai graph in L(G). Attributed to Gallai (1967), the study ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007