𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Asymmetric Interpretations for Bounded Theories

✍ Scribed by Andrea Cantini

Book ID
102941939
Publisher
John Wiley and Sons
Year
1996
Tongue
English
Weight
939 KB
Volume
42
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

We apply the method of asymmetric interpretation to the basic fragment of bounded arithmetic, endowed with a weak collection schema, and to a system of "feasible analysis" , introduced by Ferreira and based on weak Kiinig's lemma, recursive comprehension and NP-notation induction. As a byproduct, we obtain two conservation results.

πŸ“œ SIMILAR VOLUMES

Asymmetric confidence bands for simple l
Asymmetric confidence bands for simple linear regression over bounded intervals
✍ Walter W. Piegorsch; R.Webster West; Obaid M. Al-Saidy; Kelly D. Bradley πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 587 KB

Computation of simultaneous conΓΏdence bands is described for simple linear regressions where the band is constructed to be asymmetric about the predictor mean. Both two-sided and one-sided bands are constructed. The bands represent extensions of a class of symmetric conΓΏdence bands due to Bowden, 19