๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A property of certain multistage linear programs and some applications

โœ Scribed by J. B. Lasserre


Publisher
Springer
Year
1981
Tongue
English
Weight
408 KB
Volume
34
Category
Article
ISSN
0022-3239

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


A Model-Theoretic Property of Sharply Bo
โœ Jan Johannsen ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 581 KB

We define a property of substructures of models of arithmetic, that of being length-initial, and show that sharply bounded formulae are absolute between a model and its length-initial submodels. We use this to prove independence results for some weak fragments of bounded arithmetic by constructing a