𝔖 Bobbio Scriptorium
✦   LIBER   ✦

α Logic and Infinitary Languages

✍ Scribed by Newton C. A. da Costa; Charles C. Pinter

Publisher
John Wiley and Sons
Year
1976
Tongue
English
Weight
490 KB
Volume
22
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Rudimentary Languages and Second-Order L
Rudimentary Languages and Second-Order Logic
✍ Malika More; Frédéric Olive 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 446 KB

## Abstract The aim of this paper is to point out the equivalence between three notions respectively issued from recursion theory, computational complexity and finite model theory. One the one hand, the rudimentary languages are known to be characterized by the linear hierarchy. On the other hand,

From finitary to infinitary second-order
From finitary to infinitary second-order logic
✍ George Weaver; Irena Penev 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 158 KB

## Abstract A back and forth condition on interpretations for those second‐order languages without functional variables whose non‐logical vocabulary is finite and excludes functional constants is presented. It is shown that this condition is necessary and sufficient for the interpretations to be eq