✦ LIBER ✦

A note on the theory of positive induction,({{ m ID}^*_1})

✍ Scribed by Bahareh Afshari; Michael Rathjen

Book ID: 105842377
Publisher: Springer
Year: 2009
Tongue: English
Weight: 147 KB
Volume: 49
Category: Article
ISSN: 0933-5846
DOI: 10.1007/s00153-009-0168-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A note on the Σ1 spectrum of a theory

✍ Michael Möllerfeld; Michael Rathjen 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 51 KB

A note on the notion of “theory”

✍ Maurizio L. M. Matteuzzi 📂 Article 📅 1977 🏛 Springer Netherlands 🌐 English ⚖ 223 KB

A note on the existence of positive real

A note on the existence of positive realizations

✍ A. Astolfi; P. Colaneri 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 262 KB

On the Consistency of a Positive Theory

✍ Olivier Esser 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 735 KB

## Abstract In positive theories, we have an axiom scheme of comprehension for positive formulas. We study here the “generalized positive” theory GPK~∞~^+^. Natural models of this theory are hyperuniverses. The author has shown in [2] that GPK~∞~^+^ interprets the Kelley Morse class theory. Here we

A note on the transverse five-brane in M

A note on the transverse five-brane in M(atrix) theory

✍ Gilad Lifschytz 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 685 KB

Note on the theory of invariants

✍ A. Cayley 📂 Article 📅 1870 🏛 Springer 🌐 English ⚖ 201 KB