Constructivism in Mathematics

Troelstra, A. S., & Dalen, D. v. (1988). Constructivism in Mathematics: An Introduction.

Type

Book

Intellectual base

Review or monograph

Year

1988

ISBN

9780444702661

Link

https://openlibrary.org/books/OL2529794Mmatched

Cited by

2 citations across 2 artifacts.

Domain-specific

• Harrop Formula
  • Constructive logic texts develop the fragment's connection with negative and stable formulas while keeping theory-specific boundaries explicit.
• Markov's Principle
  • Classical logic proves this by general double-negation elimination; intuitionistic logic does not prove the schema in general.

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