Manuscript X-A-ST@1 · X-A-ST.tex · section · d9ccbde1
The prescribed host and the flat-completion ledger
The prescribed host and the flat-completion ledger · lines 305–311
The chart can be chosen with enough regular margin to contain the compact supports of the diagnostics below. For those diagnostics the same retained-shadow condition is imposed before their tests are selected.
Nearby in this section
- section: The prescribed host and the flat-completion ledger
- proposition: Proposition: Failure of global hyperbolicity
- definition: Definition: Supported regular chart
- definition: Definition: Declared flat completion
- section: The prescribed host and the flat-completion ledger
- proposition: Proposition: Signature ledger
- proposition: Proposition: No global transfer from the chart
- section: The prescribed host and the flat-completion ledger