Timeline for What kind of algebra is the class of ordered pairs equipped with the binary operation which forms them?
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 13, 2015 at 0:25 | comment | added | Ioachim Drugus | Maybe, my question should have sounded like this: Can the ordered pair concept serve as foundation of (finitary) mathematics, and if it can, then can this foundation be algebraic? In such presentation, I would not regard the algebra above, with or without projections, as a "trivial algebra". It might be "trivial" only same manner as the free algebras are "trivial". It would be great to hear comments on this more general question from @Joel and others who gave here so useful answers, once I probably cannot ask again my question in a more general form. | |
| Mar 8, 2015 at 17:45 | history | answered | Goldstern | CC BY-SA 3.0 |