Foundations of constructive analysis

E. Bishop, F. o. c. a., & McGraw-Hill. (1967). Foundations of constructive analysis. McGraw-Hill.

Type

Book

Intellectual base

Textbook

Year

1967

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Diaconescu's theorem
  • … choice principle, arbitrary proposition, proposition-dependent sets or epimorphism, selected section, extensionality and separation assumptions and derivation of excluded middle are explicit. to An applied instance preserves the same invariant under changed scale, notation, dataset, jurisdiction, or implementation..

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:d6a6ea699ebc · see in the full table