Core Semantics Status: Mathematics
Current recovery status for Mathematics targets.
Status note. Recovery status is internal unless formal or external verification is explicitly linked.
Items
- Mathematical Refusals Overview - Not Applicable
- Unrestricted Power Set Formation - Not Applicable
- Unrestricted Comprehension - Not Applicable
- Unrestricted Choice - Not Applicable
- Arbitrary Nonconstructive Existence - Not Applicable
- Completed Uncountable Totalities - Not Applicable
- Silent Contraction and Unrestricted Reuse - Not Applicable
- Impredicative Large-Universe Assumptions - Not Applicable
- Unqualified Theorem Transfer - Not Applicable
- Mechanical Formal Checkability - Partial
- Finite Syntax, Terms, and Proof Objects - Partial
- Finite Arithmetic and Algebraic Structure - Partial
- Euclidean Geometry - Partial
- ZFC as Object Theory - Partial
- Bridge Adequacy to Standard Mathematics - Partial
Save or share this page for inspection
Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.