Manuscript XV-F-patch-ii@1 · XV-F-patch-ii.tex · section · 9674ac67

Verdict

Reassessment › Verdict · lines 1593–1610

Unresolved at F0, at Q2 (K_{47} has no presentation space). Q1: convention C1 adopted (rank ten, metric slot at z). Q3: D -construction identified; nine ingredients open. Q4: roles, not members; lift of Δ_{I} refused. Q5: operational product list on O empty; D0.8 open. New: \partial_{α} B = \frac{1}{2} x_{α} R; supp K_{supp} \subseteq S_{\partial}; K_{supp} ∣_{V_{+}} \in J^{3}_{\infty} for every completion with ∣ α ∣ + ∣ β ∣ \leq 2. F1 not entered.

Displayed formulas in this passage

unlabeled · line 1595
$Unresolved at F0, at Q2 (K_{47} has no presentation space). Q1: convention C1 adopted (rank ten, metric slot at z). Q3: D -construction identified; nine ingredients open. Q4: roles, not members; lift of Δ_{I} refused. Q5: operational product list on O empty; D0.8 open. New: \partial_{α} B = \frac{1}{2} x_{α} R; supp K_{supp} \subseteq S_{\partial}; K_{supp} ∣_{V_{+}} \in J^{3}_{\infty} for every completion with ∣ α ∣ + ∣ β ∣ \leq 2. F1 not entered.$