Manuscript XIV-G@1 · XIV-G.tex · input · 791c6644
Input statement: Completion, slots, and roots
G0: copied inputs and the unchanged stop › Earlier analytic handoffs · lines 676–710
XIV-G@1#input:XIIE
The inherited formulas are
where
The roots satisfy
The completion and filled-slot kernels are admitted tree kernels XIIE.
Displayed formulas in this passage
unlabeled · line 679
unlabeled · line 683
unlabeled · line 686
unlabeled · line 692
unlabeled · line 697
unlabeled · line 703