𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A nonconvex separation property and some applications

✍ Scribed by Alejandro Jofré; Jorge Rivera Cayupi


Publisher
Springer-Verlag
Year
2006
Tongue
English
Weight
194 KB
Volume
108
Category
Article
ISSN
0025-5610

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