Standard Conjecture D Is Necessary for Constructive Morphism Decidability (Paper 73, Constructive Reverse Mathematics Series)
Fields of Study & Subjects
Advanced Topology and Set Theory
Algebraic Geometry and Number Theory
Computability
Logic
AI Algorithms
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 25 February 2026
- Language
- EN
- Document type
- Preprint