A Model-Theoretic Property of Sharply Bounded Formulae, with some Applications Export

@article{citeulike:3361480, abstract = {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 appropriate models as length-initial submodels of some given model.}, address = {Institut f\"{u}r Mathematische Maschinen und Datenverarbeitung 1, Universit\"{a}t Erlangen-N\"{u}rnberg, Martensstra{\ss}e 3, D - 91058 Erlangen, Germany}, author = {Johannsen, Jan}, citeulike-article-id = {3361480}, citeulike-linkout-0 = {http://dx.doi.org/10.1002/malq.19980440207}, citeulike-linkout-1 = {http://www3.interscience.wiley.com/cgi-bin/abstract/113465141/ABSTRACT}, doi = {10.1002/malq.19980440207}, journal = {Mathematical Logic Quarterly}, keywords = {bounded-arithmetic}, number = {2}, pages = {205--215}, posted-at = {2008-10-01 07:24:08}, priority = {2}, title = {A Model-Theoretic Property of Sharply Bounded Formulae, with some Applications}, url = {http://dx.doi.org/10.1002/malq.19980440207}, volume = {44}, year = {1998} }

TY - JOUR ID - citeulike:3361480 L3 - citeulike-article-id:3361480 N2 - 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 appropriate models as length-initial submodels of some given model. IS - 2 JF - Mathematical Logic Quarterly AD - Institut für Mathematische Maschinen und Datenverarbeitung 1, Universität Erlangen-Nürnberg, Martensstraße 3, D - 91058 Erlangen, Germany EP - 215 TI - A Model-Theoretic Property of Sharply Bounded Formulae, with some Applications VL - 44 SP - 205 KW - bounded-arithmetic AU - Johannsen, Jan PY - 1998/// UR - http://dx.doi.org/10.1002/malq.19980440207 ER -