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

Back to manuscript

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