Algebraic models of intuitionistic theories of sets and classes.
Almost locatedness in uniform spaces
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.
Alternative models in precipitation analysis.
Commutative Partially Ordered Recursive Arithmetics.
Computable structures and operations on the space of continuous functions
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,...
Constructive analysis and thermodynamics formulations.
Correció a l'article: "Analisi formalment recursiva".
Corrección del artículo del autor "Anàlisi formalment recursiva", publicado en Publicacions de la Secció de Matemàtiques de la UAB, 30 (2-3), p. 35-75 (1986).
Hierarchies of function classes defined by the first-value operator
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
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...
Inheriting the anti-Specker property.
Mann iterates of directionally nonexpansive mappings in hyperbolic spaces.
On computable real functions
On constructive versions of the Tychonoff and Schauder fixed point theorems.
On recursive measure of classes of recursive sets
On the complexity of computable real sequences
On the hierarchies of Δ20-real numbers
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. ...
Predicative algebraic set theory.
Representations of Reals in Reverse 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₀.
Separatedness in constructive topology.
The strength of Turing determinacy within second order arithmetic
We investigate the reverse mathematical strength of Turing determinacy up to Σ₅⁰, which is itself not provable in second order arithmetic.