✦ LIBER ✦

Δ1-Definability

✍ Scribed by Sy D. Friedman; Boban Veličković

Publisher: Elsevier Science
Year: 1997
Tongue: English
Weight: 487 KB
Volume: 89
Category: Article
ISSN: 0168-0072
DOI: 10.1016/s0168-0072(96)00023-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Definability degrees

✍ Sy D. Friedman 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 60 KB

## Abstract We establish the equiconsistency of a simple statement in definability theory with the failure of the GCH at all infinite cardinals. The latter was shown by Foreman and Woodin ([2]) to be consistent, relative to the existence of large cardinals. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA,

Computational inductive definability

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

Resplendent models and({Sigma_1^1})-defi

Resplendent models and({Sigma_1^1})-definability with an oracle

✍ Andrey Bovykin 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 251 KB

1-(Δ 1′-Pyrrolin-2′-yl)-Δ 2-pyrroline

✍ Dr. Gerd Dannhardt 📂 Article 📅 1978 🏛 John Wiley and Sons 🌐 English ⚖ 429 KB 👁 1 views

Definability by turing machines

✍ R. M. Baer 📂 Article 📅 1969 🏛 John Wiley and Sons 🌐 English ⚖ 452 KB

Permutations and implicit definability

✍ A. S. Morozov 📂 Article 📅 1988 🏛 Springer US 🌐 English ⚖ 798 KB