✦ LIBER ✦

The maximal linear extension theorem in second order arithmetic

✍ Scribed by Alberto Marcone; Richard A. Shore

Publisher: Springer
Year: 2011
Tongue: English
Weight: 316 KB
Volume: 50
Category: Article
ISSN: 0933-5846
DOI: 10.1007/s00153-011-0231-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Jordan curve theorem and the Schönfl

The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic

✍ Nobuyuki Sakamoto; Keita Yokoyama 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 287 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 strong soundness theorem for real cl

The strong soundness theorem for real closed fields and Hilbert’s Nullstellensatz in second order arithmetic

✍ Nobuyuki Sakamoto; Kazuyuki Tanaka 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 153 KB

Oscillation Theorems of the Second Order

Oscillation Theorems of the Second Order Linear Matrix Differential System with Damping

✍ Qi Gui Yang 📂 Article 📅 2004 🏛 Institute of Mathematics, Chinese Academy of Scien 🌐 English ⚖ 209 KB

An analog of the fundamental theorem of

An analog of the fundamental theorem of arithmetic in ordered groupoids

✍ V. A. Testov 📂 Article 📅 1997 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 326 KB

A spectral mapping theorem for generatin

A spectral mapping theorem for generating operators in second-order linear differential equations

✍ James D Stafney 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 742 KB