Hi everyone. I have a couple of questions about terminology. First, which is better to say, "Mal'cev variety," or "congruence-permutable variety?" JDH Smith...
... [As a picky point, is this question well posed? Type determines the arity of the operations but not the cardinality of the generator set (the variables), ...
Vaughan Pratt
pratt@...
Feb 10, 2002 5:34 am
102
... They are if you define varieties properly (as categories of algebras [of a given type \Sigma ] satisfying a prescribed class of equations and admitting ...
Hans-E. Porst
porst@...
Feb 10, 2002 1:32 pm
103
Professors Porst and Pratt, (In this post, because I compose it somewhat hastily, there is some abus de notation that I would usually prefer to eliminate. In...
SECOND ANNOUNCEMENT of the Conference on UNIVERSAL ALGEBRA AND LATTICE THEORY Dedicated to the 70-th Birthday of Bela Csakany Szeged, July 22-26, 2002 email:...
Hello all, Does anyone know a many-sorted version of Birkhoff's characterization of those closure operators that are induced by the subalgebra-closure of ...
Hans-E. Porst
porst@...
Feb 14, 2002 1:40 pm
106
Hello to all: Im currently taking college algebra and I must say that it has gotten a lot more interesting that what I remember from high school. Im a computer...
... Well, usually, people take, College Algebra Precalculus : Consisting of Trigonometry and parametric equations Calculus I and II, which involves Limits,...
Corey Bray
isomorphics@...
Feb 20, 2002 5:54 am
108
***************************************************** Our apology, if you receive multiple copies of this message ...
I have been working on a problem for several months now and seem to have hit a stone wall. I would appreciate some help. ab = R + N where, a, b, R and N are...
jule143@...
Feb 20, 2002 1:53 pm
110
... From: <jule143@...> To: <univalg@yahoogroups.com> Sent: Wednesday, February 20, 2002 1:53 PM Subject: [univalg] Integer Problem ... hit...
Elias Rodrigues
elias@...
Feb 20, 2002 7:00 pm
111
Hello All! Does anybody know whether it is true that an (first-order) axiomatizable class of algebras is closed wrt. homomorphism iff it is axiomatizable by...
I am quite interested in the same question if anyone has a response. JW Snow ... From: henkcsaba [mailto:henkcsaba@...] Sent: Thursday, February 21, 2002...
Snow,John
jsnow@...
Feb 21, 2002 7:00 pm
113
Csaba, John- The empty class of structures is closed under homomorphic images but is not axiomatizable by positive sentences. But if K is a nonempty...
Keith Kearnes writes - ... Disjunctions are allowed in positive sentences, and that can very sensibly include the nullary disjunction, i.e. "false"....
s.j.vickers@...
Feb 22, 2002 9:28 am
115
Hello everyone, I wrote a paper on commutator theory for compatible uniformities of an algebra in a congruence-modular variety. It worked out quite well, ...
I want to unsubscribe this groups Please help me...
thvp
thvp.vnpt@...
Mar 7, 2002 2:38 am
118
I believe that you unsubscribe this list by either sending a blank e-mail to, univalg-unsubscribe@yahoogroups.com or univalg-unsubscribe@onelist.com If neither...
Corey Bray
isomorphics@...
Mar 7, 2002 6:08 am
119
Hi, I was hunting for some help on Many-sorted algebras and I came across this list. Does anyone have any information about the concepts "initial algebra" and...
Dear Ojas, initial algebras are a standard topic in data-type specification, a good refereference is Chapter 4 in W.Wechler "Universal algebra in computer ...
Jiri Adamek
adamek@...
Mar 21, 2002 8:27 am
121
Hi, Im trying to obtain a copy of H. Werner. Discriminator Algebras. Studien zur Algebra und ihre Anwendungen, Band 6, Akademie-Verlag, berlin. I couldnt find...
Jorge Petrucio Viana
petrucio@...
Mar 22, 2002 1:54 pm
122
Try e-mailing Heini at werner@... ... *********************************************************************************** Sydney...
Sydney Bulman-Fleming
sbulman@...
Mar 22, 2002 2:41 pm
123
Dear friends and colleagues, We are happy to announce the launching of a new Journal in our field, The Journal of Algebra and its Applications (JAA). The first...
## Our apology, if you receive multiple copies of this message ## IKOMAT'02, 16-18 September 2002, Crema, Italy Dear Colleague, To accommodate numerous...
It is well-known, that in the class of sigma-complete Boolean algebras we have (1) A x B x C = A implies that A x B = A, where x stands for the direct product...
Gejza Jenca
jenca@...
May 6, 2002 6:31 pm
126
Dear Gejza, about your question on Cantor-Bernstein type theorems, ... %%%%%%%%%%%%%%%%% Antisymmetry of order is valid in a very general class of algebras,...
Friedrich Wehrung
wehrung@...
May 7, 2002 9:38 am
127
Dear All, We are pleased to announce a small workshop on algebraic approach to substructural logics, i.e., logics which algebraically correspond to ...
Tomasz Kowalski
kowalski@...
Jul 18, 2002 4:03 am
128
Dear All, I am pleased to announce our upcoming small conference. Luis Sequeira FIRST ANNOUNCEMENT "Lattices, Universal Algebra and Applications" Lisboa, May...
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.
