Dear Colleagues, This is the third announcement for the Winter 2003 Canadian Mathematical Society Meeting that will be hosted by Simon Fraser University,...
Hello everyone, In order to increase the value of this list to all of us, I want to get more researchers in Universal Algebra to join. I am shortly going to...
We have about 30 new members on the list in the last couple of days, as a result of people accepting some invitations to join that I sent out. This is a...
Dear Sirs and Madams, I wonder if there are any characterization theorems of the topological spaces coming from the classical o-convergence or natural...
I know a lot of duality results on ordered structures and lattices, but most probably one must figure it out from those. regards A.Mani member, Cal.Math.Soc. ...
I am not at all sure what you have in mind, but you might find something of interest in: MR0595106 (83f:46009) Erné, Marcel; Weck, Sibylle Order convergence...
Hi everyone, I am trying to clean up some of the old bad email addresses on the list. Does anyone have current email addresses for any of the following...
There is a decent introduction in Peter Johnstone's "Stone Spaces" (Cambridge University Press), written from the point of view that completely distributive...
Steve Vickers
s.j.vickers@...
Nov 24, 2003 12:27 pm
188
I have a problem related to duality theory for Heyting algebras. It is known that open sets of a topological space form a Heyting algebra under natural ...
LITAK Tadeusz Michal
litak@...
Nov 30, 2003 9:48 am
189
... A. (2') does not imply (2) for arbitrary (bounded, distributive) lattices, but B. (2') does imply (2) for arbitrary Heyting algebras. For A, let L be the...
... A complete Heyting algebra L is also known as a locale, or frame (see, eg, P. Johnstone, Stone Spaces, CUP, 1982), and can be regarded as a generalized...
Pedro Resende
pmr@...
Nov 30, 2003 10:47 pm
191
Dear Tadeusz, Do you have references for Esakia's proof of the result you mentioned (i.e. that if in a complete Heyting algebra every element is a join of ...
Steve Vickers
s.j.vickers@...
Dec 1, 2003 10:16 am
192
Dear Professor Vickers, I'm very obliged for your e-mail, for prof. Kearnes' lucid answer (btw, is this theorem a part of the folklore or can it be attributed...
LITAK Tadeusz Michal
litak@...
Dec 4, 2003 6:56 am
193
I just noticed that the book The Structure of Finite Algebras, David Hobby and and Ralph McKenzie, American Mathematical Society, 1988, 209 pp. is among those...
Enter your vote today! A new poll has been created for the univalg group: What are your feelings about whether the value of the list would be improved by ...
univalg@yahoogroups.com
Jan 6, 2004 7:53 pm
195
Hi everyone, I resolved for 2004 to find out how people feel about having more computer scientists on the list. Note that there already are some; they are...
Hello, Autometrizable algebras, especially particular ones like MV-algebras are well-known in the literature. But the connection of the 'autometric' with...
Since I'm one of the current computer science subscribers (though my PhD was in algebra), I thought I ought to comment. I haven't voted - my mastery of...
S Vickers
s.j.vickers@...
Jan 8, 2004 7:57 pm
198
This is probably a very naive question, but ... There is a well-known correspondence between Boolean algebras and Boolean rings, that is, starting from one of...
... The problem is that axioms that ring theorists feel comfortable with tend to force booleanness. The standard translation is that + is xor (which I shall...
S Vickers
s.j.vickers@...
Jan 30, 2004 11:14 pm
200
S. Vickers: ``But unfortunately, associativity of this forces the double negation law and hence Booleanness. For'' There is a heavily studied category of...
My thanks to Steve Vickers for the detailed reply to my query. I had not considered the dual approach; the difficulties there seem clear. Let me focus on the...
... I should have been more careful. These are not neorings. In fact, I think I can show that if the + operation ( #'' in this case) gives a loop structure,...
... Any Heyting algebra with an underlying loop (or quasigroup) structure must be Boolean. For if H is a Heyting algebra that is not Boolean, then a ...
By examining the operations on {0,a,1} that commute with the retraction r, one can show that there are exactly 4 sets of operations {x+y, x*y, -x, 0, 1} such...
Thanks to Keith Kearnes for the replies ... ... Thanks. I don't know why I didn't think of trying a 3-element Heyting algebra before playing with this. ... ...
The following univalg poll is now closed. Here are the final results: POLL QUESTION: What are your feelings about whether the value of the list would be...
Having problems with message search?
Fill out this form to ensure your group is one of the first to be migrated to the new message search system.
