✦ LIBER ✦

Enumerating orientations of ordered sets

✍ Scribed by Wei-Ping Liu; Ivan Rival

Publisher: Elsevier Science
Year: 1991
Tongue: English
Weight: 488 KB
Volume: 88
Category: Article
ISSN: 0012-365X
DOI: 10.1016/0012-365x(91)90012-q

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Coding in the Partial Order of Enumerabl

Coding in the Partial Order of Enumerable Sets

✍ Leo Harrington; André Nies 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 489 KB

We develop methods for coding with first-order formulas into the partial order E of enumerable sets under inclusion. First we use them to reprove and generalize the (unpublished) result of the first author that the elementary theory of E has the same computational complexity as the theory of the nat

Oriented matroids and multiply ordered s

Oriented matroids and multiply ordered sets

✍ Jim Lawrence 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 795 KB

ENUMERATION OF SOME CLASSES OF RECURSIVE

ENUMERATION OF SOME CLASSES OF RECURSIVELY ENUMERABLE SETS

✍ Kempachiro Ohashi 📂 Article 📅 1964 🏛 John Wiley and Sons 🌐 English ⚖ 318 KB

Differences of Computably Enumerable Set

Differences of Computably Enumerable Sets

✍ Steffen Lempp; André Nies 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 135 KB

Sums of lexicographically ordered sets

✍ M.D. Atkinson; A. Negro; N. Santoro 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 458 KB

The Index Set of Injectively Enumerable

The Index Set of Injectively Enumerable Classes of Recursively Enumerable Sets in ∑5-Complete

✍ Stephan Wehner 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 372 KB

## Abstract I introduce an effective enumeration of all effective enumerations of classes of r. e. sets and define with this the index set __IE__ of injectively enumerable classes. It is easy to see that this set is ∑~5~ in the Arithmetical Hierarchy and I describe a proof for the ∑~5~‐hardness of