✦ LIBER ✦

Invisible Ordinals and Inductive Definitions

✍ Scribed by Evangelos Kranakis

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Ordinals Connected with Formal Theories

✍ W. Pohlers 📂 Article 📅 1978 🏛 Association for Symbolic Logic 🌐 English ⚖ 449 KB

Short Definitions of the Ordinals

✍ Kenneth R. Brown and Hao Wang 📂 Article 📅 1966 🏛 Association for Symbolic Logic 🌐 English ⚖ 445 KB

Ordinal analysis of non-monotone -defina

✍ Wolfram Pohlers 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 586 KB

A Theorem on Definitions of the Zermelo-

✍ Hao Wang 📂 Article 📅 1967 🏛 John Wiley and Sons 🌐 English ⚖ 502 KB

B THEOREM ON DEFINITIONS O F THE ZERMELO-NEUMANN ORDINALS'l) by HAO WANG in Cambridge, Mass. (USA)

Iterated Inductive Definitions and Subsy

✍ W. Buchholz, S. Feferman, W. Pohlers, W. Sieg 📂 Library 📅 1981 🏛 Springer 🌐 English ⚖ 2 MB

Inductive Definitions and Computability.

✍ Review by: Gregory W. Jones 📂 Article 📅 1973 🏛 Association for Symbolic Logic 🌐 English ⚖ 90 KB