𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Canonical completeness of infinitary μ

✍ Scribed by Gerhard Jäger; Mathis Kretz; Thomas Studer

Book ID
113720658
Publisher
Elsevier Science
Year
2008
Tongue
English
Weight
255 KB
Volume
76
Category
Article
ISSN
1567-8326

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Completeness of the infinitary polyadic
Completeness of the infinitary polyadic axiomatization
✍ Isidore Fleischer 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 271 KB

## Abstract The present note is a reworking and streamlining of Daigneault and Monk's Representation Theory for Polyadic Algebras. MSC: 03G15.

A Completeness Theorem for Certain Class
A Completeness Theorem for Certain Classes of Recursive Infinitary Formulas
✍ Christopher J. Ash; Julia F. Knight 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 494 KB 👁 1 views

## Abstract We consider the following generalization of the notion of a structure recursive relative to a set __X.__ A relational structure __A__ is said to be a Γ(__X__)‐structure if for each relation symbol __R__, the interpretation of __R__ in __A__ is ∑ relative to __X__, where β = Γ(__R__). We