Constructive Analysis

Bishop, E., & Douglas Bridges, C. A. (1985). Constructive Analysis. Springer.

Type

Book

Intellectual base

Review or monograph

Year

1985

Link

no authoritative link yet

Cited by

2 citations across 2 artifacts.

Domain-specific

• Apartness relation
  • … constitutive identity and a convenient observable transfers from A canonical example satisfies the full defining rule of Apartness relation with all assumptions and conventions explicit. to A careful use of Apartness relation tests its carrier, boundary and nearest confusable rather than relying on the name alone..
• Inhabited set
  • An inhabited set A comes with or proves an existential witness a∈A; classically this is equivalent to nonemptiness, but constructively ¬(A=∅) need not yield a member.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:397181afa17e · see in the full table