scientific article
From MaRDI portal
Publication:3338243
zbMath0547.03040MaRDI QIDQ3338243
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (59)
Annual Meeting of the Association for Symbolic Logic, Durham, 1992 ⋮ 1998–1999 Winter Meeting of the Association for Symbolic Logic ⋮ On the Lebesgue measurability of continuous functions in constructive analysis ⋮ Towards Formalizing Non-monotonic Reasoning in Physics: Logical Approach Based on Physical Induction and Its Relation to Kolmogorov Complexity ⋮ Fuzzy constructive logic ⋮ European summer meeting of the Association for Symbolic Logic ⋮ On the impossibility of explicit upper bounds on lengths of some provably finite algorithms in computable analysis ⋮ Constructive mathematics and unbounded operators -- a reply to Hellman ⋮ Decidability problems for meta-\(R\)-functions ⋮ A sequentially computable function that is not effectively continuous at any point ⋮ Intersection points of planar curves can be computed ⋮ Constructing local optima on a compact interval ⋮ Classe of functions defined by transducers ⋮ Operations on R-numbers ⋮ Spectra of selfadjoint operators in constructive analysis ⋮ Annual meeting of the Association for Symbolic Logic, Notre Dame, 1993 ⋮ 1994 Annual Meeting of the Association for Symbolic Logic ⋮ One-to-one mappings defined by finite transformers ⋮ Herbrand strategies and the greater deducibility relation ⋮ Some properties of the injective tensor product of \(L^{p}\)[0,1 and a Banach space.] ⋮ Proof-theoretical analysis: Weak systems of functions and classes ⋮ Singular coverings and non‐uniform notions of closed set computability ⋮ Compactness notions for an apartness space ⋮ Recursive quasi-metric spaces. ⋮ A constructive theory of point-set nearness. ⋮ Algebras of recursively enumerable sets and their applications to fuzzy logic ⋮ Sets, complements and boundaries ⋮ Extensions and fixed points of contractive maps in \(\mathbb{R}^ n\) ⋮ Solving the Dirichlet problem constructively ⋮ Notes on computable analysis ⋮ Singular Coverings and Non-Uniform Notions of Closed Set Computability ⋮ On the comparison of Darboux and Riemann integrals in constructive analysis ⋮ Extended fuzzy constructive logic ⋮ A Banach-Mazur computable but not Markov computable function on the computable real numbers ⋮ The weak-operator sequential continuity of left multiplication ⋮ Metrization Theorem for Space-Times: From Urysohn’s Problem towards Physically Useful Constructive Mathematics ⋮ Algorithmic questions for real functions ⋮ Glueing continuous functions constructively ⋮ DEMUTH’S PATH TO RANDOMNESS ⋮ Computability on computable metric spaces ⋮ Preference, indifference, and Markov's principle ⋮ Constructing best approximations on a Jordan curve ⋮ Macrotransducers on labeled trees and partially continuous operators ⋮ Can constructive mathematics be applied in physics? ⋮ Computable invariance ⋮ Semantics of algorithmic languages ⋮ Physically-relativized Church-Turing hypotheses: physical foundations of computing and complexity theory of computational physics ⋮ Markov's constructive analysis; a participant's view ⋮ Computability on the probability measures on the Borel sets of the unit interval ⋮ Effectiveness of the global modulus of continuity on metric spaces ⋮ Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I ⋮ Numerical theorem proving by electronic computers and its application in various branches of mathematics ⋮ A weak countable choice principle ⋮ Strong continuity implies uniform sequential continuity ⋮ Rational presented metric spaces and complexity, the case of the space of real functions uniformly continuous on a compact interval ⋮ Apartness spaces as a framework for constructive topology ⋮ Markov's principle, Church's thesis and Lindelöf's theorem ⋮ Bishop-Style Constructive Reverse Mathematics ⋮ A Real Number Structure that is Effectively Categorical
This page was built for publication: