The following pages link to (Q5591514):
Displayed 45 items.
- A constructive manifestation of the Kleene-Kreisel continuous functionals (Q290639) (← links)
- Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem (Q424539) (← links)
- Constructive and computable Hahn-Banach theorems for the (second) fundamental theorem of welfare economics (Q462852) (← links)
- An intuitionistic version of Ramsey's theorem and its use in program termination (Q499082) (← links)
- Preference, indifference, and Markov's principle (Q751944) (← links)
- Ideals in constructive Banach algebra theory (Q864422) (← links)
- The metamathematics of ergodic theory (Q1006602) (← links)
- Preference and utility. A constructive development (Q1158073) (← links)
- The construction of a continuous demand function for uniformly rotund preferences (Q1198381) (← links)
- Generalized real numbers in constructive mathematics (Q1279733) (← links)
- Locating the range of an operator with an adjoint (Q1397696) (← links)
- Ishihara's proof technique in constructive analysis (Q1433041) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- On Brouwer's continuity principle (Q1788331) (← links)
- Constructing extensions of ultraweakly continuous linear functionals (Q1840580) (← links)
- On Farkas' lemma and related propositions in BISH (Q2067640) (← links)
- The Hahn-Banach theorem by disjunction elimination (Q2074035) (← links)
- Type-theoretic approaches to ordinals (Q2700785) (← links)
- Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics (Q2908777) (← links)
- Lipschitz Constants and Moduli of Continuity for the Chebyshev Projection (Q3041688) (← links)
- Zero sets of univariate polynomials (Q3065753) (← links)
- Local stability of ergodic averages (Q3402200) (← links)
- Constructive Reflexivity of a Uniformly Convex Banach Space (Q3471070) (← links)
- Computability and Noncomputability in Classical Analysis (Q3657990) (← links)
- Metrization of the One-Point Compactification (Q3830210) (← links)
- Connectivity of an Interval (Q4079850) (← links)
- Subadditive stochastic processes (Q4150924) (← links)
- More on the Connectivity of Convex Sets (Q4180882) (← links)
- A weak countable choice principle (Q4490238) (← links)
- Nontrivial Uses of Trivial Rings (Q4732551) (← links)
- Computing infima on convex sets, with applications in Hilbert spaces (Q4813691) (← links)
- (Q4989402) (← links)
- (Q5009708) (← links)
- (Q5089034) (← links)
- (Q5091143) (← links)
- (Q5094128) (← links)
- The Functional Interpretation of Direct Computations (Q5179008) (← links)
- CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE (Q5346689) (← links)
- Constructive projective extension of an incidence plane (Q5402107) (← links)
- A Constructive Ergodic Theorem (Q5641342) (← links)
- A Constructive Approach to the Theory of Stochastic Processes (Q5654823) (← links)
- Analytic Equivalence in the Disk Algebra (Q5657032) (← links)
- Converses of Bishop's lemma on located sets (Q5935882) (← links)
- The multivariate Serre conjecture ring (Q6142855) (← links)
- Valuative dimension, constructive points of view (Q6203783) (← links)