Diagonalization in degree constructions

1978 ◽  
Vol 43 (2) ◽  
pp. 280-283 ◽  
Author(s):  
D. Posner ◽  
R. Epstein
Keyword(s):  
Characteristic Function ◽  
Initial Segment ◽  
Partial Function ◽  
Natural Numbers ◽  
Degree Constructions ◽  
Degrees Of Unsolvability

We present two theorems whose applications are to eliminate diagonalization arguments from a variety of constructions of degrees of unsolvability.All definitions and notations come from [1, Chapter 1]. We give a brief resumé of them here.We identify a set with its characteristic function. (A(x)= 1 if x ∈ A and A (x) = 0 if x ∉ A.) A string σ is the restriction of a characteristic function to a finite initial segment of natural numbers, lh(σ) = length of σ = n + 1 if σ = A[n] for some set A. (A [n] is the restriction of A to {m: m ≤ n}.) If i = 0 or 1, σ * i is defined as the string of length lh(σ) + 1 such that σ * i ⊇ σ and σ * i(lh(σ)) = i. We write σ ∣ τ if σ ⊉ τ and τ ⊉ σ.{Φn} is a listing of the partial recursive functionals. We write “A ≤TB” (“A is Turing reducible to B”) if ∃n∀xΦn(B)(x) = A(x).A partial function, T, from strings to strings is a tree if T is order preserving and for all strings, σ, if one of T(σ * 0), T(σ * 1) is defined then T(σ), T(σ * 0), T(σ * 1) are all defined and T(σ * 0)∣(σ * 1).

Relative recursive enumerability of generic degrees

1991 ◽  
Vol 56 (3) ◽  
pp. 1075-1084 ◽  
Author(s):  
Masahiro Kumabe
Keyword(s):  
Characteristic Function ◽  
Initial Segment ◽  
Minimal Degree ◽  
Turing Degree ◽  
Natural Numbers ◽  
Recursive Enumerability ◽  
Degree Bounds ◽  
Generic Set ◽  
The Given ◽  
Dense Set

Let ω be the set of natural numbers, i.e. {0, 1, 2, 3, …}. A string is a mapping from an initial segment of ω into {0, 1}. We identify a set A ≤ ω with its characteristic function. A set A ≤ ω is called n-generic if it is Cohen-generic for n-quantifier arithmetic. This is equivalent to saying that for every set of strings S, there is a σ < A such that σ ∈ S or (∀ν ≥ σ)(ν ∉ S). By degree we mean Turing degree (of unsolvability). We call a degree n-generic if it has an n-generic representative. For a degree a, D(≤ a) denotes the set of degrees recursive in a.The relation between generic degrees and minimal degrees has been widely studied. Spector [9] proved the existence of minimal degrees. Shoenfield [8] simplified the proof by using trees. In the construction of a minimal degree, given σ we extend σ to ν so that ν is in the (splitting or nonsplitting) subtree of a given tree. But in the construction of a generic set, given σ we extend σ to ν to meet the given dense set. So these two constructions are quite different. Jockusch [5] showed that any 2-generic degree bounds no minimal degree. Chong and Jockusch [3] showed that any 1-generic degree below 0′ bounds no minimal degree.

Sublattices and Initial Segments of the Degrees of Unsolvability

1970 ◽  
Vol 22 (3) ◽  
pp. 569-581 ◽  
Author(s):  
S. K. Thomason
Keyword(s):  
Lower Bound ◽  
Upper Bound ◽  
Lattice Theory ◽  
Initial Segment ◽  
Finite Lattice ◽  
Equivalence Relations ◽  
Finite Lattices ◽  
Image Position ◽  
Degrees Of Unsolvability

In this paper we shall prove that every finite lattice is isomorphic to a sublattice of the degrees of unsolvability, and that every one of a certain class of finite lattices is isomorphic to an initial segment of degrees.Acknowledgment. I am grateful to Ralph McKenzie for his assistance in matters of lattice theory.1. Representation of lattices. The equivalence lattice of the set S consists of all equivalence relations on S, ordered by setting θ ≦ θ’ if for all a and b in S, a θ b ⇒ a θ’ b. The least upper bound and greatest lower bound in are given by the ⋃ and ⋂ operations:

scholarly journals Generalized cohesiveness

1999 ◽  
Vol 64 (2) ◽  
pp. 489-516 ◽  
Author(s):  
Tamara Hummel ◽  
Carl G. Jockusch
Keyword(s):  
Natural Numbers ◽  
Ramsey's Theorem ◽  
Ramsey’S Theorem ◽  
Infinite Set ◽  
Degrees Of Unsolvability ◽  
Computably Enumerable

AbstractWe study some generalized notions of cohesiveness which arise naturally in connection with effective versions of Ramsey's Theorem. An infinite set A of natural numbers is n-cohesive (respectively, n-r-cohesive) if A is almost homogeneous for every computably enumerable (respectively, computable) 2-coloring of the n-element sets of natural numbers. (Thus the 1-cohesive and 1-r-cohesive sets coincide with the cohesive and r-cohesive sets, respectively.) We consider the degrees of unsolvability and arithmetical definability levels of n-cohesive and n-r-cohesive sets. For example, we show that for all n ≥ 2, there exists a n-cohesive set. We improve this result for n = 2 by showing that there is a 2-cohesive set. We show that the n-cohesive and n-r-cohesive degrees together form a linear, non-collapsing hierarchy of degrees for n ≥ 2. In addition, for n ≥ 2 we characterize the jumps of n-cohesive degrees as exactly the degrees ≥ 0(n+1) and also characterize the jumps of the n-r-cohesive degrees.

Noninitial segments of the α-degrees

1973 ◽  
Vol 38 (3) ◽  
pp. 368-388 ◽  
Author(s):  
John M. Macintyre
Keyword(s):  
Distributive Lattice ◽  
Initial Segment ◽  
Elementary Theory ◽  
Recursion Theory ◽  
Partial Ordering ◽  
First Order ◽  
Order Language ◽  
Suitable Notion ◽  
The Universe ◽  
Degrees Of Unsolvability

Let α be an admissible ordinal and let L be the first order language with equality and a single binary relation ≤. The elementary theory of the α-degrees is the set of all sentences of L which are true in the universe of the α-degrees when ≤ is interpreted as the partial ordering of the α-degrees. Lachlan [6] showed that the elementary theory of the ω-degrees is nonaxiomatizable by proving that any countable distributive lattice with greatest and least members can be imbedded as an initial segment of the degrees of unsolvability. This paper deals with the extension of these results to α-recursion theory for an arbitrary countable admissible α > ω. Given α, we construct a set A with α-degree a such that every countable distributive lattice with greatest and least member is order isomorphic to a segment of α-degrees {d ∣ a ≤αd≤αb} for some α-degree b. As in [6] this implies that the elementary theory of the α-degrees is nonaxiomatizable and hence undecidable.A is constructed in §2. A is a set of integers which is generic with respect to a suitable notion of forcing. Additional applications of such sets are summarized at the end of the section. In §3 we define the notion of a tree and construct a particular tree T0 which is weakly α-recursive in A. Using T0 we can apply the techniques of [6] and [2] to α-recursion theory. In §4 we reduce our main results to three technical lemmas concerning systems of trees. These lemmas are proved in §5.

Frequency computations and the cardinality theorem

1992 ◽  
Vol 57 (2) ◽  
pp. 682-687 ◽  
Author(s):  
Valentina Harizanov ◽  
Martin Kummer ◽  
Jim Owings
Keyword(s):  
Characteristic Function ◽  
Recursive Function ◽  
Natural Numbers ◽  
New Techniques ◽  
Semirecursive Set ◽  
Image Position ◽  
Special Case ◽  
Full Proof

In 1960 G. F. Rose [R] made the following definition: A function f: ω → ω is (m, n)-computable, where 1 ≤ m ≤ n, iff there exists a recursive function R: ωn → ωn such that, for all n-tuples (x1,…, xn) of distinct natural numbers,J. Myhill (see [McN, p. 393]) asked if f had to be recursive if m was close to n; B. A. Trakhtenbrot [T] responded by showing in 1963 that f is recursive whenever 2m > n. This result is optimal, because, for example, the characteristic function of any semirecursive set is (1,2)-computable. Trakhtenbrot's work was extended by E. B. Kinber [Ki1], using similar techniques. In 1986 R. Beigel [B] made a powerful conjecture, much more general than the above results. Partial verification, falling short of a full proof, appeared in [O]. Using new techniques, M. Kummer has recently established the conjecture, which will henceforth be referred to as the cardinality theorem (CT). It is the goal of this paper to show the connections between these various theorems, to review the methods used by Trakhtenbrot, and to use them to prove a special case of CT strong enough to imply Kinber's theorem (see §3). We thus have a hierarchy of results, with CT at the top. We will also include a discussion of Kummer's methods, but not a proof of CT.

A General Framework for Priority Arguments

1995 ◽  
Vol 1 (2) ◽  
pp. 189-201 ◽  
Author(s):  
Steffen Lempp ◽  
Manuel Lerman
Keyword(s):  
Information Content ◽  
Equivalence Relation ◽  
Decision Problem ◽  
General Framework ◽  
Equivalence Classes ◽  
Partial Ordering ◽  
Decision Problems ◽  
Natural Numbers ◽  
Relative Complexity ◽  
Degrees Of Unsolvability

The degrees of unsolvability were introduced in the ground-breaking papers of Post [20] and Kleene and Post [7] as an attempt to measure theinformation contentof sets of natural numbers. Kleene and Post were interested in the relative complexity of decision problems arising naturally in mathematics; in particular, they wished to know when a solution to one decision problem contained the information necessary to solve a second decision problem. As decision problems can be coded by sets of natural numbers, this question is equivalent to: Given a computer with access to an oracle which will answer membership questions about a setA, can a program (allowing questions to the oracle) be written which will correctly compute the answers to all membership questions about a setB? If the answer is yes, then we say thatBisTuring reducibletoAand writeB≤TA. We say thatB≡TAifB≤TAandA≤TB. ≡Tis an equivalence relation, and ≤Tinduces a partial ordering on the corresponding equivalence classes; the poset obtained in this way is called thedegrees of unsolvability, and elements of this poset are calleddegrees.Post was particularly interested in computability from sets which are partially generated by a computer, namely, those for which the elements of the set can be enumerated by a computer.

On the T-degrees of partial functions

1985 ◽  
Vol 50 (3) ◽  
pp. 580-588 ◽  
Author(s):  
Paolo Casalegno
Keyword(s):  
Distributive Lattice ◽  
Initial Segment ◽  
Order Theory ◽  
Partial Functions ◽  
First Order ◽  
First Order Theory ◽  
Degrees Of Unsolvability

AbstractLet 〈, ≤ 〉 be the usual structure of the degrees of unsolvability and 〈, ≤ 〉 the structure of the T-degrees of partial functions defined in [7]. We prove that every countable distributive lattice with a least element can be isomorphically embedded as an initial segment of 〈, ≤ 〉: as a corollary, the first order theory of 〈, ≤ 〉 is recursively isomorphic to that of 〈, ≤ 〉. We also show that 〈, ≤ 〉 and 〈, ≤ 〉 are not elementarily equivalent.

scholarly journals Random Orders and Gambler's Ruin

10.37236/1920 ◽  
2005 ◽  
Vol 12 (1) ◽  
Author(s):  
Andreas Blass ◽  
Gábor Braun
Keyword(s):  
Random Process ◽  
Generating Function ◽  
Initial Segment ◽  
Linear Ordering ◽  
Natural Numbers ◽  
Gambler’S Ruin ◽  
Biased Coin

We prove a conjecture of Droste and Kuske about the probability that $1$ is minimal in a certain random linear ordering of the set of natural numbers. We also prove generalizations, in two directions, of this conjecture: when we use a biased coin in the random process and when we begin the random process with a specified ordering of a finite initial segment of the natural numbers. Our proofs use a connection between the conjecture and a question about the game of gambler's ruin. We exhibit several different approaches (combinatorial, probabilistic, generating function) to the problem, of course ultimately producing equivalent results.

Cuts, consistency statements and interpretations

1985 ◽  
Vol 50 (2) ◽  
pp. 423-441 ◽  
Author(s):  
Pavel Pudlák
Keyword(s):  
Crucial Role ◽  
Initial Segment ◽  
Free Variable ◽  
Finite Part ◽  
Natural Numbers ◽  
Successor Function ◽  
Recursively Enumerable

Interpretability in reflexive theories, especially in PA, has been studied in many papers; see e.g. [3], [6], [7], [10], [11], [15], [26]. It has been shown that reflexive theories exhibit many nice properties, e.g. (1) if T, S are recursively enumerable reflexive, then T is interpretable in S iff every Π1 sentence provable in T is provable in S; and (2) if S is reflexive, T is recursively enumerable and locally interpretable in S (i.e. every finite part of T is interpretable in S), then T is globally interpretable in S (Orey's theorem, cf. [3]).In this paper we want to study such statements for nonreflexive theories, especially for finitely axiomatizable theories (which are never reflexive). These theories behave differently, although they may be quite close to reflexive theories, as e.g. GB to ZF. An important fact is that in such theories one can define proper cuts. By a cut we mean a formula with one free variable which defines a nonempty initial segment of natural numbers closed under the successor function. The importance of cuts for interpretations in GB was realized already by Vopěnka and Hájek in [30]. Pioneering work was done by Solovay in [24]. There he developed the method of “shortening of cuts”. Using this method it is possible to replace any cut by a cut which is contained in it and has some desirable additional properties; in particular it can be closed under + and ·. This introduces ambiguity in the concept of arithmetic in theories which admit proper cuts, namely, which cut (closed under + and ·) should be called the arithmetic of the theory? Cuts played the crucial role also in [20].

Systems of notations and the ramified analytical hierarchy

1974 ◽  
Vol 39 (2) ◽  
pp. 243-253 ◽  
Author(s):  
Joan D. Lukas ◽  
Hilary Putnam
Keyword(s):  
Initial Segment ◽  
Turing Degrees ◽  
Power Set ◽  
The Church ◽  
Insight Into ◽  
Degrees Of Unsolvability ◽  
Number Class

The purpose of this paper is to show that arithmetically minimal systems of notations can be constructed which provide notations for all ramified analytical ordinals (all the ordinals in the minimum β-model for analysis). This is a much larger section of the second number class than the Church-Kleene constructive ordinals (although still only an initial segment of the ordinals). Arithmetic minimality means that if H is an “H-set” associated with an ordinal α in our system and H′ is an H-set associated with the same ordinal α in an arbitrary system of notations S, then H is arithmetical in H′. Thus the arithmetical degrees associated with ordinals in our system are as low as possible.In order to clarify the structure of degrees of unsolvability and, more generally, to gain a deeper insight into the power set of the integers, coarser but neater classifications than the structure of Turing degrees have been sought. Several hierarchies of sets of integers have been studied, each of which organizes a certain class of sets (or their degrees of unsolvability) into a well-ordering of levels with increasing complexity of nonrecursiveness appearing at each new level. The best known of these hierarchies is the Kleene hierarchy of arithmetical sets.

Sign in / Sign up

Export Citation Format

Share Document