𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A syntactic proof of the conservativity of λωover λ2

✍ Scribed by Fangmin Song; Yuechen Qian

Publisher
Springer
Year
1999
Tongue
English
Weight
319 KB
Volume
14
Category
Article
ISSN
1000-9000

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A syntactical proof of the operational e
A syntactical proof of the operational equivalence of two λ-terms
✍ René David; Karim Nour 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 288 KB

In this paper we present a purely syntactical proof of the operational equivalence of I = ixx and the I-term J that is the q-infinite expansion of I.

The dual transpose over an artin algebra
The dual transpose over an artin algebra Λ and over a factor Λ/A of Λ
✍ Sandra Michelena 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 176 KB

## Let be an artin algebra, A a two-sided ideal of , and let M be an indecomposable nonprojective =A-module. We consider ÿrst two particular embeddings fAR; fAZ from =A M into M deÿned, respectively, by Auslander-Reiten and Assem-Zacharia in case is a split by nilpotent extension of =A by A. We pr