Manuscript XV-A@1 · XV-A.tex · section · f53f3515
Invalid shortcuts and their exact logical boundaries
Invalid shortcuts and their exact logical boundaries · lines 1503–1507
This elementary independence statement is not a new BV construction for the manuscript family.
Nearby in this section
- proposition: Proposition: Failure of a sufficient product test
- section: Invalid shortcuts and their exact logical boundaries
- proposition: Proposition: Collision contacts cannot alter a separated germ
- section: Invalid shortcuts and their exact logical boundaries
- proposition: Proposition: Action symmetry does not establish observable closure