✦ LIBER ✦

Extensions of ordered theories by generic predicates

✍ Scribed by Dolich, Alfred; Miller, Chris; Steinhorn, Charles

Book ID: 127352827
Publisher: Association for Symbolic Logic
Year: 2013
Tongue: English
Weight: 225 KB
Volume: 78
Category: Article
ISSN: 0022-4812
DOI: 10.2178/jsl.7802020

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Zero-one law for an extension of first-o

Zero-one law for an extension of first-order predicate language

✍ V. V. Knyazev 📂 Article 📅 1990 🏛 Springer US 🌐 English ⚖ 375 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

The Calculus of Partial Predicates and i

The Calculus of Partial Predicates and its Extension to Set Theory I.by Hao Wang

✍ Review by: John Corcoran and John Herring 📂 Article 📅 1972 🏛 Association for Symbolic Logic 🌐 English ⚖ 136 KB

Theory of classification of objects by p

Theory of classification of objects by predicates

✍ Hiroshi Watanabe 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 922 KB

An extension of the dyadic calculus with

An extension of the dyadic calculus with fractional order derivatives: General theory

✍ P.L. Butzer; W. Engels; U. Wipperfürth 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 883 KB

The Calculus of Partial Predicates and I

The Calculus of Partial Predicates and Its Extension to Set Theory I

✍ Hao Wang 📂 Article 📅 1961 🏛 John Wiley and Sons 🌐 English ⚖ 368 KB 👁 1 views