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 386–392
The nonimplication, rather than a theorem prohibiting every future intrinsic construction, is the point of the last two assertions.
Nearby in this section
- section: The prescribed host and the flat-completion ledger
- proposition: Proposition: Failure of global hyperbolicity
- definition: Definition: Supported regular chart
- section: The prescribed host and the flat-completion ledger
- 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