✦ LIBER ✦

Global Inductive Definability

✍ Scribed by Jon Barwise and Yiannis N. Moschovakis

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Computational inductive definability

✍ Dexter Kozen 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 217 KB

Inductive definability in formal languag

✍ P.F. Schuler 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 690 KB

Uniform Inductive Definability and Infin

✍ Anders M. Nyberg 📂 Article 📅 1976 🏛 Association for Symbolic Logic 🌐 English ⚖ 286 KB

Inductive definitions, models of compreh

✍ K. R. Apt 📂 Article 📅 1978 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 564 KB

An Application of Invariant Sets to Glob

✍ Douglas E. Miller 📂 Article 📅 1979 🏛 Association for Symbolic Logic 🌐 English ⚖ 179 KB

Defining Global Supervenience

✍ Alex Steinberg 📂 Article 📅 2013 🏛 Springer 🌐 English ⚖ 303 KB