𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Finitary and infinitary interpretations of languages

✍ Scribed by H. A. Maurer; A. Salomaa; D. Wood

Book ID
118290807
Publisher
Springer
Year
1981
Tongue
English
Weight
917 KB
Volume
15
Category
Article
ISSN
1433-0490

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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

Ξ± Logic and Infinitary Languages
Ξ± Logic and Infinitary Languages
✍ Newton C. A. da Costa; Charles C. Pinter πŸ“‚ Article πŸ“… 1976 πŸ› John Wiley and Sons 🌐 English βš– 490 KB