scientific article; zbMATH DE number 3871350

Cited in

(63)

Recursive quasi-metric spaces.
On the impossibility of explicit upper bounds on lengths of some provably finite algorithms in computable analysis
Macrotransducers on labeled trees and partially continuous operators
A weak countable choice principle
Algorithmic questions for real functions
A constructive theory of point-set nearness.
Wormholes, superfast computations, and Selivanov's theorem
Computability on computable metric spaces
Intersection points of planar curves can be computed
Singular coverings and non-uniform notions of closed set computability
Computability on the probability measures on the Borel sets of the unit interval
Fuzzy constructive logic
1998–1999 Winter Meeting of the Association for Symbolic Logic
A Banach-Mazur computable but not Markov computable function on the computable real numbers
Algebras of recursively enumerable sets and their applications to fuzzy logic
Spectra of selfadjoint operators in constructive analysis
Glueing continuous functions constructively
Physically-relativized Church-Turing hypotheses: physical foundations of computing and complexity theory of computational physics
Classe of functions defined by transducers
Extended fuzzy constructive logic
Computable invariance
Annual Meeting of the Association for Symbolic Logic, Durham, 1992
Operations on R-numbers
A sequentially computable function that is not effectively continuous at any point
Compactness notions for an apartness space
Constructing local optima on a compact interval
Effectiveness of the global modulus of continuity on metric spaces
Decidability problems for meta-\(R\)-functions
Demuth's path to randomness
1994 Annual Meeting of the Association for Symbolic Logic
Markov's constructive analysis; a participant's view
On the comparison of Darboux and Riemann integrals in constructive analysis
Herbrand strategies and the greater deducibility relation
One-to-one mappings defined by finite transformers
Solving the Dirichlet problem constructively
Computably and punctually universal spaces
Constructive mathematics and unbounded operators -- a reply to Hellman
Apartness spaces as a framework for constructive topology
Constructing best approximations on a Jordan curve
Preference, indifference, and Markov's principle
Annual meeting of the Association for Symbolic Logic, Notre Dame, 1993
Semantics of algorithmic languages
Bishop-Style Constructive Reverse Mathematics
Some properties of the injective tensor product of \(L^{p}\)[0,1] and a Banach space.
Markov's principle, Church's thesis and Lindelöf's theorem
Strong continuity implies uniform sequential continuity
Verified methods for computing Pareto sets: general algorithmic analysis
Proof-theoretical analysis: Weak systems of functions and classes
European summer meeting of the Association for Symbolic Logic
A Real Number Structure that is Effectively Categorical
The weak-operator sequential continuity of left multiplication
Extensions and fixed points of contractive maps in \(\mathbb{R}^ n\)
Singular coverings and non‐uniform notions of closed set computability
Can constructive mathematics be applied in physics?
Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I
Metrization Theorem for Space-Times: From Urysohn’s Problem towards Physically Useful Constructive Mathematics
Towards formalizing non-monotonic reasoning in physics: logical approach based on physical induction and its relation to Kolmogorov complexity
Numerical theorem proving by electronic computers and its application in various branches of mathematics
Lectures on mathematical analysis. Semester I
On the Lebesgue measurability of continuous functions in constructive analysis
Notes on computable analysis
Rational presented metric spaces and complexity, the case of the space of real functions uniformly continuous on a compact interval
Sets, complements and boundaries

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3338243)