The following pages link to (Q3754620):
Displaying 50 items.
- The effects of effects on constructivism (Q2133168) (← links)
- Parametric Church's thesis: synthetic computability without choice (Q2151397) (← links)
- Betwixt Turing and Kleene (Q2151412) (← links)
- Between Turing and Kleene (Q2151416) (← links)
- Characterising Brouwer's continuity by bar recursion on moduli of continuity (Q2219099) (← links)
- Bi-immunity over different size alphabets (Q2243580) (← links)
- Pincherle's theorem in reverse mathematics and computability theory (Q2304540) (← links)
- Lattice-ordered groups generated by an ordered group and regular systems of ideals (Q2326029) (← links)
- Categories with families and first-order logic with dependent sorts (Q2326422) (← links)
- Constructibility of the universal wave function (Q2360329) (← links)
- Inverse semigroups with apartness (Q2416389) (← links)
- Nice bases for primary Abelian groups. (Q2458895) (← links)
- A fan-theoretic equivalent of the antithesis of Specker's theorem (Q2465611) (← links)
- Bounded functional interpretation (Q2488269) (← links)
- Quasi-apartness and neighbourhood spaces (Q2498913) (← links)
- On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions (Q2505640) (← links)
- Algorithmic foundations of computable general equilibrium theory (Q2506353) (← links)
- Strong continuity implies uniform sequential continuity (Q2573727) (← links)
- Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert) (Q2575772) (← links)
- Formal Zariski topology: Positivity and points (Q2575775) (← links)
- Constructive algebraic integration theory (Q2575777) (← links)
- Type-theoretic approaches to ordinals (Q2700785) (← links)
- Locating subsets of a Hilbert space (Q2701632) (← links)
- Exercising Nuprl’s Open-Endedness (Q2819194) (← links)
- Constructing the Infimum of Two Projections (Q2891301) (← links)
- The swap of integral and limit in constructive mathematics (Q3053233) (← links)
- A proof–technique in uniform space theory (Q3160570) (← links)
- A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces (Q3188276) (← links)
- Intuitionistic Provability versus Uniform Provability in $$\mathsf{RCA}$$ (Q3195695) (← links)
- Formal systems of constructive mathematics (Q3237138) (← links)
- (Q3300794) (← links)
- The Monotone Completeness Theorem in Constructive Reverse Mathematics (Q3305629) (← links)
- Unique solutions (Q3418084) (← links)
- A constructive treatment of Urysohn's Lemma in an apartness space (Q3419669) (← links)
- Constructive Reflexivity of a Uniformly Convex Banach Space (Q3471070) (← links)
- Elementary constructive theory of Henselian local rings (Q3506323) (← links)
- Continuous homomorphisms of R onto a compact group (Q3552396) (← links)
- Almost locatedness in uniform spaces (Q3617930) (← links)
- Formal Proof: Reconciling Correctness and Understanding (Q3637280) (← links)
- Decidability and Specker sequences in intuitionistic mathematics (Q3650323) (← links)
- Metrization of the One-Point Compactification (Q3830210) (← links)
- On the Lebesgue measurability of continuous functions in constructive analysis (Q3971805) (← links)
- Constructive Existence of Minkowski Functionals (Q4022087) (← links)
- A Definitive Constructive Open Mapping Theorem? (Q4224088) (← links)
- Constructive notions of strict convexity (Q4304114) (← links)
- Complements of Intersections in Constructive Mathematics (Q4304147) (← links)
- Sequential, pointwise, and uniform continuity: A constructive note (Q4304807) (← links)
- A constructive Schwarz reflection principle (Q4419586) (← links)
- Validating Brouwer's continuity principle for numbers using named exceptions (Q4640313) (← links)
- BROUWER’S FAN THEOREM AND CONVEXITY (Q4647099) (← links)
