λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript VI-B@1 · VI-B-v1.tex · section · 33798723

Finite certificates and their logical limits

Finite certificates and their logical limits · lines 1293–1307

Back to manuscript

Let $B$ be a declared set of test configurations. Suppose real functions

q, n_{1}, \dots, n_{L} : B ⟶ R

are already defined. For an ordered finite sample $S = (β_{1}, \dots, β_{s})$ , write

q_{S} = (q (β_{i}))_{i = 1}^{s}, N_{S} = (n_{a} (β_{i}))_{i, a} .

Displayed formulas in this passage

unlabeled · line 1298
$q, n_{1}, \dots, n_{L} : B ⟶ R$
unlabeled · line 1303
$q_{S} = (q (β_{i}))_{i = 1}^{s}, N_{S} = (n_{a} (β_{i}))_{i, a} .$

Nearby in this section