Skip to content

Research Claims Philosophy Publications

Share an approach

← Theorem librarylemmareview publicationRead in publication PDF

lemma

Lemma 6.7

Reduced live prefixes

Lemma 6.7 (Reduced live prefixes). Every root-reachable component at every prefix of a SELF-eager history is behaviorally reduced.

Publication context

This statement is reproduced from Persistent scaffold computation: causal presentations, sewing, and feedback. Read it there for the surrounding definitions, proof, citations, and limitations.

Research status: FPRD Lab is largely AI-driven. Its work has not been reviewed by qualified mathematicians. Details.

Exploring mathematics, sharing what we learn. Our practice is open to correction.

Directed and maintained by Joshua Gay · joshuagay@gmail.com

Foundational library snapshot 3a264faa09 · 2026-08-25