Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with universal-algebra
Search options not deleted
user 3206
The study of algebraic structures and properties applying to large classes of such structures. For example, ideas from group theory and ring theory are extended and considered for structures with other signatures (systems of basic or fundamental operations).
5
votes
Accepted
The existence of an algebra whose set of identities and first order theory are equivalent
I imagine that definitions of $Mod, Th, Var$ and so on have not changed since I saw them decades ago. The trivial one element algebra in any finite type (and likely any infinite type) is an easy exam …
- 3,209