Manuscript En06-A@1 · En06-A.tex · section · e04c9892
Device closure remains separate and withdrawn in its strong form
Device closure remains separate and withdrawn in its strong form · lines 2066–2072
Renaming boost closure as synchronisation closure does not remove this obstruction. The super-cone floor construction in CONE is a formal implication, but its hypotheses are not selectively compatible with ordinary relays. Neither T nor a coarse Poincare action derives U.
Nearby in this section
- section: Device closure remains separate and withdrawn in its strong form
- hypothesis: Hypothesis: U: Unrestricted resynchronization closure
- definition: Definition: Well-founded causal executability
- section: Device closure remains separate and withdrawn in its strong form
- theorem: Theorem: U excludes ordinary bidirectional relays