𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Inessential parts of extensions of first-order theories

✍ Scribed by Marian Przełęcki; Ryszard Wójcicki

Publisher
Springer Netherlands
Year
1971
Tongue
English
Weight
672 KB
Volume
28
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

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.

First-order theories of subgroups of div
First-order theories of subgroups of divisible Hahn products
✍ F. Lucas 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 207 KB

All the '-groups we consider are Abelian.) Some ÿrst-order theories of divisible '-groups are well known, for example the theory of the totally ordered ones and the theories of the projectable ones (in: A.M.W. Glass, W.C. Holland (Eds.), Lattice-ordered Groups, Kluwer Academic Press, Dordrecht, 1989