scientific article; zbMATH DE number 3871350
From MaRDI portal
Publication:3338243
zbMATH Open0547.03040MaRDI QIDQ3338243FDOQ3338243
Authors: B. A. Kushner 
Publication date: 1984
Title of this publication is not available (Why is that?)
Cited In (63)
- Wormholes, superfast computations, and Selivanov's theorem
- 1998–1999 Winter Meeting of the Association for Symbolic Logic
- Annual Meeting of the Association for Symbolic Logic, Durham, 1992
- 1994 Annual Meeting of the Association for Symbolic Logic
- Computably and punctually universal spaces
- Metrization Theorem for Space-Times: From Urysohn’s Problem towards Physically Useful Constructive Mathematics
- Numerical theorem proving by electronic computers and its application in various branches of mathematics
- A weak countable choice principle
- Macrotransducers on labeled trees and partially continuous operators
- On the impossibility of explicit upper bounds on lengths of some provably finite algorithms in computable analysis
- Algorithmic questions for real functions
- A constructive theory of point-set nearness.
- Intersection points of planar curves can be computed
- Computability on computable metric spaces
- 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
- 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
- Classe of functions defined by transducers
- Physically-relativized Church-Turing hypotheses: physical foundations of computing and complexity theory of computational physics
- Extended fuzzy constructive logic
- Verified methods for computing Pareto sets: general algorithmic analysis
- Operations on R-numbers
- Computable invariance
- 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
- Decidability problems for meta-\(R\)-functions
- Effectiveness of the global modulus of continuity on metric spaces
- Demuth's path to randomness
- 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
- 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
- Bishop-Style Constructive Reverse Mathematics
- Semantics of algorithmic languages
- 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
- European summer meeting of the Association for Symbolic Logic
- The weak-operator sequential continuity of left multiplication
- A Real Number Structure that is Effectively Categorical
- Proof-theoretical analysis: Weak systems of functions and classes
- 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
- Towards formalizing non-monotonic reasoning in physics: logical approach based on physical induction and its relation to Kolmogorov complexity
- 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
- Recursive quasi-metric spaces.
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)
