Published February 28, 2026 | Version v1
Preprint Restricted

The Logical Cost of Unconditional Hodge: A CRM Audit of the Markman-Floccari-Fu Theorem (Paper 91, Constructive Reverse Mathematics Series)

Authors/Creators

  • 1. ROR icon New York University

Description

errors detected in our papers. Our whole repo is being audited and a decision of edit or removal will be made.

Files

Restricted

The record is publicly accessible, but files are restricted to users with access.