The countably based functionals

1983 ◽  
Vol 48 (2) ◽  
pp. 458-474 ◽  
Author(s):  
John P. Hartley
Keyword(s):  
Finite Type ◽  
Recursion Theory ◽  
Type Structure ◽  
Topological Properties ◽  
Natural Numbers ◽  
Finite Amount ◽  
Amount Of Information ◽  
Natural Concept ◽  
Higher Types

In [5], Kleene extended previous notions of computations to objects of higher finite type in the maximal type-structure of functionals given by:Tp(0) = N = the natural numbers,Tp(n + 1) = NTp(n) = the set of total maps from Tp(n) to N.He gave nine schemata, S1–S9, for describing algorithms for computations from a finite list of functionals, and indices to denote these algorithms. It is generally agreed that S1-S9 give a natural concept of computations in higher types.The type-structure of countable functions, Ct(n) for n ϵ N, was first developed by Kleene [6] and Kreisel [7]. It arises from the notions of ‘constructivity’, and has been extensively studied as a domain for higher type recursion theory. Each countable functional is globally described by a countable amount of information coded in its associate, and it is determined locally by a finite amount of information about its argument. The countable functionals are well summarised in Normann [9], and treated in detail in Normann [8].The purpose of this paper is to discuss a generalisation of the countable functionals, which we shall call the countably based functions, Cb(n) for n ϵ N. It is suggested by the notions of ‘predicativity’, in which we view N as a completed totality, and build higher types on it in a constructive manner. So we shall allow quantification over N and include application of 2E in our schemata. Each functional is determined locally by a countable amount of information about its argument, and so is globally described by a continuum of information coded in its associate, which will now be a type-2 object. This generalisation, obtained via associates, was proposed by Wainer, and seems to reflect topological properties of the countable functionals.

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.

Type two partial degrees

1978 ◽  
Vol 43 (4) ◽  
pp. 623-629
Author(s):  
Ko-Wei Lih
Keyword(s):  
Recursive Function ◽  
Natural Extension ◽  
Degree Theory ◽  
Recursion Theory ◽  
Natural Numbers ◽  
Partial Functions ◽  
Reduction Procedure ◽  
Turing Reducibility

Roughly speaking partial degrees are equivalence classes of partial objects under a certain notion of relative recursiveness. To make this notion precise we have to state explicitly (1) what these partial objects are; (2) how to define a suitable reduction procedure. For example, when the type of these objects is restricted to one, we may include all possible partial functions from natural numbers to natural numbers as basic objects and the reduction procedure could be enumeration, weak Turing, or Turing reducibility as expounded in Sasso [4]. As we climb up the ladder of types, we see that the usual definitions of relative recursiveness, equivalent in the context of type-1 total objects and functions, may be extended to partial objects and functions in quite different ways. First such generalization was initiated by Kleene [2]. He considers partial functions with total objects as arguments. However his theory suffers the lack of transitivity, i.e. we may not obtain a recursive function when we substitute a recursive function into a recursive function. Although Kleene's theory provides a nice background for the study of total higher type objects, it would be unsatisfactory when partial higher type objects are being investigated. In this paper we choose the hierarchy of hereditarily consistent objects over ω as our universe of discourse so that Sasso's objects are exactly those at the type-1 level. Following Kleene's fashion we define relative recursiveness via schemes and indices. Yet in our theory, substitution will preserve recursiveness, which makes a degree theory of partial higher type objects possible. The final result will be a natural extension of Sasso's Turing reducibility. Due to the abstract nature of these objects we do not know much about their behaviour except at the very low types. Here we pay our attention mainly to type-2 objects. In §2 we formulate basic notions and give an outline of our recursion theory of partial higher type objects. In §3 we introduce the definitions of singular degrees and ω-consistent degrees which are two important classes of type-2 objects that we are most interested in.

Ideal convergent sequence spaces of fuzzy star–shaped numbers

2021 ◽  
pp. 1-8
Author(s):  
Vakeel A. Khan ◽  
Umme Tuba ◽  
SK. Ashadul Rahama ◽  
Ayaz Ahmad
Keyword(s):  
Fuzzy Sets ◽  
Convergent Sequence ◽  
Sequence Spaces ◽  
Topological Properties ◽  
Natural Numbers

In 1990, Diamond [16] primarily established the base of fuzzy star–shaped sets, an extension of fuzzy sets and numerous of its properties. In this paper, we aim to generalize the convergence induced by an ideal defined on natural numbers ℕ , introduce new sequence spaces of fuzzy star–shaped numbers in ℝ n and examine various algebraic and topological properties of the new corresponding spaces as well. In support of our results, we provide several examples of these new resulting sequences.

scholarly journals Hadamard–Perron theorems and effective hyperbolicity

2014 ◽  
Vol 36 (1) ◽  
pp. 23-63 ◽  
Author(s):  
VAUGHN CLIMENHAGA ◽  
YAKOV PESIN
Keyword(s):  
Closing Lemma ◽  
Stable And Unstable Manifolds ◽  
Local Dynamics ◽  
Local Diffeomorphisms ◽  
Finite Amount ◽  
Amount Of Information ◽  
Unstable Manifolds

We prove several new versions of the Hadamard–Perron theorem, which relates infinitesimal dynamics to local dynamics for a sequence of local diffeomorphisms, and in particular establishes the existence of local stable and unstable manifolds. Our results imply the classical Hadamard–Perron theorem in both its uniform and non-uniform versions, but also apply much more generally. We introduce a notion of ‘effective hyperbolicity’ and show that if the rate of effective hyperbolicity is asymptotically positive, then the local manifolds are well behaved with positive asymptotic frequency. By applying effective hyperbolicity to finite-orbit segments, we prove a closing lemma whose conditions can be verified with a finite amount of information.

scholarly journals Type 2 recursion theory

1985 ◽  
Vol 38 ◽  
pp. 17-33 ◽  
Author(s):  
Klaus Weihrauch
Keyword(s):  
Recursion Theory

Turing reducibility and Turing degrees

2018 ◽  
Author(s):  
Harold Hodes
Keyword(s):  
Computational Complexity ◽  
Recursion Theory ◽  
Turing Degrees ◽  
Natural Numbers ◽  
Mathematical Objects ◽  
Classical Setting ◽  
Turing Reducibility

A reducibility is a relation of comparative computational complexity (which can be made precise in various non-equivalent ways) between mathematical objects of appropriate sorts. Much of recursion theory concerns such relations, initially between sets of natural numbers (in so-called classical recursion theory), but later between sets of other sorts (in so-called generalized recursion theory). This article considers only the classical setting. Also Turing first defined such a relation, now called Turing- (or just T-) reducibility; probably most logicians regard it as the most important such relation. Turing- (or T-) degrees are the units of computational complexity when comparative complexity is taken to be T-reducibility.

Colimit completions and the effective topos

1990 ◽  
Vol 55 (2) ◽  
pp. 678-699 ◽  
Author(s):  
Edmund Robinson ◽  
Giuseppe Rosolini
Keyword(s):  
Order Type ◽  
Higher Order ◽  
Type Structure ◽  
The Family ◽  
Higher Types ◽  
Polymorphic Type ◽  
Original Approach ◽  
Effective Operators

The family of readability toposes, of which the effective topos is the best known, was discovered by Martin Hyland in the late 1970's. Since then these toposes have been used for several purposes. The effective topos itself was originally intended as a category in which various recursion-theoretic or effective constructions would live as natural parts of the higher-order type structure. For example the hereditary effective operators become the higher types over N (Hyland [1982]), and effective domains become the countably-based domains in the topos (McCarty [1984], Rosolini [1986]). However, following the discovery by Moggi and Hyland that it contained nontrivial small complete categories, the effective topos has also been used to provide natural models of polymorphic type theories, up to and including the theory of constructions (Hyland [1987], Hyland, Robinson and Rosolini [1987], Scedrov [1987], Bainbridge et al. [1987]).Over the years there have also been several different constructions of the topos. The original approach, as in Hyland [1982], was to construct the topos by first giving a notion of Pω-valued set. A Pω-valued set is a set X together with a function =x: X × X → Pω. The elements of X are to be thought of as codes, or as expressions denoting elements of some “real underlying” set in the topos. Given a pair (x,x′) of elements of X, the set =x (x,x′) (generally written ) is the set of codes of proofs that the element denoted by x is equal to the element denoted by x′.

On finite type 3-manifold invariants IV: comparison of definitions

1997 ◽  
Vol 122 (2) ◽  
pp. 291-300 ◽  
Author(s):  
STAVROS GAROUFALIDIS ◽  
JEROME LEVINE
Keyword(s):  
Finite Type ◽  
Integral Homology ◽  
Finite Type Invariants ◽  
Type 3

The present paper is a continuation of [Ga], [GL1] and [GO]. Using a key lemma we compare two currently existing definitions of finite type invariants of oriented integral homology spheres and show that type 3m invariants in the sense of Ohtsuki [Oh] are included in type m invariants in the sense of the first author [Ga]. This partially answers question 1 of [Ga]. We show that type 3m invariants of integral homology spheres in the sense of Ohtsuki map to type 2m invariants of knots in S3, thus answering question 2 from [Ga].

Sign in / Sign up

Export Citation Format

Share Document