scientific article; zbMATH DE number 3291139
From MaRDI portal
Publication:5573965
Cited in
(only showing first 100 items - show all)- Realizability interpretation of proofs in constructive analysis
- A minimalist two-level foundation for constructive mathematics
- Continuity and Lipschitz constants for projections
- Problems, solutions, and completions
- Noncomputability in analysis and physics: A complete determination of the class of noncomputable linear operators
- The real-algebraic structure of Scott's model of intuitionistic analysis
- Countable algebra and set existence axioms
- Theory of representations
- A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction
- Diagonalization of continuous matrices as a representation of intuitionistic reals
- Realizability and recursive set theory
- Implication and analysis in classical Frege structures
- Compactness in constructive analysis revisited
- Representations of the real numbers and of the open subsets of the set of real numbers
- Constructive irrational space
- Nonstandard analysis and constructivism?
- A type-free system extending (ZFC)
- What does logic have to tell us about mathematical proofs?
- 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
- On the relationship between algebra and analysis
- A constructive development of Chebyshev approximation theory
- Bounded linear mappings of finite rank
- A constructive analysis of the Remes algorithm
- Constructive compact operators on a Hilbert space
- A bridge between constructive logic and computer programming
- Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem
- Extension of combinatory logic to a theory of combinatory representation
- An epistemological use of nonstandard analysis to answer Zeno's objections against motion
- Transcendental operators on a Banach space
- Intuitionistic views on the nature of mathematics
- A non-classical logic for physics
- Noncompact closed ball in a constructive compact metric space
- Topos theory and complex analysis
- Constructivization of the concepts of entropy and capacity
- New proof of the uniqueness theorem for constructive differentiable functions of a complex variable
- Ergodic theorems for individual random sequences
- Constructive mathematics: a foundation for computable analysis
- Markov's constructive analysis; a participant's view
- A common axiom set for classical and intuitionistic plane geometry
- A Boolean model of ultrafilters
- Studies in constructive mathematics and mathematical logic. Part IX
- The constructive theory of preference relations on a locally compact space. II
- A constructive algebraic hierarchy in Coq.
- Oscillation in ergodic theory: Higher dimensional results
- Some points in formal topology.
- Unique existence, approximate solutions, and countable choice.
- A constructive theory of point-set nearness.
- Wittgenstein and finitism
- Rational presented metric spaces and complexity, the case of the space of real functions uniformly continuous on a compact interval
- A new graph characteristic and its application to numerical computability
- Inaccessible set axioms may have little consistency strength
- On a nonstandard Brownian motion and its maximal function
- A footnote to ``The crisis in contemporary mathematics
- On fixed-point theorems in synthetic computability
- Meaning explanations at higher dimension
- Retracing Cantor's first steps in Brouwer's company
- Eliminating disjunctions by disjunction elimination
- To be or not to be constructive, that is not the question
- A constructive version of the Sylvester-Gallai theorem
- The binary expansion and the intermediate value theorem in constructive reverse mathematics
- A continuity principle equivalent to the monotone \(\Pi^0_1\) fan theorem
- Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics
- Constructive harmonic conjugates
- Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice
- About Stone's notion of spectrum
- Intuitionistic sequential compactness?
- Combinatorial topology and constructive mathematics
- Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem
- Georg Cantor as the author of constructions playing fundamental roles in constructive mathematics
- Can constructive mathematics be applied in physics?
- The eigenvalues of an effectively determined self-adjoint operator are computable, but the sequence of eigenvalues is not
- Towards a computation system based on set theory
- The fuzzy Tychonoff theorem
- Apartness spaces as a framework for constructive topology
- Computational complexity of optimization and crude range testing: A new approach motivated by fuzzy optimization
- A constructive approach to nonstandard analysis
- Understanding uniformity in Feferman's explicit mathematics
- Constructive mathematics and unbounded operators -- a reply to Hellman
- Spectra of selfadjoint operators in constructive analysis
- Effective content of the calculus of variations. I: Semi-continuity and the chattering lemma
- An abstract data type for real numbers
- Computable preference and utility
- McShane-Whitney pairs
- Proofs and retributions, or: why Sarah can't take limits
- Reverse formalism 16
- Intuitionism: an inspiration?
- An intuitionist reasoning upon formal intuitionist logic: logical analysis of Kolmogorov's 1932 paper
- Morse set theory as a foundation for constructive mathematics
- Predicativity and constructive mathematics
- Closed subsets in Bishop topological groups
- Constructive hybrid games
- Algebras of complemented subsets
- Parallelizations in Weihrauch reducibility and constructive reverse mathematics
- Functions of Baire class one over a Bishop topology
- Constructive mathematics, Church's thesis, and free choice sequences
- Quantitative analysis of a subgradient-type method for equilibrium problems
- Betwixt Turing and Kleene
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5573965)
