Finitely many accepting extensions of a rejected stem
ID: finitely-many-accepting-extensions-of-a-rejected-stem
Suppose a reservoir rejects and decides every extension . Only finitely many of those one-point extensions can have accepting tails. If infinitely many did, collect their new points into ; every infinite subset of begins with an accepting successor, so would lie in the family. That would make accept , contradicting rejection. This finite-obstruction fact lets a second fusion preserve rejection of every finite stem.
New to topics? Read the docs here!