Manuscript IX-C-ST@1 · IX-C-ST.tex · section · 892f50c4
Concrete relations and evaluated scalar descent
Concrete relations and evaluated scalar descent · lines 1476–1481
These are the concrete IX-Free relations
IXFree ({:relations}, {:prelations}).
Neither equation has yet been solved for .
Nearby in this section
- section: Concrete relations and evaluated scalar descent
- proposition: Proposition: Degree-two relation kernels
- section: Concrete relations and evaluated scalar descent
- proposition: Proposition: Degree-four relation kernels
- lemma: Lemma: Full distributional support of K
- section: Concrete relations and evaluated scalar descent
- lemma: Lemma: Compact primitive
- theorem: Theorem: Injective partial-contraction presentations