✦ LIBER ✦

Expressibility in a restricted second-order arithmetic

✍ Scribed by A. A. Nabebin

Book ID: 112450532
Publisher: SP MAIK Nauka/Interperiodica
Year: 1978
Tongue: English
Weight: 600 KB
Volume: 18
Category: Article
ISSN: 0037-4466
DOI: 10.1007/bf00967200

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Representability in some systems of seco

Representability in some systems of second order arithmetic

✍ P. Aczel 📂 Article 📅 1970 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 769 KB

Complex analysis in subsystems of second

Complex analysis in subsystems of second order arithmetic

✍ Keita Yokoyama 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 306 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 β

The maximal linear extension theorem in

The maximal linear extension theorem in second order arithmetic

✍ Alberto Marcone; Richard A. Shore 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 316 KB

A Restricted Second Order Logic for Fini

A Restricted Second Order Logic for Finite Structures

✍ Anuj Dawar 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 485 KB

A second-order Lagrangian condition for

A second-order Lagrangian condition for restricted control problems

✍ J. Warga 📂 Article 📅 1978 🏛 Springer 🌐 English ⚖ 321 KB