Investigation of Whiplash stability effects in model refinement and complexity hierarchies with formal artifacts.
-
Updated
Apr 17, 2026 - Python
#
finite-model-theory
Here are 9 public repositories matching this topic...
Terminal obstruction (Cyclone) for locality-bounded computation: overlap-rank BOM, AKR CPD₁ kernel, entropy-depth lower bounds, and Lean formalization toward P≠NP.
entropy information-theory logic proof-assistant locality lean kernel-methods formal-verification computational-complexity p-vs-np expanders rigidity finite-model-theory ef-games
-
Updated
Apr 17, 2026 - Lean
Final Wall (FOᵏ Locality) — terminal obstruction results for FOᵏ locality, proving rigidity walls and limits of refinement-based computation.
reproducible-research formal-methods formal-verification computational-complexity lean4 unified-rigidity-framework rigidity-theory final-wall fo-k-locality finite-model-theory locality-limits
-
Updated
Apr 20, 2026 - TeX
Index of all conditional dependencies in the Final Wall program
-
Updated
Apr 20, 2026 - TeX
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.
proof-assistant locality graph-theory lean urf formal-verification lean4 rigidity entropy-depth finite-model-theory cycle-rank
-
Updated
Apr 18, 2026 - Python
Lean 4 finite-model-theory library for locality, EF games, and invariant interfaces
-
Updated
Apr 17, 2026 - Lean
Canonical URF exposition, archive, and release-facing documentation layer
documentation latex research archive graph-theory urf formal-verification mathematical-physics entropy-depth finite-model-theory
-
Updated
Apr 20, 2026 - TeX
Isolate and analyze the final terminal obstruction in FOᵏ-locality programs to determine limits on structure overlap and complexity in logic models.
entropy information-theory logic proof-assistant locality lean kernel-methods formal-verification computational-complexity github-config expanders rigidity finite-model-theory ef-games
-
Updated
Apr 21, 2026 - Lean
Lean formalization of Cycle-Overlap Rank rigidity and the COR → FO^k → EntropyDepth bridge.
entropy graph-theory lean formal-verification computational-complexity lean4 rigidity finite-model-theory
-
Updated
Apr 17, 2026 - Python
Improve this page
Add a description, image, and links to the finite-model-theory topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the finite-model-theory topic, visit your repo's landing page and select "manage topics."