✦ LIBER ✦

Ordinal Spectra of First-Order Theories

✍ Scribed by John Stewart Schlipf

Book ID: 124185288
Publisher: Association for Symbolic Logic
Year: 1977
Tongue: English
Weight: 328 KB
Volume: 42
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2271870

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

First order meta theories

✍ Hutchinson, A 📂 Article 📅 1997 🏛 Oxford University Press 🌐 English ⚖ 413 KB

Infinite spectra in the first order theo

Infinite spectra in the first order theory of graphs

✍ J. Spencer 📂 Article 📅 1990 🏛 Springer-Verlag 🌐 English ⚖ 319 KB

Theory for the first-order vibrational s

Theory for the first-order vibrational spectra of disordered solids

✍ Galeener, F. L.; Sen, P. N. 📂 Article 📅 1978 🏛 The American Physical Society 🌐 English ⚖ 418 KB

Dependent first order theories, continue

Dependent first order theories, continued

✍ Saharon Shelah 📂 Article 📅 2009 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 622 KB

First-order approximation of algorithmic

First-order approximation of algorithmic theories

✍ Wiktor Dańko 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 888 KB

Fregean Extensions of First-Order Theori

Fregean Extensions of First-Order Theories

✍ John L. Bell 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 205 KB

## Abstract It is shown by Parsons [2] that the first‐order fragment of Frege's (inconsistent) logical system in the __Grundgesetze der Arithmetic__ is consistent. In this note we formulate and prove a stronger version of this result for arbitrary first‐order theories. We also show that a natural a