In mathematics, constructive analysis is mathematical analysis done according to some principles of constructive mathematics. The name of the subject contrasts...

Hilbert and Bernays, the constructive recursive mathematics of Shanin and Markov, and Bishop's program of constructive analysis. Constructivism also includes...

In mathematics, constructive nonstandard analysis is a version of Abraham Robinson's nonstandard analysis, developed by Moerdijk (1995), Palmgren (1998)...

functional analysis that can be carried out in a computable manner. The field is closely related to constructive analysis and numerical analysis. A notable...

of constructive, rather than classical, logic and set theory. Intuitionistic analysis, which is developed from constructive logic like constructive analysis...

known for his work on analysis. He is best known for developing constructive analysis in his 1967 Foundations of Constructive Analysis, where he proved most...

In mathematics, a constructive proof is a method of proof that demonstrates the existence of a mathematical object by creating or providing a method for...

constructive mathematical theories tend to prove classically equivalent reformulations of classical theorems. For example, in constructive analysis,...

not in intuitionistic constructive mathematics. However, many particular instances of it are nevertheless provable in a constructive context as well. The...

of its definitions and methods are inspired by previous work in constructive analysis and proof theory. The use of second-order arithmetic also allows...