Diagonals and semihyperhypersimple sets

1991 ◽  
Vol 56 (3) ◽  
pp. 1068-1074 ◽  
Author(s):  
Martin Kummer
Keyword(s):  
Recursion Theory ◽  
Index Set ◽  
Computable Numbering ◽  
Recursive Functions ◽  
Simple Set ◽  
Elementary Lattice ◽  
Computable Numberings ◽  
Partial Recursive Functions

The most basic construction of an r.e. nonrecursive set—e.g. of the halting problem—proceeds by taking the diagonal of a recursive enumeration of all r.e. sets. We will answer the question of which r.e. sets can be constructed in this manner.If ψ is a computable numbering of some class of partial recursive functions, we define the diagonal of ψ to be the set Kψ ≔ {i ∈ ω ∣ ψi(i)↓}- It is well known that Kφ is creative if φ is a Gödelnumbering, and that for each creative set K there exists a Gödelnumbering φ such that K = Kφ. That is to say, the class of diagonals of Gödelnumberings is characterized as the class of creative sets. This class was shown to be elementary lattice theoretic (e.l.t.) by Harrington (see [So87, XV. 1.1]).We give a characterization of diagonals of arbitrary computable numberings of the class P1 of all partial recursive functions. To this end we introduce the notion of a semihyperhypersimple (shhs) set, which generalizes the notion of hyperhypersimplicity to nonsimple sets. It is shown that the diagonals of numberings of P1 are exactly the non-shhs sets. Then, properties of shhs sets are discussed. For example, for each nonrecursive r.e. set A there exists a nonrecursive shhs set B ≤TA, but not every r.e. T-degree contains a shhs set. These results build upon previous work by Downey and Stob [DSta].The question whether the property “shhs” is (elementary) lattice theoretic remains open. A positive answer would give both an analog of Harrington's result mentioned above, and a generalization of the well-known fact, due to Lachlan [La68], that hyperhypersimplicity is e.l.t. Therefore, we suspect that shhs sets turn out to be useful in the study of the lattice of r.e. sets.Previously, for several constructions from recursion theory the role of the underlying numbering of P1 was investigated; see Martin ([Ma66a] or [So87, V.4.1]) and Lachlan ([La75] or [Od89, III.9.2]) for Post's simple set, and Jockusch and Soare ([JS73]; cf. also [So87, XII.3.6, 3.7]) for Post's hypersimple set. However, only Gödelnumberings were considered. An explanation for the greater variety which arises when arbitrary numberings of P1 are admitted is provided by the fact that the index set of Gödelnumberings is less complex than the index set of all numberings of P1. The former is Σ1-complete; the latter is Π4-complete.

Diagonals and -maximal sets

1994 ◽  
Vol 59 (1) ◽  
pp. 60-72 ◽  
Author(s):  
Eberhard Herrmann ◽  
Martin Kummer
Keyword(s):  
Important Class ◽  
Computable Numbering ◽  
Halting Problem ◽  
Recursive Functions ◽  
Elementary Lattice ◽  
Partial Recursive Functions ◽  
Definition Of ◽  
Simple Sets

In analogy to the definition of the halting problem K, an r.e. set A is called a diagonal iff there is a computable numbering ψ of the class of all partial recursive functions such that A = {i ∈ ω: ψi(i)↓} (in that case we say that A is the diagonal of ψ). This notion has been introduced in [10]. It captures all r.e. sets that can be constructed by diagonalization.It was shown that any nonrecursive r.e. T-degree contains a diagonal, that for any diagonal A there is an r.e. nonrecursive nondiagonal B ≤TA, and that there are r.e. degrees a such that any r.e. set from a is a diagonal.In §2 of the present paper we show that the property “A is a diagonal” is elementary lattice theoretic (e.l.t.). This result complements and generalizes previous results of Harrington and Lachlan, respectively. Harrington (see [16, XV. 1]) proved that the property of being the diagonal of some Gödelnumbering (i.e., of being creative) is e.l.t., and Lachlan [12] proved that the property of being a simple diagonal (i.e., of being simple and not hh-simple [10]) is e.l.t.In §§3 and 4 we study the position of diagonals and nondiagonals inside the lattice of r.e. sets. We concentrate on an important class of nondiagonals, generalizing the maximal and hemimaximal sets: the -maximal sets. Using the results from [6] we are able to classify the -maximal sets that can be obtained as halfs of splittings of hh-simple sets.

Recursive functions in basic logic

1956 ◽  
Vol 21 (4) ◽  
pp. 337-346 ◽  
Author(s):  
Frederic B. Fitch
Keyword(s):  
Basic Logic ◽  
Recursive Functions ◽  
Numerical Equality ◽  
Partial Recursive Functions ◽  
Image Position ◽  
Primitive Recursive ◽  
Double Arrow

1.1 The system K* of basic logic, as presented in a previous paper, will be shown to be formalizable in an alternative way according to which the rule [E],is replaced by the rule [F],1.2. General recursive functions will be shown to be definable in K* in a way that retains functional notation, so that the equation,will be formalized in K* by the formula,where ‘f’, ‘p1’, … ‘pn’ respectively denote φ, x1, …, xn, and where ‘≐’ plays the role of numerical equality. Partial recursive functions may be handled in a similar way. The rule [E] is not required for dealing with primitive recursive functions by this method.1.3. An operator ‘G’ will be defined such that ‘[Ga ≐ p]’ is a theorem of K* if and only if ‘p’ denotes the Gödel number of ‘a’.1.4. In reformulating K* we assume ‘o0’, ‘o1,’ ‘o2’, …, have been so chosen that we can determine effectively whether or not a given U-expression is the mth member of the above series. The revised rules for K* are then as follows. (Double-arrow forms of these rules are derivable, except in the case of rule [V].)

The hereditary partial effective functionals and recursion theory in higher types

1984 ◽  
Vol 49 (4) ◽  
pp. 1319-1332 ◽  
Author(s):  
G. Longo ◽  
E. Moggi
Keyword(s):  
Recursion Theory ◽  
Type Structure ◽  
Natural Numbers ◽  
Recursive Functions ◽  
Partial Recursive Functions ◽  
Higher Types ◽  
Elementary Technique

AbstractA type-structure of partial effective functionals over the natural numbers, based on a canonical enumeration of the partial recursive functions, is developed. These partial functionals, defined by a direct elementary technique, turn out to be the computable elements of the hereditary continuous partial objects; moreover, there is a commutative system of enumerations of any given type by any type below (relative numberings).By this and by results in [1] and [2], the Kleene-Kreisel countable functionals and the hereditary effective operations (HEO) are easily characterized.

Index sets of finite classes of recursively enumerable sets

1969 ◽  
Vol 34 (1) ◽  
pp. 39-44 ◽  
Author(s):  
Louise Hay
Keyword(s):  
Index Set ◽  
Recursive Functions ◽  
Recursively Enumerable ◽  
Index Sets ◽  
Recursively Enumerable Sets ◽  
Partial Recursive Functions ◽  
Recursive Isomorphism ◽  
Standard Enumeration

Let q0, q1,… be a standard enumeration of all partial recursive functions of one variable. For each i, let wi = range qi and for any recursively enumerable (r.e.) set α, let θα = {n | wn = α}. If A is a class of r.e. sets, let θA = the index set of A = {n | wn ∈ A}. It is the purpose of this paper to classify the possible recursive isomorphism types of index sets of finite classes of r.e. sets. The main theorem will also provide an answer to the question left open in [2] concerning the possible double isomorphism types of pairs (θα, θβ) where α ⊂ β.

TRUNCATION AND SEMI-DECIDABILITY NOTIONS IN APPLICATIVE THEORIES

2018 ◽  
Vol 83 (3) ◽  
pp. 967-990
Author(s):  
GERHARD JÄGER ◽  
TIMOTEJ ROSEBROCK ◽  
SATO KENTARO
Keyword(s):  
Recursion Theory ◽  
Natural Numbers ◽  
First Order ◽  
Recursive Functions ◽  
Partial Recursive Functions

AbstractBON+ is an applicative theory and closely related to the first order parts of the standard systems of explicit mathematics. As such it is also a natural framework for abstract computations. In this article we analyze this aspect of BON+ more closely. First a point is made for introducing a new operation τN, called truncation, to obtain a natural formalization of partial recursive functions in our applicative framework. Then we introduce the operational versions of a series of notions that are all equivalent to semi-decidability in ordinary recursion theory on the natural numbers, and study their mutual relationships over BON+ with τN.

Recursion theory and the lambda-calculus

1982 ◽  
Vol 47 (1) ◽  
pp. 67-83 ◽  
Author(s):  
Robert E. Byerly
Keyword(s):  
Lambda Calculus ◽  
Recursion Theory ◽  
Natural Class ◽  
Recursive Functions ◽  
Partial Recursive Functions

AbstractA semantics for the lambda-calculus due to Friedman is used to describe a large and natural class of categorical recursion-theoretic notions. It is shown that if e1 and e2 are gödel numbers for partial recursive functions in two standard ω-URS's which both act like the same closed lambda-term, then there is an isomorphism of the two ω-URS's which carries e1 to e2.

On homogeneity and definability in the first-order theory of the Turing degrees

1982 ◽  
Vol 47 (1) ◽  
pp. 8-16 ◽  
Author(s):  
Richard A. Shore
Keyword(s):  
Recursion Theory ◽  
Order Theory ◽  
Partial Ordering ◽  
Turing Degrees ◽  
First Order ◽  
Recursive Functions ◽  
First Order Theory ◽  
Partial Recursive Functions ◽  
Carry Over

Relativization—the principle that says one can carry over proofs and theorems about partial recursive functions and Turing degrees to functions partial recursive in any given set A and the Turing degrees of sets in which A is recursive—is a pervasive phenomenon in recursion theory. It led H. Rogers, Jr. [15] to ask if, for every degree d, (≥ d), the partial ordering of Turing degrees above d, is isomorphic to all the degrees . We showed in Shore [17] that this homogeneity conjecture is false. More specifically we proved that if, for some n, the degree of Kleene's (the complete set) is recursive in d(n) then ≇ (≤ d). The key ingredient of the proof was a new version of a result from Nerode and Shore [13] (hereafter NS I) that any isomorphism φ: → (≥ d) must be the identity on some cone, i.e., there is an a called the base of the cone such that b ≥ a ⇒ φ(b) = b. This result was combined with information about minimal covers from Jockusch and Soare [8] and Harrington and Kechris [3] to derive a contradiction from the existence of such an isomorphism if deg() ≤ d(n).

Kleene index sets and functional m-degrees

1983 ◽  
Vol 48 (3) ◽  
pp. 829-840 ◽  
Author(s):  
Jeanleah Mohrherr
Keyword(s):  
Partial Order ◽  
Turing Degree ◽  
Index Set ◽  
Natural Embedding ◽  
Recursive Functions ◽  
Index Sets ◽  
Partial Recursive Functions

AbstractA many-one degree is functional if it contains the index set of some class of partial recursive functions but does not contain an index set of a class of r.e. sets. We give a natural embedding of the r.e. m-degrees into the functional degrees of 0′. There are many functional degrees in 0′ in the sense that every partial-order can be embedded. By generalizing, we show there are many functional degrees in every complete Turing degree.There is a natural tie between the studies of index sets and partial-many-one reducibility. Every partial-many-one degree contains one or two index sets.

An invariance notion in recursion theory

1982 ◽  
Vol 47 (1) ◽  
pp. 48-66 ◽  
Author(s):  
Robert E. Byerly
Keyword(s):  
Recursion Theory ◽  
Recursive Functions ◽  
Recursively Enumerable ◽  
Recursively Enumerable Sets ◽  
Partial Recursive Functions

AbstractA set of gödel numbers is invariant if it is closed under automorphisms of (ω, ·), where ω is the set of all gödel numbers of partial recursive functions and · is application (i.e., n · m ≃ φn(m)). The invariant arithmetic sets are investigated, and the invariant recursively enumerable sets and partial recursive functions are partially characterized.

Digital x-ray mapping of nanometer-size supported bimetallic catalysts

1988 ◽  
Vol 46 ◽  
pp. 530-531
Author(s):  
L. T. Germinario
Keyword(s):  
Background Radiation ◽  
Metal Cluster ◽  
Single Element ◽  
Beam Diameter ◽  
X Rays ◽  
X Ray ◽  
Major Interest ◽  
Induced Changes

Understanding the role of metal cluster composition in determining catalytic selectivity and activity is of major interest in heterogeneous catalysis. The electron microscope is well established as a powerful tool for ultrastructural and compositional characterization of support and catalyst. Because the spatial resolution of x-ray microanalysis is defined by the smallest beam diameter into which the required number of electrons can be focused, the dedicated STEM with FEG is the instrument of choice. The main sources of errors in energy dispersive x-ray analysis (EDS) are: (1) beam-induced changes in specimen composition, (2) specimen drift, (3) instrumental factors which produce background radiation, and (4) basic statistical limitations which result in the detection of a finite number of x-ray photons. Digital beam techniques have been described for supported single-element metal clusters with spatial resolutions of about 10 nm. However, the detection of spurious characteristic x-rays away from catalyst particles produced images requiring several image processing steps.

Sign in / Sign up

Export Citation Format

Share Document