𝔖 Bobbio Scriptorium
✦   LIBER   ✦

ON THE REDUCTION OF TYPE THEORY

✍ Scribed by Marcel Crabbé


Publisher
John Wiley and Sons
Year
1983
Tongue
English
Weight
210 KB
Volume
29
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Types of Reductive Monoids
✍ Zhuo Li; Mohan Putcha 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 317 KB

Let M be a reductive monoid with a reductive unit group G. Clearly there is a natural G × G action on M. The orbits are the -classes (in the sense of semigroup theory) and form a finite lattice. The general problem of finding the lattice remains open. In this paper we study a new class of reductive