✦ LIBER ✦

Exponentiation and second-order bounded arithmetic

✍ Scribed by Jan Krajíček

Publisher: Elsevier Science
Year: 1990
Tongue: English
Weight: 883 KB
Volume: 48
Category: Article
ISSN: 0168-0072
DOI: 10.1016/0168-0072(90)90023-u

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An Independence Result on Weak Second Or

An Independence Result on Weak Second Order Bounded Arithmetic

✍ Satoru Kuroda 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 107 KB 👁 1 views

A nonasymptotic lower time bound for a s

A nonasymptotic lower time bound for a strictly bounded second-order arithmetic

✍ Anatoly P. Beltiukov 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 134 KB

Ordinal notations and well-orderings in

Ordinal notations and well-orderings in bounded arithmetic

✍ Arnold Beckmann; Chris Pollett; Samuel R. Buss 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 244 KB

The Recursively Mahlo Property in Second

The Recursively Mahlo Property in Second Order Arithmetic

✍ Michael Rathjen 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 388 KB

## Abstract The paper characterizes the second order arithmetic theorems of a set theory that features a recursively Mahlo universe; thereby complementing prior proof‐theoretic investigations on this notion. It is shown that the property of being recursively Mahlo corresponds to a certain kind of β

Undecidable Extensions of Monadic Second

Undecidable Extensions of Monadic Second Order Successor Arithmetic

✍ Dirk Siefkes 📂 Article 📅 1971 🏛 John Wiley and Sons 🌐 English ⚖ 628 KB

TJNDEClDABLE EXTENSIONS OF MONADIC SECOND ORDER SUCCESSOR ARITHMETIC by DIRK SIEFKES in Heidelberg (GFR)

Bounded arithmetic and the polynomial hi

Bounded arithmetic and the polynomial hierarchy

✍ Jan Krajíček; Pavel Pudlák; Gaisi Takeuti 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 706 KB