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...
Luis Sequeira
lsequeir@...
Jul 26, 2002 10:52 am
129
From: "MARCEL WILD" <MWILD@...> Organization: Stellenbosch University To: univalg@yahoogroups.com, mwild@... ...
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.
