Page 1 Next

Displaying 1 – 20 of 50

Showing per page

Almost locatedness in uniform spaces

Douglas Bridges, Hajime Ishihara, Ray Mines, Fred Richman, Peter Schuster, Luminiţa Vîţă (2007)

Czechoslovak Mathematical Journal

A weak form of the constructively important notion of locatedness is lifted from the context of a metric space to that of a uniform space. Certain fundamental results about almost located and totally bounded sets are then proved.

Computable structures and operations on the space of continuous functions

Alexander G. Melnikov, Keng Meng Ng (2016)

Fundamenta Mathematicae

We use ideas and machinery of effective algebra to investigate computable structures on the space C[0,1] of continuous functions on the unit interval. We show that (C[0,1],sup) has infinitely many computable structures non-equivalent up to a computable isometry. We also investigate if the usual operations on C[0,1] are necessarily computable in every computable structure on C[0,1]. Among other results, we show that there is a computable structure on C[0,1] which computes + and the scalar multiplication,...

Hierarchies of function classes defined by the first-value operator

Armin Hemmerling (2008)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

The first-value operator assigns to any sequence of partial functions of the same type a new such function. Its domain is the union of the domains of the sequence functions, and its value at any point is just the value of the first function in the sequence which is defined at that point. In this paper, the first-value operator is applied to establish hierarchies of classes of functions under various settings. For effective sequences of computable discrete functions, we obtain a hierarchy connected...

Hierarchies of function classes defined by the first-value operator

Armin Hemmerling (2007)

RAIRO - Theoretical Informatics and Applications

The first-value operator assigns to any sequence of partial functions of the same type a new such function. Its domain is the union of the domains of the sequence functions, and its value at any point is just the value of the first function in the sequence which is defined at that point. In this paper, the first-value operator is applied to establish hierarchies of classes of functions under various settings. For effective sequences of computable discrete functions, we obtain a hierarchy connected...

On the hierarchies of Δ20-real numbers

Xizhong Zheng (2007)

RAIRO - Theoretical Informatics and Applications

A real number x is called Δ20 if its binary expansion corresponds to a Δ20-set of natural numbers. Such reals are just the limits of computable sequences of rational numbers and hence also called computably approximable. Depending on how fast the sequences converge, Δ20-reals have different levels of effectiveness. This leads to various hierarchies of Δ20 reals. In this survey paper we summarize several recent developments related to such kind of hierarchies shown by the author and his collaborators. ...

Representations of Reals in Reverse Mathematics

Jeffry L. Hirst (2007)

Bulletin of the Polish Academy of Sciences. Mathematics

Working in the framework of reverse mathematics, we consider representations of reals as rapidly converging Cauchy sequences, decimal expansions, and two sorts of Dedekind cuts. Converting single reals from one representation to another can always be carried out in RCA₀. However, the conversion process is not always uniform. Converting infinite sequences of reals in some representations to other representations requires the use of WKL₀ or ACA₀.

Currently displaying 1 – 20 of 50

Page 1 Next