Manuscript XIV-B@1 · XIV-B.tex · input · 53202eaa
Input statement: XIV-A: the observable ledger
Release criteria and the copied premise sheet · lines 373–397
XIV-B@1#input:ledger, XIV-B@1#eq:ledger, XIV-B@1#eq:relO
With the unchanged lift, and , under {(UCP)}
and, for relative ghosts on ,
with on . The master equation does not decide XII-F XIVA,XIIF.
Displayed formulas in this passage
XIV-B@1#eq:ledger · line 378
XIV-B@1#eq:relO · line 389
Nearby in this section
- section: Release criteria and the copied premise sheet
- input: Input statement: XIV-A: the breaking functional and the two spaces
- input: Input statement: XIII-C: the unopened gate
- input: Input statement: XIII-A and XIII-D: two closed doors
- input: Input statement: XII-A and XI-B: carrier, free rule, uniqueness