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 333–337
This makes explicit the completion pattern of IV-B IVB. It is not a global developing map.
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
- proposition: Proposition: Signature ledger
- proposition: Proposition: No global transfer from the chart
- section: The prescribed host and the flat-completion ledger