scientific article; zbMATH DE number 3310901
From MaRDI portal
Publication:5591514
zbMath0195.30404MaRDI QIDQ5591514
Publication date: 1968
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (45)
A constructive manifestation of the Kleene-Kreisel continuous functionals ⋮ Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics ⋮ Lipschitz Constants and Moduli of Continuity for the Chebyshev Projection ⋮ Computing infima on convex sets, with applications in Hilbert spaces ⋮ More on the Connectivity of Convex Sets ⋮ Nontrivial Uses of Trivial Rings ⋮ Ideals in constructive Banach algebra theory ⋮ CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE ⋮ Unnamed Item ⋮ Locating the range of an operator with an adjoint ⋮ The multivariate Serre conjecture ring ⋮ Computability and Noncomputability in Classical Analysis ⋮ Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem ⋮ Valuative dimension, constructive points of view ⋮ Unnamed Item ⋮ Preference and utility. A constructive development ⋮ Type-theoretic approaches to ordinals ⋮ Constructive and computable Hahn-Banach theorems for the (second) fundamental theorem of welfare economics ⋮ Ishihara's proof technique in constructive analysis ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 ⋮ An intuitionistic version of Ramsey's theorem and its use in program termination ⋮ Constructive projective extension of an incidence plane ⋮ A Constructive Ergodic Theorem ⋮ A Constructive Approach to the Theory of Stochastic Processes ⋮ The construction of a continuous demand function for uniformly rotund preferences ⋮ Analytic Equivalence in the Disk Algebra ⋮ Converses of Bishop's lemma on located sets ⋮ The Functional Interpretation of Direct Computations ⋮ Constructive Reflexivity of a Uniformly Convex Banach Space ⋮ Subadditive stochastic processes ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On Brouwer's continuity principle ⋮ Zero sets of univariate polynomials ⋮ The metamathematics of ergodic theory ⋮ Preference, indifference, and Markov's principle ⋮ On Farkas' lemma and related propositions in BISH ⋮ Generalized real numbers in constructive mathematics ⋮ Local stability of ergodic averages ⋮ The Hahn-Banach theorem by disjunction elimination ⋮ Connectivity of an Interval ⋮ Constructing extensions of ultraweakly continuous linear functionals ⋮ A weak countable choice principle ⋮ Metrization of the One-Point Compactification
This page was built for publication: