scientific article; zbMATH DE number 3310901

From MaRDI portal
Publication:5591514

zbMath0195.30404MaRDI QIDQ5591514

Errett Bishop

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 functionalsLife on the Ship of Neurath: Mathematics in the Philosophy of MathematicsLipschitz Constants and Moduli of Continuity for the Chebyshev ProjectionComputing infima on convex sets, with applications in Hilbert spacesMore on the Connectivity of Convex SetsNontrivial Uses of Trivial RingsIdeals in constructive Banach algebra theoryCONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATEUnnamed ItemLocating the range of an operator with an adjointThe multivariate Serre conjecture ringComputability and Noncomputability in Classical AnalysisAligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theoremValuative dimension, constructive points of viewUnnamed ItemPreference and utility. A constructive developmentType-theoretic approaches to ordinalsConstructive and computable Hahn-Banach theorems for the (second) fundamental theorem of welfare economicsIshihara's proof technique in constructive analysisMathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017An intuitionistic version of Ramsey's theorem and its use in program terminationConstructive projective extension of an incidence planeA Constructive Ergodic TheoremA Constructive Approach to the Theory of Stochastic ProcessesThe construction of a continuous demand function for uniformly rotund preferencesAnalytic Equivalence in the Disk AlgebraConverses of Bishop's lemma on located setsThe Functional Interpretation of Direct ComputationsConstructive Reflexivity of a Uniformly Convex Banach SpaceSubadditive stochastic processesUnnamed ItemUnnamed ItemUnnamed ItemOn Brouwer's continuity principleZero sets of univariate polynomialsThe metamathematics of ergodic theoryPreference, indifference, and Markov's principleOn Farkas' lemma and related propositions in BISHGeneralized real numbers in constructive mathematicsLocal stability of ergodic averagesThe Hahn-Banach theorem by disjunction eliminationConnectivity of an IntervalConstructing extensions of ultraweakly continuous linear functionalsA weak countable choice principleMetrization of the One-Point Compactification




This page was built for publication: