✦ LIBER ✦

First order meta theories

✍ Scribed by Hutchinson, A

Book ID: 115444340
Publisher: Oxford University Press
Year: 1997
Tongue: English
Weight: 413 KB
Volume: 5
Category: Article
ISSN: 1367-0751
DOI: 10.1093/jigpal/5.1.97

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

First Order Theories for Partial Models

✍ Bożena Staruch; Bogdan Staruch 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 197 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

Conformal field theories with first-orde

Conformal field theories with first-order lagrangians

✍ Hidenori Sonoda 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 441 KB

On translations of complete first order

On translations of complete first order theories

✍ Seyed Mohammad Bagheri 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 134 KB

## Abstract In this paper, some basic properties of automorphisms of first order languages and some examples are presented. In particular, an omitting types theorem is proved.