scientific article; zbMATH DE number 3428899
From MaRDI portal
Publication:5181669
zbMath0273.02021MaRDI QIDQ5181669
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Intuitionistic mathematics (03F55) Computability and recursion theory (03Dxx) Proof theory and constructive mathematics (03F99)
Related Items (45)
PCF extended with real numbers ⋮ A Minimalist Foundation at Work ⋮ Rice’s Theorem in Effectively Enumerable Topological Spaces ⋮ A constructive topological proof of van der Waerden's theorem ⋮ Constructive characterizations of bar subsets ⋮ Intuitionistic completeness of first-order logic ⋮ Effectively given domains ⋮ Bayesian definition of random sequences with respect to conditional probabilities ⋮ Computable elements and functions in effectively enumerable topological spaces ⋮ Generalising the fan theorem ⋮ Algorithmic randomness and monotone complexity on product space ⋮ Superefficiency from the vantage point of computability ⋮ Separable algorithmic representations of classical systems and their applications ⋮ Locatedness and overt sublocales ⋮ Type-theoretic approaches to ordinals ⋮ Prequential Randomness ⋮ Embedding metric spaces into CPO's ⋮ Constructive metrisability in point-free topology. ⋮ Some points in formal topology. ⋮ Domain theory in logical form ⋮ Conceptual Confluence in 1936: Post and Turing ⋮ Verificationism and Classical Realizability ⋮ On ramification indices of formal solutions of constructive linear ordinary differential systems ⋮ Another proof of the intuitionistic Ramsey theorem ⋮ Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis ⋮ Two simple sets that are not positively Borel ⋮ Prequential randomness and probability ⋮ Randomness relative to Cantor expansions ⋮ Intuitionistic sequential compactness? ⋮ Continuous Functions on Final Coalgebras ⋮ Space of valuations ⋮ Constructibility and Geometry ⋮ C for constructivism. Beyond clichés ⋮ Mathematical metaphysics of randomness ⋮ Intuitionism: an inspiration? ⋮ A topological characterization of random sequences ⋮ Computation on metric spaces via domain theory ⋮ A Boolean model of ultrafilters ⋮ On the collection of points of a formal space ⋮ The constructive maximal point space and partial metrizability ⋮ Finite approximation of measure and integration ⋮ Structural cut elimination. I: Intuitionistic and classical logic ⋮ Integration in Real PCF ⋮ Probabilistic Turing machines and recursively enumerable Dedekind cuts ⋮ Lorenzen and Constructive Mathematics
This page was built for publication:
