✦ LIBER ✦

Pairs, sets and sequences in first-order theories

✍ Scribed by Albert Visser

Publisher: Springer
Year: 2008
Tongue: English
Weight: 341 KB
Volume: 47
Category: Article
ISSN: 0933-5846
DOI: 10.1007/s00153-008-0087-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

First order pair functions for the beryl

First order pair functions for the beryllium isoelectronic sequence

✍ B. C. Webster; R. F. Stewart 📂 Article 📅 1972 🏛 Springer 🌐 English ⚖ 648 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

Parallel Theories and Routine Revision i

Parallel Theories and Routine Revision in First-Order Logic

✍ Gerold Stahl 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 203 KB

First-order logic and star-free sets

✍ Dominique Perrin; Jean-Eric Pin 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 700 KB

Separations of first and second order th

Separations of first and second order theories in bounded arithmetic

✍ Masahiro Yasumoto 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 128 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.