Constructivism in Mathematics

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

Type

Book

Intellectual base

Review or monograph

Year

1988

Volume

1

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

Does it exist? Confirmed. This work's ISBN resolves to a registered record, which fixes its identity. That is all it fixes.

Does it back the claim? Not recorded. Neither this nor any other of the 2 citations of this work carries a recorded support check.

Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.

See how references were verified.

Registry ID ref:3c249ff2c32a · see in the full table