The following pages link to (Q3338243):
Displaying 50 items.
- Compactness notions for an apartness space (Q453202) (← links)
- Notes on computable analysis (Q519888) (← links)
- Sets, complements and boundaries (Q675783) (← links)
- Preference, indifference, and Markov's principle (Q751944) (← links)
- Semantics of algorithmic languages (Q760200) (← links)
- Fuzzy constructive logic (Q843607) (← links)
- A sequentially computable function that is not effectively continuous at any point (Q864424) (← links)
- Constructing local optima on a compact interval (Q868665) (← links)
- Proof-theoretical analysis: Weak systems of functions and classes (Q911585) (← links)
- Algebras of recursively enumerable sets and their applications to fuzzy logic (Q937908) (← links)
- Glueing continuous functions constructively (Q982187) (← links)
- Physically-relativized Church-Turing hypotheses: physical foundations of computing and complexity theory of computational physics (Q1036536) (← links)
- On the impossibility of explicit upper bounds on lengths of some provably finite algorithms in computable analysis (Q1102283) (← links)
- Herbrand strategies and the ''greater deducibility'' relation (Q1147113) (← links)
- Extensions and fixed points of contractive maps in \(\mathbb{R}^ n\) (Q1191646) (← links)
- Constructing best approximations on a Jordan curve (Q1270276) (← links)
- Computable invariance (Q1274805) (← links)
- Markov's constructive analysis; a participant's view (Q1292407) (← links)
- Computability on the probability measures on the Borel sets of the unit interval (Q1292415) (← links)
- Effectiveness of the global modulus of continuity on metric spaces (Q1292416) (← links)
- Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I (Q1295392) (← links)
- Markov's principle, Church's thesis and Lindelöf's theorem (Q1315098) (← links)
- Some properties of the injective tensor product of \(L^{p}\)[0,1] and a Banach space. (Q1413969) (← links)
- Recursive quasi-metric spaces. (Q1427771) (← links)
- A constructive theory of point-set nearness. (Q1427791) (← links)
- Rational presented metric spaces and complexity, the case of the space of real functions uniformly continuous on a compact interval (Q1589441) (← links)
- A Banach-Mazur computable but not Markov computable function on the computable real numbers (Q1765159) (← links)
- Computability on computable metric spaces (Q1802069) (← links)
- Macrotransducers on labeled trees and partially continuous operators (Q1816067) (← links)
- Can constructive mathematics be applied in physics? (Q1818378) (← links)
- Apartness spaces as a framework for constructive topology (Q1861535) (← links)
- Constructive mathematics and unbounded operators -- a reply to Hellman (Q1902560) (← links)
- Decidability problems for meta-\(R\)-functions (Q1907768) (← links)
- Spectra of selfadjoint operators in constructive analysis (Q1914903) (← links)
- One-to-one mappings defined by finite transformers (Q1922338) (← links)
- On the comparison of Darboux and Riemann integrals in constructive analysis (Q2253861) (← links)
- Extended fuzzy constructive logic (Q2253863) (← links)
- Strong continuity implies uniform sequential continuity (Q2573727) (← links)
- DEMUTH’S PATH TO RANDOMNESS (Q2795307) (← links)
- Towards Formalizing Non-monotonic Reasoning in Physics: Logical Approach Based on Physical Induction and Its Relation to Kolmogorov Complexity (Q2900535) (← links)
- Verified Methods for Computing Pareto Sets: General Algorithmic Analysis (Q2930551) (← links)
- Singular coverings and non‐uniform notions of closed set computability (Q3528149) (← links)
- Metrization Theorem for Space-Times: From Urysohn’s Problem towards Physically Useful Constructive Mathematics (Q3586016) (← links)
- On the Lebesgue measurability of continuous functions in constructive analysis (Q3971805) (← links)
- Classe of functions defined by transducers (Q4007408) (← links)
- Operations on R-numbers (Q4007467) (← links)
- A Real Number Structure that is Effectively Categorical (Q4243908) (← links)
- 1998–1999 Winter Meeting of the Association for Symbolic Logic (Q4262607) (← links)
- European summer meeting of the Association for Symbolic Logic (Q4276039) (← links)
- Annual meeting of the Association for Symbolic Logic, Notre Dame, 1993 (Q4302362) (← links)
