scientific article; zbMATH DE number 4002093

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

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)

Constructive closed range and open mapping theorems
scientific article; zbMATH DE number 7471696 (Why is no real title available?)
Type-theoretic approaches to ordinals
Brouwer's fan theorem and convexity
Specker sequences revisited
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
Synthetic topology in Homotopy Type Theory for probabilistic programming
The swap of integral and limit in constructive mathematics
Nets and reverse mathematics
Continuous homomorphisms of R onto a compact group
Some axioms for constructive analysis
A constructive real projective plane
A constructive Schwarz reflection principle
scientific article; zbMATH DE number 3900744 (Why is no real title available?)
Brouwer's weak counterexamples and the creative subject: a critical survey
Characterising Brouwer's continuity by bar recursion on moduli of continuity
The constructive theory of preference relations on a locally compact space. II
Betwixt Turing and Kleene
Recursively enumerable reals and Chaitin \(\Omega\) numbers
A constructive theory of point-set nearness.
On Small Types in Univalent Foundations
Kernels of seminorms in constructive analysis.
A marriage of Brouwer's intuitionism and Hilbert's finitism. I: Arithmetic
A constructive version of the Sylvester-Gallai theorem
Locating the range of an operator with an adjoint
Brouwer's fixed point theorem with isolated fixed points and his fan theorem
Constructive proof of the existence of Nash equilibrium in a finite strategic game with sequentially locally nonconstant payoff functions
Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
A constructive converse of the mean value theorem
Equivalence between the existence of an approximate equilibrium in a competitive economy and Sperner's lemma: a constructive analysis
A univalent formalization of the \(p\)-adic numbers
Equivalents of the (weak) fan theorem
Kronecker's density theorem and irrational numbers in constructive reverse mathematics
A very weak Nullstellensatz over Heyting fields
Practical stability analysis of sliding-mode control with explicit computation of sampling time
Monotone operators and first category sets
Constructive projective extension of an incidence plane
Bishop's lemma
Locating subsets of a Hilbert space
Co-quasiordered residuated systems: an introduction
A proof of constructive version of Brouwer's fixed point theorem with uniform sequential continuity
Constructive mathematics, Church's thesis, and free choice sequences
Formally computing with the non-computable
The monotone completeness theorem in constructive reverse mathematics
Techniques of constructive analysis
A direct constructive proof of a Stone-Weierstrass theorem for metric spaces
Formal Proof: Reconciling Correctness and Understanding
Constructive Existence of Minkowski Functionals
Spectra of selfadjoint operators in constructive analysis
Resolution of the uniform lower bound problem in constructive analysis
Essays in Constructive Mathematics
Computing infima on convex sets, with applications in Hilbert spaces
Borel complexity and computability of the Hahn-Banach theorem
McShane-Whitney pairs
A predicative completion of a uniform space
Almost new pre-apartness from old
The intermediate value theorem in constructive mathematics without choice
The uniform boundedness theorem and a boundedness principle
Extensional constructive real analysis via locators
Glueing continuous functions constructively
On Brouwer's continuity principle
scientific article; zbMATH DE number 1894486 (Why is no real title available?)
A constructive theory of continuous domains suitable for implementation
Constructive algebraic integration theory
Truth, proof and infinity. A theory of constructions and constructive reasoning
Product a‐frames and proximity
Perception of BCC-algebras under the Bishops principled-philosophical orientation: BCC-algebra with apartness
On co-filters in semigroups with apartness
Constructive compact operators on a Hilbert space
The construction of a continuous demand function for uniformly rotund preferences
Constructive mathematics: a foundation for computable analysis
The Gibbard-Satterthwaite theorem of social choice theory in an infinite society and LPO (limited principle of omniscience)
Apartness spaces and uniform neighbourhood structures
Limit spaces with approximations
Unique solutions
Ideals in constructive Banach algebra theory
Algorithmic foundations of computable general equilibrium theory
A footnote to ``The crisis in contemporary mathematics
Almost locatedness in uniform spaces
Compactness notions for an apartness space
Bounded functional interpretation and feasible analysis
Pre-apartness structures on spaces of functions
Ishihara's proof technique in constructive analysis
Decidability and Specker sequences in intuitionistic mathematics
Exercising Nuprl's open-endedness
To be or not to be constructive, that is not the question
Bi-immunity over different size alphabets
The effects of effects on constructivism
On local non‐compactness in recursive mathematics
Apartness, compactness and nearness
Constructing the minimal period of homomorphisms into \(\mathbb R^n\)
A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle
Constructing local optima on a compact interval
Basic notions of (constructive) semigroups with apartness
Differentiating convex functions constructively
A proof–technique in uniform space theory
Metric spaces in synthetic topology
Two subcategories of apartness spaces
Constructive decidability of classical continuity

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)