TY  - RPRT
TI  - Axiomatic Justification in Constructive Morse Set Theory
AU  - Douglas S. Bridges
PY  - 2026
UR  - https://arxiv.org/abs/2606.19707
ID  - 2606.19707
ER  -