NOT_SUBMITTED
The divining rod and the equivocation
Private myth, mathematical structure, and the last-step equivocation
Three cases examine how a private myth can land on a real mathematical structure while equivocating at the final inferential step.
- Target
- arXiv math.HO (+ math.LO) / The Mathematical Intelligencer
- Artifact
- not public yet
- The tracked manuscript is seven pages.
- Submission-ready is an internal gate, not a publication or acceptance claim.
- A public preprint link will appear only after the artifact is posted.
UNDER_REVISION
Forced, free, or explosive
Factivity and the self-referential fixed points of epistemic operators
Factivity separates forced, free, and explosive self-referential fixed-point regimes; the paper organizes known results with axiom-free Lean artifacts rather than claiming a new theorem.
- Target
- arXiv math.LO (+ cs.LO)
- Artifact
- not public yet
- Compilation, formal-artifact, and citation gates have evidence, but the latest manuscript audit still contains major issues and one blocker.
- No public PDF or submission claim is made from this page.