Constructive Reverse Mathematics

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1804.05495 v3 pith:UW4NNKOP submitted 2018-04-16 math.LO

Hannes Diener This is my paper · ORCID

classification math.LO

keywords constructivemathematicsreverseintroductionoverview

verification ladder T0 review T1 audit T2 compute T3 formal

No signed human review yet.

0 comments

read the original abstract

An introduction and overview of constructive reverse mathematics.

Forward citations

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Orthocomplemented subspaces and partial projections on a Hilbert space
quant-ph 2025-08 conditional novelty 6.0 of 10

Orthocomplemented subspaces of a Hilbert space are in bijection with partial projections, yielding a constructive quantum logic with classical negation.
Coinductive well-foundedness
math.LO 2025-06 conditional novelty 6.0 of 10

An inhabited complemented subset of the natural numbers has a least element exactly when it is downset located, proved with a new coinductive well-foundedness principle DWF_N.