Transfinite extensions of Friedberg's completeness criterion

1977 ◽  
Vol 42 (1) ◽  
pp. 1-10 ◽  
Author(s):  
John M. Macintyre
Keyword(s):  
Turing Degree ◽  
Completeness Criterion ◽  
Turing Reducibility ◽  
Answering Questions ◽  
Degrees Of Unsolvability

In [3] Friedberg showed that every Turing degree ≥ 0′ is the jump of some degree. Using the relativized version of this theorem it can be shown by finite induction that if a ≥ 0(n)0(n) then there is a b such that b(n) = a (our notation is defined in §1). It is natural to ask whether these results can be extended into the transfinite. Is it true for example, that whenever a ≥ 0(ω) there is a b such that = b(ω)= a? In §2 we use forcing to prove this result. (The usefulness of forcing in answering questions involving the jump operation on degrees of unsolvability has been previously demonstrated in Selman [5] where, for example, forcing was used to construct degrees a and b such that a(ω) = b(ω) = a ∪ b = 0(ω).) In §3 we generalize the methods of §2 to show that if α is a recursive ordinal and a ≥ 0(α) then there is a bsuch that b(α) = a, i.e. the Friedberg result can be extended to all recursive ordinal levels.Thomason [6] used a forcing argument to show: If (the Kleene set of notations for the recursive ordinals) then there is a B such that (the set of notations for ordinals recursive in B). In §4 we show this result holds when hyperarithmetic reducibility is replaced by Turing reducibility: If then there is a B such that .

scholarly journals FINDING THE LIMIT OF INCOMPLETENESS I

2020 ◽  
Vol 26 (3-4) ◽  
pp. 268-286
Author(s):  
YONG CHENG
Keyword(s):  
Model Theory ◽  
Recursion Theory ◽  
Minimal Degree ◽  
Incompleteness Theorem ◽  
Turing Degree ◽  
Turing Reducibility ◽  
Inseparable Pair

AbstractIn this paper, we examine the limit of applicability of Gödel’s first incompleteness theorem ($\textsf {G1}$ for short). We first define the notion “$\textsf {G1}$ holds for the theory $T$”. This paper is motivated by the following question: can we find a theory with a minimal degree of interpretation for which $\textsf {G1}$ holds. To approach this question, we first examine the following question: is there a theory T such that Robinson’s $\mathbf {R}$ interprets T but T does not interpret $\mathbf {R}$ (i.e., T is weaker than $\mathbf {R}$ w.r.t. interpretation) and $\textsf {G1}$ holds for T? In this paper, we show that there are many such theories based on Jeřábek’s work using some model theory. We prove that for each recursively inseparable pair $\langle A,B\rangle $, we can construct a r.e. theory $U_{\langle A,B\rangle }$ such that $U_{\langle A,B\rangle }$ is weaker than $\mathbf {R}$ w.r.t. interpretation and $\textsf {G1}$ holds for $U_{\langle A,B\rangle }$. As a corollary, we answer a question from Albert Visser. Moreover, we prove that for any Turing degree $\mathbf {0}< \mathbf {d}<\mathbf {0}^{\prime }$, there is a theory T with Turing degree $\mathbf {d}$ such that $\textsf {G1}$ holds for T and T is weaker than $\mathbf {R}$ w.r.t. Turing reducibility. As a corollary, based on Shoenfield’s work using some recursion theory, we show that there is no theory with a minimal degree of Turing reducibility for which $\textsf {G1}$ holds.

Wtt-degrees and T-degrees of r.e. sets

1983 ◽  
Vol 48 (4) ◽  
pp. 921-930 ◽  
Author(s):  
Michael Stob
Keyword(s):  
Minimal Pair ◽  
Turing Degree ◽  
Turing Reducibility

AbstractWe use some simple facts about the wtt-degrees of r.e. sets together with a construction to answer some questions concerning the join and meet operators in the r.e. degrees. The construction is that of an r.e. Turing degree a with just one wtt-degree in a such that a is the join of a minimal pair of r.e. degrees. We hope to illustrate the usefulness of studying the stronger reducibility orderings of r.e. sets for providing information about Turing reducibility.

m-topped degrees

2020 ◽  
pp. 134-148
Author(s):  
Rod Downey ◽  
Noam Greenberg
Keyword(s):  
Turing Degree ◽  
General Study ◽  
Turing Reducibility ◽  
The Many ◽  
Original Construction ◽  
Computable Presentations

This chapter assesses m-topped degrees. The notion of m-topped degrees comes from a general study of the interaction between Turing reducibility and stronger reducibilities among c.e. sets. For example, this study includes the contiguous degrees. A c.e. Turing degree d is m-topped if it contains a greatest degree among the many one degrees of c.e. sets in d. Such degrees were constructed in Downey and Jockusch. The dynamics of the cascading phenomenon occurring in the construction of m-topped degrees strongly resemble the dynamics of the embedding of the 1–3–1 lattice in the c.e. degrees. Similar dynamics occurred in the original construction of a noncomputable left–c.e. real with only computable presentations, which was discussed in the previous chapter.

Principal filters definable by parameters in 𝓔bT

2009 ◽  
Vol 19 (1) ◽  
pp. 153-167
Author(s):  
ANGSHENG LI ◽  
WEILIN LI ◽  
YICHENG PAN ◽  
LINQING TANG
Keyword(s):  
Turing Degree ◽  
Turing Degrees ◽  
Turing Reducibility

We show that there exist c.e. bounded Turing degrees a, b such that 0 < a < 0′, and that for any c.e. bounded Turing degree x, we have b ∨ x = 0′ if and only if x ≥ a. The result gives an unexpected definability theorem in the structure of bounded Turing reducibility.

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.

On degrees of unsolvability and complexity properties

1975 ◽  
Vol 40 (4) ◽  
pp. 529-540 ◽  
Author(s):  
Ivan Marques
Keyword(s):  
Turing Degree ◽  
Recursively Enumerable ◽  
Recursively Enumerable Sets ◽  
Complete Sets ◽  
Turing Complete ◽  
Degrees Of Unsolvability

In this paper we present two theorems concerning relationships between degrees of unsolvability of recursively enumerable sets and their complexity properties.The first theorem asserts that there are nonspeedable recursively enumerable sets in every recursively enumerable Turing degree. This theorem disproves the conjecture that all Turing complete sets are speedable, which arose from the fact that a rather inclusive subclass of the Turing complete sets, namely, the subcreative sets, consists solely of effectively speedable sets [2]. Furthermore, the natural construction to produce a nonspeedable set seems to lower the degree of the resulting set.The second theorem says that every speedable set has jump strictly above the jump of the recursive sets. This theorem is an expected one in view of the fact that all sets which are known to be speedable jump to the double jump of the recursive sets [4].After this paper was written, R. Soare [8] found a very useful characterization of the speedable sets which greatly facilitated the proofs of the results presented here. In addition his characterization implies that an r.e. degree a contains a speed-able set iff a′ > 0′.

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.

O tym, co minęło, lecz nie zostało zapomniane: Badania archeologiczne na terenie byłego obozu zagłady w Treblince

2012 ◽  
pp. 83-118
Author(s):  
Caroline Sturdy Colls
Keyword(s):  
Temporal Analysis ◽  
Archaeological Survey ◽  
Mass Graves ◽  
Non Invasive ◽  
Physical Evidence ◽  
Spatial And Temporal Analysis ◽  
The Holocaust ◽  
Public Consciousness ◽  
Level Of Knowledge ◽  
Answering Questions

Public impression of the Holocaust is unquestionably centred on knowledge about, and the image of, Auschwitz-Birkenau – the gas chambers, the crematoria, the systematic and industrialized killing of victims. Conversely, knowledge of the former extermination camp at Treblinka, which stands in stark contrast in terms of the visible evidence that survives pertaining to it, is less embedded in general public consciousness. As this paper argues, the contrasting level of knowledge about Auschwitz- Birkenau and Treblinka is centred upon the belief that physical evidence of the camps only survives when it is visible and above-ground. The perception of Treblinka as having been “destroyed” by the Nazis, and the belief that the bodies of all of the victims were cremated without trace, has resulted in a lack of investigation aimed at answering questions about the extent and nature of the camp, and the locations of mass graves and cremation pits. This paper discusses the evidence that demonstrates that traces of the camp do survive. It outlines how archival research and non-invasive archaeological survey has been used to re-evaluate the physical evidence pertaining to Treblinka in a way that respects Jewish Halacha Law. As well as facilitating spatial and temporal analysis of the former extermination camp, this survey has also revealed information about the cultural memory.

Sign in / Sign up

Export Citation Format

Share Document