Manuscript XVI-I@1 · XVI-I.tex · section · a7046a8d
The additional admission and root-cone premises
Classical kernel, domains, and exact matching › The additional admission and root-cone premises · lines 474–479
These are additional inherited inputs, not new wavefront calculations. The proof below does not derive (eq:tcone) or (eq:Bcone) from compactness.
Nearby in this section
- section: The additional admission and root-cone premises
- assumption: Assumption: Additional supplied microlocal statements
- proposition: Proposition: Why the XII-D kernel is the matching kernel
- theorem: Theorem: Narrow classical admission
- corollary: Corollary: Compatibility with the frozen obstruction
- section: The additional admission and root-cone premises