scientific article; zbMATH DE number 3428899

From MaRDI portal

zbMath0273.02021MaRDI QIDQ5181669

Per Martin-Löf

Publication date: 1971


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items

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