Hi, I'm trying to solve some exercisies in Algebra Universal, but I need some proofs.. Does anybody can help me? The proofs I need are: 1) If # is uma...
Zenith
zgurgel@xxxxxxxx.xxx....
Nov 2, 1999 11:46 pm
29
... Try contacting John Tucker (j.v.tucker@...), who is one of the authors, since he teaches a Computer Science course based on the Handbook chapter....
s.vickers@xxx.xx.xx.x...
s.vickers@xxx.xx.xx.x...
Sep 20, 1999 9:58 am
28
Hi I'm an Electrical Engineering student who has started to learn universal algebra with the book(Universal Algebra, Handbook of Logic for Computer Science,...
Zenith
zgurgel@xxxxxxxx.xxx....
Sep 19, 1999 6:26 pm
27
Hello everyone, Recently, two people sent replies to messages from the univalg list, and their replies went out to the whole list. Please remember that this...
William H. Rowan
rowan@xxx.xxxx
Sep 13, 1999 3:35 am
26
Dear Dr. Haddad: I'd like to attend the CMS conference and the session on lattices and orders. I'd like to give a talk on: "Free $\mu$-lattices". Best...
Luigi Santocanale
santoca@xxxx.xxxx.xxx
Sep 10, 1999 8:58 pm
25
Dear Dr. Haddad: I am planning to attend the CMS conference, and the session on Orders, Lattices and Universal Algebra. I would like to give a talk. A...
Shelly Wismath
wismaths@xx.xxxxx.xxx
Sep 10, 1999 2:38 pm
24
Hello all, Onelist.com has a feature that allows us to share bookmarks. This feature is found in the page for the univalg list. Go to http://www.onelist.com,...
William H. Rowan
rowan@xxx.xxxx
Sep 8, 1999 4:05 am
23
My email was temporarily messed up, so I only saw this for the first time today. Below are my responses. Matt ... From: Keith A. Kearnes...
Matt Insall
montez@xxxxxxxx.xxxx
Aug 30, 1999 3:18 pm
22
... OK, then (in response to your earlier question) the Boolean algebra of all finite/cofinite subsets of the reals is not a real algebra. The set of atoms in...
Keith A. Kearnes
kearnes@xxxxxx.xxxx.x...
Aug 27, 1999 5:54 am
21
... This is essentially what I meant. I hope it's what I said. -:) ... operations ... This makes sense. ... little ... Keith's comment about (R,+)x(R,+)...
Matt Insall
montez@xxxxxxxx.xxxx
Aug 27, 1999 6:38 am
20
Keith, you are quite right in everything that you said about the lattice of uniformities. (I prefer to order them by reverse inclusion, however.) Thus (in my...
William H. Rowan
rowan@xxx.xxxx
Aug 27, 1999 2:45 am
19
In fact, for any algebra A, there is a dual embedding of Con(A) into the lattice of compatible uniformities on A. Thus, one cannot get a modular lattice of...
Keith A. Kearnes
kearnes@xxxxxx.xxxx.x...
Aug 26, 1999 11:14 pm
18
... I think that the collection of compatible uniformities on an algebra is usually not a modular lattice. In fact, it is easy to see that on a finite set A...
Keith A. Kearnes
kearnes@xxxxxx.xxxx.x...
Aug 26, 1999 8:01 pm
17
The second edition of the Encyclopedic Dictionary of Mathematics has a good article on uniform spaces. An algebra with a compatible uniformity is just an...
William H. Rowan
rowan@xxx.xxxx
Aug 26, 1999 12:37 am
16
Uniformities are defined in several basic references in topology. I first read about them in Kelley's ``General Topology''. Almost any advanced text on metric...
Matt Insall
montez@xxxxxxxx.xxxx
Aug 25, 1999 2:30 pm
15
... <R;+> x <R;+> is isomorphic to <R;+>. Kearnes...
Keith A. Kearnes
kearnes@xxxxxx.xxxx.x...
Aug 25, 1999 5:55 am
14
. ... Off hand, I think that even <R,+> x <R,+> (the Cartesian product of the reals under addition with itself) is not a real algebra. Not that I can prove...
David Hobby
hobby@xxx.xxxxxxxx.xxxx
Aug 25, 1999 4:43 am
13
... . ... Sorry, but I still don't know what a uniformity is. May I have a definition/reference?...
David Hobby
hobby@xxx.xxxxxxxx.xxxx
Aug 25, 1999 4:37 am
12
For what it's worth, if a real algebra (as we have been talking about) is transformed in such a way that its points lie inside a compact set, which should be...
William H. Rowan
rowan@xxx.xxxx
Aug 25, 1999 2:17 am
11
Dear Colleague, This is the second announcement for the Winter 1999 Canadian Mathematical Society Meeting that will be hosted by Université de Montréal, ...
Lucien Haddad
haddad-l@xxx.xxx
Aug 24, 1999 4:39 pm
10
Thanks, David. I'll keep it to plain ascii from now on. I'm sure you're right about countable algebras, because we are not restricted in the topological...
Matt Insall
montez@xxxxxxxx.xxxx
Aug 24, 1999 3:22 pm
9
... The plain text is readable. I would favor keeping the list as straight ASCII, and using TeX-like notation as needed. I'm worried that we would be...
David Hobby
hobby@xxx.xxxxxxxx.xxxx
Aug 24, 1999 12:28 pm
8
If possible, please view this message in rich text format. If that is not possible, please let me know, and I'll answer notational questions in later emails. ...
Matt Insall
montez@xxxxxxxx.xxxx
Aug 24, 1999 4:19 am
7
With several messages per day, and people replying to them the same day, it will be impractical for me to moderate during working hours. So, I've decided to...
rowan@xxx.xxx
Aug 23, 1999 9:53 pm
6
Is there a nice description of the finite lattices which have the property that every compatible reflexive relation is transitive? Keith Kearnes...
Keith A. Kearnes
kearnes@xxxxxx.xxxx.x...
Aug 23, 1999 9:30 pm
5
I agree. I am listening! Bill...
Bill Halchin
bhalchin@xxxxxxx.xxxx
Aug 23, 1999 6:43 pm
4
Regarding the previous message, I feel I am a little bit responsible since I organized the list. So, here is a topic for discussion: uniform algebras. A...
rowan@xxx.xxx
Aug 23, 1999 4:47 pm
3
I have been on this list since it started, and I've seen no traffic on it. I just checked the archives, and there seems to be only one message, and that is...
montez@...
Aug 23, 1999 1:31 pm
2
Recently, I received a message from the onelist_announce mailing list, to which we all seem to have been automatically subscribed. If receiving these messages...