𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The bounded functional interpretation of bar induction

✍ Scribed by Patrícia Engrácia


Book ID
116231738
Publisher
Elsevier Science
Year
2012
Tongue
English
Weight
256 KB
Volume
163
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


The strength of sharply bounded inductio
✍ Emil Jeřábek 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 186 KB

## Abstract We prove that the sharply bounded arithmetic T^0^~2~ in a language containing the function symbol ⌊__x__ /2^__y__^ ⌋ (often denoted by MSP) is equivalent to PV~1~. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

Function of the mammalian postorbital ba
✍ Christopher P. Heesy 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 410 KB

## Abstract Complete postorbital bars, bony arches that encompass the lateral aspect of the eye and form part of a circular orbit, have evolved homoplastically multiple times during mammalian evolution. Numerous functional hypotheses have been advanced for postorbital bars, the most promising being