scientific article; zbMATH DE number 4002093

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Intuitionistic mathematics (03F55) Other constructive mathematics (03F65) Commutative Noetherian rings and modules (13E05) Miscellaneous topics in real functions (26E99) Constructive functional analysis (46S30)

Recommendations

Constructivism in mathematics. An introduction. Volume I
Constructivism in mathematics. An introduction. Volume II
Techniques of constructive analysis
scientific article; zbMATH DE number 3900744
scientific article; zbMATH DE number 4070894

Cited in

(only showing first 100 items - show all)

Sequences of real functions on [0,1] in constructive reverse mathematics
A constructive theory of continuous domains suitable for implementation
Problems, solutions, and completions
Constructive compact operators on a Hilbert space
The constructive inequivalence of various notions of preference ordering
Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem
Constructivism in mathematics. An introduction. Volume I
Constructivism in mathematics. An introduction. Volume II
Extensions and fixed points of contractive maps in \(\mathbb{R}^ n\)
A transfer theorem in constructive \(p\)-adic algebra
The construction of a continuous demand function for uniformly rotund preferences
Constructing best approximations on a Jordan curve
Truth, proof and infinity. A theory of constructions and constructive reasoning
Constructive mathematics: a foundation for computable analysis
The constructive theory of preference relations on a locally compact space. II
Locating the range of an operator with an adjoint
Unique existence, approximate solutions, and countable choice.
A constructive theory of point-set nearness.
Ishihara's proof technique in constructive analysis
Five observations concerning the intended meaning of the intuitionistic logical constants
Rational presented metric spaces and complexity, the case of the space of real functions uniformly continuous on a compact interval
Kernels of seminorms in constructive analysis.
A footnote to ``The crisis in contemporary mathematics
A topological view on algebraic computation models
To be or not to be constructive, that is not the question
A constructive version of the Sylvester-Gallai theorem
Applying mathematics to empirical sciences: flashback to a puzzling disciplinary interaction
Convexity and unique minimum points
The binary expansion and the intermediate value theorem in constructive reverse mathematics
Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
Intuitionistic sequential compactness?
On Brouwer's continuity principle
Constructing extensions of ultraweakly continuous linear functionals
Apartness spaces as a framework for constructive topology
Spectra of selfadjoint operators in constructive analysis
Reclassifying the antithesis of Specker's theorem
McShane-Whitney pairs
Reverse formalism 16
Intuitionism: an inspiration?
The Hahn-Banach theorem by disjunction elimination
Predicativity and constructive mathematics
Closed subsets in Bishop topological groups
Algebras of complemented subsets
Functions of Baire class one over a Bishop topology
Formally computing with the non-computable
Constructive mathematics, Church's thesis, and free choice sequences
The effects of effects on constructivism
Parametric Church's thesis: synthetic computability without choice
Betwixt Turing and Kleene
Between Turing and Kleene
Characterising Brouwer's continuity by bar recursion on moduli of continuity
Bi-immunity over different size alphabets
Pincherle's theorem in reverse mathematics and computability theory
Lattice-ordered groups generated by an ordered group and regular systems of ideals
Categories with families and first-order logic with dependent sorts
Constructibility of the universal wave function
Inverse semigroups with apartness
Nice bases for primary Abelian groups.
A fan-theoretic equivalent of the antithesis of Specker's theorem
Bounded functional interpretation
Quasi-apartness and neighbourhood spaces
On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions
Algorithmic foundations of computable general equilibrium theory
Strong continuity implies uniform sequential continuity
Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert)
Formal Zariski topology: Positivity and points
Constructive algebraic integration theory
A constructive real projective plane
Monotone operators and first category sets
Type-theoretic approaches to ordinals
Locating subsets of a Hilbert space
Exercising Nuprl's open-endedness
Constructing the infimum of two projections
Limit spaces with approximations
The intrinsic topology of Martin-Löf universes
Apartness spaces and uniform neighbourhood structures
The swap of integral and limit in constructive mathematics
A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle
Basic notions of (constructive) semigroups with apartness
A proof–technique in uniform space theory
A direct constructive proof of a Stone-Weierstrass theorem for metric spaces
Intuitionistic provability versus uniform provability in \(\mathsf{RCA}\)
Formal systems of constructive mathematics
scientific article; zbMATH DE number 7226007 (Why is no real title available?)
The monotone completeness theorem in constructive reverse mathematics
Unique solutions
A constructive treatment of Urysohn's Lemma in an apartness space
Constructive Reflexivity of a Uniformly Convex Banach Space
Elementary constructive theory of Henselian local rings
Continuous homomorphisms of R onto a compact group
Almost locatedness in uniform spaces
Formal Proof: Reconciling Correctness and Understanding
Decidability and Specker sequences in intuitionistic mathematics
scientific article; zbMATH DE number 3900744 (Why is no real title available?)
Metrization of the One-Point Compactification
On the Lebesgue measurability of continuous functions in constructive analysis
Constructive Existence of Minkowski Functionals
Revisiting Zariski main theorem from a constructive point of view
Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
Constructive proof of the existence of Nash equilibrium in a finite strategic game with sequentially locally nonconstant payoff functions

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 Q3754620)