<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2010-09-16 03:38:56Mathematics Logic Mathematical structures Mathematical logic Model theory Universal algebra Metalogic Lawvere theory Topology William Lawvere Structure |
Add to Reading List |
Intro First-order theories Higher-order theories | UNIVERSAL IDENTITIES, II: ⊗ AND ∧ KEITH CONRAD 1. Introduction We will describe how algebraic identities involving operations of multilinear algebra – the tensor product and exterior powers – can be proved by theDocID: 1vs1s - View Document |
| New York Journal of Mathematics New York J. Math–524. The co-universal C ∗-algebra of a row-finite graph Aidan SimsDocID: 1tER8 - View Document |
| New York Journal of Mathematics New York J. Math–524. The co-universal C ∗-algebra of a row-finite graph Aidan SimsDocID: 1tC2w - View Document |
| Algorithms for the universal decomposition algebra Romain Lebreton Éric Schost Équipe MAXDocID: 1s6Z5 - View Document |
| Mineral resources English version – SOSI standard 4.0 Mineral resources English version – SOSI standard 4.0DocID: 1rtCO - View Document |