Prior Art — Foundations and Logic
Prior-art cluster pa000003 — Foundations and Logic: 12 representative references and 8 structural-challenge edges curated from the central bibliography.
Cluster ID: pa000003 · 492 bibliography entries in domain
Foundations and Logic
The largest cluster in the corpus (492 entries) — covers classical mathematical analysis (Ahlfors, Rudin, Hörmander), modern type theory and transcendental syntax (Girard, Eng, Altenkirch–Kaposi), Gödel-limitation discussions (Willard self-verifying systems, the categorical Gödel treatments), and a substantial body of philosophical and physical foundations literature that touches the program's logical core (Hume, Kant, Schrödinger's "What is Life?"). The program's Foundations & Logic challenges (F1–F18) — categoricity, Gödel-avoidance, internal logic, paraconsistency, set-theoretic strength — engage this cluster directly. Some Physics and Topology entries appear here due to existing classification quirks; cluster taxonomy refinement is on the editorial backlog.
Representative references
Curated subset (12 of 492 domain entries) — the most-cited and canonical works in this cluster. The full set is enumerable via the Bibliography browse surface.
Where this cluster bears on the program
Construction-spine steps the cluster's prior art most directly engages.
Related structural challenges
Structural Challenge Ledger items where this cluster's prior art is part of the obligation surface. Each link goes to the canonical SCL item; from there, the paired Challenge Response on the Results lane shows the program's current τ response.
SCL items resolve via the Structural Challenge Ledger; the corresponding Challenge Responses live on the Results-side projection.
For fuller editorial comparisons
The cluster surface here is the machine-readable backbone. For narrative comparisons against specific approach families — shared pressure, distinguishing claim, remaining burden — see the Deep Comparison briefing, which carries the editorial work and will continue to expand as more comparisons are authored.
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.