Final Wall (FOᵏ Locality) — terminal obstruction results for FOᵏ locality, proving rigidity walls and limits of refinement-based computation.
Investigation of Whiplash stability effects in model refinement and complexity hierarchies with formal artifacts.
Index of all conditional dependencies in the Final Wall program
Terminal obstruction (Cyclone) for locality-bounded computation: overlap-rank BOM, AKR CPD₁ kernel, entropy-depth lower bounds, and Lean formalization toward P≠NP.
Unified Rigidity Framework Textbook — Formal LaTeX/HTML/PDF build + release artifacts
Lean 4 development repository for overlap rigidity: local cycle-overlap invariants, FOᵏ locality interfaces, and executable proofs. Dev scaffold; authoritative artifacts released from the frozen repo.
Isolate and analyze the final terminal obstruction in FOᵏ-locality programs to determine limits on structure overlap and complexity in logic models.
Lean formalization of Cycle-Overlap Rank rigidity and the COR → FO^k → EntropyDepth bridge.
Add a description, image, and links to the finite-model-theory topic page so that developers can more easily learn about it.
To associate your repository with the finite-model-theory topic, visit your repo's landing page and select "manage topics."