scientific article; zbMATH DE number 3291139

Publication date: 1967

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

recursion theory, constructive mathematics

Related Items (only showing first 100 items - show all)

Extending strongly continuous functions between apartness spaces ⋮ A constructive real projective plane ⋮ Continuity of Gödel's system T definable functionals via effectful forcing ⋮ Interpretation of constructive multi-typed theory in the theory of arithmetical truth ⋮ On a theorem by de Felipe and Teissier about the comparison of two henselisations in the non-Noetherian case ⋮ On stability of probability laws with respect to small violations of algorithmic randomness ⋮ Diagonalization of continuous matrices as a representation of intuitionistic reals ⋮ Apartness spaces and uniform neighbourhood structures ⋮ Insight in discrete geometry and computational content of a discrete model of the continuum ⋮ A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle ⋮ Realizability and recursive set theory ⋮ Implication and analysis in classical Frege structures ⋮ Basic notions of (constructive) semigroups with apartness ⋮ Compactness in constructive analysis revisited ⋮ Representations of the real numbers and of the open subsets of the set of real numbers ⋮ Constructive irrational space ⋮ Convexity and constructive infima ⋮ The constructive theory of preference relations on a locally compact space. II ⋮ Ideals in constructive Banach algebra theory ⋮ Generalized functions with pseudobounded support in constructive mathematics ⋮ Innovations in computational type theory using Nuprl ⋮ Nonstandard analysis and constructivism? ⋮ A type-free system extending (ZFC) ⋮ Quotient completion for the foundation of constructive mathematics ⋮ The objectivity of mathematics ⋮ Intuitionistic completeness of first-order logic ⋮ What does logic have to tell us about mathematical proofs? ⋮ Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative ⋮ Towards ``mouldable code via nested code graph transformation ⋮ Compactly generated Banach spaces ⋮ On the foundations of best approximation theory ⋮ On an approximative version of the notion of constructive analytic function ⋮ On constructive distribution functions ⋮ A constructive algebraic hierarchy in Coq. ⋮ On the relationship between algebra and analysis ⋮ Almost new pre-apartness from old ⋮ The intermediate value theorem in constructive mathematics without choice ⋮ A constructive development of Chebyshev approximation theory ⋮ On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology ⋮ The double negation of the intermediate value theorem ⋮ Approximate interpolation by functions in a Haar space ⋮ Bounded linear mappings of finite rank ⋮ A constructive analysis of the Remes algorithm ⋮ Constructive system for automatic program synthesis ⋮ Polynomials and linear transformations ⋮ Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets ⋮ Compactness notions for an apartness space ⋮ Oscillation in ergodic theory: Higher dimensional results ⋮ Reflections on function spaces ⋮ Some points in formal topology. ⋮ Unique existence, approximate solutions, and countable choice. ⋮ A constructive theory of point-set nearness. ⋮ The anti-Specker property, a Heine-Borel property, and uniform continuity ⋮ Constructive compact operators on a Hilbert space ⋮ A bridge between constructive logic and computer programming ⋮ Structures and logics: a case for (a) relativism ⋮ Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem ⋮ Apartness, compactness and nearness ⋮ Extension of combinatory logic to a theory of combinatory representation ⋮ Constructions of categories of setoids from proof-irrelevant families ⋮ An epistemological use of nonstandard analysis to answer Zeno's objections against motion ⋮ Notes on computable analysis ⋮ Transcendental operators on a Banach space ⋮ Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation ⋮ Kronecker's density theorem and irrational numbers in constructive reverse mathematics ⋮ Upcrossing inequalities for stationary sequences and applications ⋮ Intuitionistic views on the nature of mathematics ⋮ A non-classical logic for physics ⋮ Glueing continuous functions constructively ⋮ A computer-verified monadic functional implementation of the integral ⋮ Noncompact closed ball in a constructive compact metric space ⋮ Topos theory and complex analysis ⋮ Constructivization of the concepts of \(\varepsilon\) entropy and \(\varepsilon\) capacity ⋮ New proof of the uniqueness theorem for constructive differentiable functions of a complex variable ⋮ Realizability interpretation of proofs in constructive analysis ⋮ Ergodic theorems for individual random sequences ⋮ Intensionality in mathematics ⋮ A minimalist two-level foundation for constructive mathematics ⋮ Constructive mathematics: a foundation for computable analysis ⋮ Markov's constructive analysis; a participant's view ⋮ Finite sets and infinite sets in weak intuitionistic arithmetic ⋮ Continuity and Lipschitz constants for projections ⋮ Problems, solutions, and completions ⋮ A common axiom set for classical and intuitionistic plane geometry ⋮ Wittgenstein and finitism ⋮ Reflections on Bishop's philosophy of mathematics ⋮ Noncomputability in analysis and physics: A complete determination of the class of noncomputable linear operators ⋮ Rational presented metric spaces and complexity, the case of the space of real functions uniformly continuous on a compact interval ⋮ Differential equations in constructive analysis and in the recursive realizability topos ⋮ A Boolean model of ultrafilters ⋮ The knowing mathematician ⋮ Studies in constructive mathematics and mathematical logic. Part IX ⋮ The real-algebraic structure of Scott's model of intuitionistic analysis ⋮ Valuation theory: A constructive view ⋮ Propositions and specifications of programs in Martin-Löf's type theory ⋮ Countable algebra and set existence axioms ⋮ Order-theoretic, topological, categorical redundancies of interval-valued sets, grey sets, vague sets, interval-valued ``intuitionistic sets, ``intuitionistic fuzzy sets and topologies ⋮ Theory of representations ⋮ A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction ⋮ A certified, corecursive implementation of exact real numbers

This page was built for publication: