Jumps of quasi-minimal enumeration degrees

1985 ◽  
Vol 50 (3) ◽  
pp. 839-848 ◽  
Author(s):  
Kevin McEvoy
Keyword(s):  
Turing Degree ◽  
Partial Functions ◽  
Enumeration Degrees ◽  
Enumeration Degree ◽  
Enumeration Reducibility ◽  
Degree Structure ◽  
Usual Topology ◽  
Definition Of ◽  
Second Category ◽  
Degrees Of Unsolvability

Enumeration reducibility is a reducibility between sets of natural numbers defined as follows: A is enumeration reducible to B if there is some effective operation on enumerations which when given any enumeration of B will produce an enumeration of A. One reason for interest in this reducibility is that it presents us with a natural reducibility between partial functions whose degree structure can be seen to extend the structure of the Turing degrees of unsolvability. In [7] Friedberg and Rogers gave a precise definition of enumeration reducibility, and in [12] Rogers presented a theorem of Medvedev [10] on the existence of what Case [1] was to call quasi-minimal degrees. Myhill [11] also defined this reducibility and proved that the class of quasi-minimal degrees is of second category in the usual topology. As Gutteridge [8] has shown that there are no minimal enumeration degrees (see Cooper [3]), the quasi-minimal degrees are very much of interest in the study of the structure of the enumeration degrees. In this paper we define a jump operator on the enumeration degrees which was introduced by Cooper [4], and show that every complete enumeration degree is the jump of a quasi-minimal degree. We also extend the notion of a high Turing degree to the enumeration degrees and construct a “high” quasi-minimal enumeration degree—a result which contrasts with Cooper's result in [2] that a high Turing degree cannot be minimal. Finally, we use the Sacks' Jump Theorem to characterise the jumps of the co-r.e. enumeration degrees.

Partial degrees and the density problem

1982 ◽  
Vol 47 (4) ◽  
pp. 854-859 ◽  
Author(s):  
S. B. Cooper
Keyword(s):  
Turing Degrees ◽  
Partial Functions ◽  
Enumeration Degrees ◽  
Computation Tree ◽  
Partial Degree ◽  
Degree Structure ◽  
Turing Reducibility ◽  
Density Problem ◽  
Effective Computability ◽  
Degrees Of Unsolvability

A notion of relative reducibility for partial functions, which coincides with Turing reducibility on the total functions, was first given by S.C. Kleene in Introduction to metamathematics [4]. Following Myhill [7], this was made more explicit in Hartley Rogers, Jr., Theory of recursive functions and effective computability [8, pp. 146, 279], where some basic properties of the partial degrees or (equivalent, but notationally more convenient) the enumeration degrees, were derived. The question of density of this proper extension of the degrees of unsolvability was left open, although Medvedev's result [6] that there are quasi-minimal partial degrees (that is, nonrecursive partial degrees with no nonrecursive total predecessors) is proved.In 1971, Sasso [9] introduced a finer notion of partial degree, which also contained the Turing degrees as a proper substructure (intuitively, Sasso's notion of reducibility between partial functions differed from Rogers' in that computations terminated when the oracle was asked for an undefined value, whereas a Rogers computation could be thought of as proceeding simultaneously along a number of different branches of a ‘consistent’ computation tree—cf. Sasso [10]). His construction of minimal ‘partial degrees’ [11], while of interest in itself, left open the analogous problem for the more standard partial degree structure.

A survey of partial degrees

1975 ◽  
Vol 40 (2) ◽  
pp. 130-140 ◽  
Author(s):  
Leonard P. Sasso
Keyword(s):  
Equivalence Classes ◽  
Turing Machines ◽  
Systems Of Equations ◽  
Partial Functions ◽  
Enumeration Degrees ◽  
Upper Semilattice ◽  
Enumeration Reducibility ◽  
Turing Reducibility ◽  
Recursive Operators ◽  
Relative Enumerability

Partial degrees are equivalence classes of partial natural number functions under some suitable extension of relative recursiveness to partial functions. The usual definitions of relative recursiveness, equivalent in the context of total functions, are distinct when extended to partial functions. The purpose of this paper is to compare the upper semilattice structures of the resulting degrees.Relative partial recursiveness of partial functions was first introduced in Kleene [2] as an extension of the definition by means of systems of equations of relative recursiveness of total functions. Kleene's relative partial recursiveness is equivalent to the relation between the graphs of partial functions induced by Rogers' [10] relation of relative enumerability (called enumeration reducibility) between sets. The resulting degrees are hence called enumeration degrees. In [2] Davis introduces completely computable or compact functionals of partial functions and uses these to define relative partial recursiveness of partial functions. Davis' functionals are equivalent to the recursive operators introduced in Rogers [10] where a theorem of Myhill and Shepherdson is used to show that the resulting reducibility, here called weak Turing reducibility, is stronger than (i.e., implies, but is not implied by) enumeration reducibility. As in Davis [2], relative recursiveness of total functions with range ⊆{0, 1} may be defined by means of Turing machines with oracles or equivalently as the closure of initial functions under composition, primitive re-cursion, and minimalization (i.e., relative μ-recursiveness). Extending either of these definitions yields a relation between partial functions, here called Turing reducibility, which is stronger still.

1-genericity in the enumeration degrees

1988 ◽  
Vol 53 (3) ◽  
pp. 878-887 ◽  
Author(s):  
Kate Copestake
Keyword(s):  
Partial Function ◽  
Partial Ordering ◽  
Turing Degree ◽  
Turing Degrees ◽  
Original Formulation ◽  
Partial Functions ◽  
Enumeration Degrees ◽  
Recursively Enumerable ◽  
Recursively Enumerable Sets ◽  
Generic Set

The structure of the Turing degrees of generic and n-generic sets has been studied fairly extensively, especially for n = 1 and n = 2. The original formulation of 1-generic set in terms of recursively enumerable sets of strings is due to D. Posner [11], and much work has since been done, particularly by C. G. Jockusch and C. T. Chong (see [5] and [6]).In the enumeration degrees (see definition below), attention has previously been restricted to generic sets and functions. J. Case used genericity for many of the results in his thesis [1]. In this paper we develop a notion of 1-generic partial function, and study the structure and characteristics of such functions in the enumeration degrees. We find that the e-degree of a 1-generic function is quasi-minimal. However, there are no e-degrees minimal in the 1-generic e-degrees, since if a 1-generic function is recursively split into finitely or infinitely many parts the resulting functions are e-independent (in the sense defined by K. McEvoy [8]) and 1-generic. This result also shows that any recursively enumerable partial ordering can be embedded below any 1-generic degree.Many results in the Turing degrees have direct parallels in the enumeration degrees. Applying the minimal Turing degree construction to the partial degrees (the e-degrees of partial functions) produces a total partial degree ae which is minimal-like; that is, all functions in degrees below ae have partial recursive extensions.

INITIAL SEGMENTS OF THE ENUMERATION DEGREES

2016 ◽  
Vol 81 (1) ◽  
pp. 316-325 ◽  
Author(s):  
HRISTO GANCHEV ◽  
ANDREA SORBI
Keyword(s):  
Local Structure ◽  
Initial Segment ◽  
Nonzero Element ◽  
Enumeration Degrees ◽  
Enumeration Degree ◽  
Image Position

AbstractUsing properties of${\cal K}$-pairs of sets, we show that every nonzero enumeration degreeabounds a nontrivial initial segment of enumeration degrees whose nonzero elements have all the same jump asa. Some consequences of this fact are derived, that hold in the local structure of the enumeration degrees, including: There is an initial segment of enumeration degrees, whose nonzero elements are all high; there is a nonsplitting high enumeration degree; every noncappable enumeration degree is high; every nonzero low enumeration degree can be capped by degrees of any possible local jump (i.e., any jump that can be realized by enumeration degrees of the local structure); every enumeration degree that bounds a nonzero element of strictly smaller jump, is bounding; every low enumeration degree below a non low enumeration degreeacan be capped belowa.

Classifying the computational complexity of problems

1987 ◽  
Vol 52 (1) ◽  
pp. 1-43 ◽  
Author(s):  
Larry Stockmeyer
Keyword(s):  
Computational Complexity ◽  
Computer Science ◽  
Turing Machine ◽  
Function Theory ◽  
Formal Models ◽  
Additional Structure ◽  
Survey Article ◽  
Definition Of ◽  
Computational Resources ◽  
Degrees Of Unsolvability

One of the more significant achievements of twentieth century mathematics, especially from the viewpoints of logic and computer science, was the work of Church, Gödel and Turing in the 1930's which provided a precise and robust definition of what it means for a problem to be computationally solvable, or decidable, and which showed that there are undecidable problems which arise naturally in logic and computer science. Indeed, when one is faced with a new computational problem, one of the first questions to be answered is whether the problem is decidable or undecidable. A problem is usually defined to be decidable if and only if it can be solved by some Turing machine, and the class of decidable problems defined in this way remains unchanged if “Turing machine” is replaced by any of a variety of other formal models of computation. The division of all problems into two classes, decidable or undecidable, is very coarse, and refinements have been made on both sides of the boundary. On the undecidable side, work in recursive function theory, using tools such as effective reducibility, has exposed much additional structure such as degrees of unsolvability. The main purpose of this survey article is to describe a branch of computational complexity theory which attempts to expose more structure within the decidable side of the boundary.Motivated in part by practical considerations, the additional structure is obtained by placing upper bounds on the amounts of computational resources which are needed to solve the problem. Two common measures of the computational resources used by an algorithm are time, the number of steps executed by the algorithm, and space, the amount of memory used by the algorithm.

scholarly journals Representasi Homoseksualitas dalam Film Indonesia Kontemporer

ATAVISME ◽  
2007 ◽  
Vol 10 (1) ◽  
pp. 59-73
Author(s):  
Maimunah Maimunah
Keyword(s):  
Paradigm Shift ◽  
New Order ◽  
Sexual Diversity ◽  
Queer Cinema ◽  
Sexual Orientations ◽  
Rock N Roll ◽  
Definition Of ◽  
Second Category ◽  
Representation Of Sexuality ◽  
Male To Female

This paper examines the emergence of non-normative sexual orientations in contemporary Indonesian films. Unlike the representation of sexuality in New Order Indonesian films, which centred on the female reproductive role and presented the nation as constructed of heterosexual families rather than individual citizens, a number of 200()s Indonesian films can be seen as negotiations of new understandings of sexual diversity and individual subjectivity. These films represent a challenge to monolithic and essentialist constructions of sexuality in Indonesia, and portray characters and situations in ways that seem to fulfil the five selection criteria which Griffin and Benshoff (2006) apply to the definition of 'queer' cinema. As such, they are indicative of a paradigm shift in Indonesian cinema, which needs to be studied in association with broader patterns of social and political change. The paper describes three categories in the representation of sexual minorities in contemporary Indonesian films. The first category is represented by films such as Arisanl and , Gie, which portray characters and situations deal with male homosexual subjectivity or homoeroticism. The second category concerns films of this type that portray female characters, such as Detik Terakhirand TentangDia. In the third category are films which depict waria (male to female transgender characters) and transsexuals, represented by Panggil Aku Puspa and Realita Cinta dan Rock n Roll. The paper examines these films in the light of Boellstorff's (2005) study of gay and lesbi communities and subjectivities in Indonesia, as a way of situating them in a larger cultural picture. It suggests that the makers of these films are attempting to change the perception of their audiences about non-normative sexualities, and investigates the strategic devices used by the film makers to subvert censorship codes and social taboos in a country where homosexual behaviour is accommodated, but homosexual identities remain outside the range of socially and culturally-sanctioned subjectivities.

Strengthening prompt simplicity

2011 ◽  
Vol 76 (3) ◽  
pp. 946-972
Author(s):  
David Diamondstone ◽  
Keng Meng Ng
Keyword(s):  
Cost Function ◽  
Turing Degree ◽  
Limit Condition ◽  
Definition Of

AbstractWe introduce a natural strengthening of prompt simplicity which we call strong promptness, and study its relationship with existing lowness classes. This notion provides a ≤wtt version of superlow cuppability. We show that every strongly prompt c.e. set is superlow cuppable. Unfortunately, strong promptness is not a Turing degree notion, and so cannot characterize the sets which are superlow cuppable. However, it is a wtt-degree notion, and we show that it characterizes the degrees which satisfy a wtt-degree notion very close to the definition of superlow cuppability.Further, we study the strongly prompt c.e. sets in the context of other notions related promptness, superlowness, and cupping. In particular, we show that every benign cost function has a strongly prompt set which obeys it, providing an analogue to the known result that every cost function with the limit condition has a prompt set which obeys it. We also study the effect that lowness properties have on the behaviour of a set under the join operator. In particular we construct an array noncomputable c.e. set whose join with every low c.e. set is low.

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.

Bounded enumeration reducibility and its degree structure

2011 ◽  
Vol 51 (1-2) ◽  
pp. 163-186 ◽  
Author(s):  
Daniele Marsibilio ◽  
Andrea Sorbi
Keyword(s):  
Enumeration Reducibility ◽  
Degree Structure
Sign in / Sign up

Export Citation Format

Share Document