More good news. ... This is the same issue of the Notices in which George Gratzer's article is scheduled to appear. Although the Notices will only publish four...
Vaughan Pratt
pratt@...
Apr 4, 2007 6:53 pm
424
Hi, Is there an easy way to show that up to isomorphism you have at most 2^n (weak upper bound) groups of order n. Or n Yes/No questions you can ask to...
... If n is bigger than 560 billion, then the argument in Gallagher, Patrick, Counting finite groups of given order. Math. Z. 102 1967 236--237. proves that...
Dear All, Our letter to the Notices of the AMS has appeared. See an online version at: http://www.ams.org/notices/200706/tx070600694p.pdf ...
Brian Davey
B.Davey@...
Jun 21, 2007 6:10 pm
427
What should a Wikipedia article on the syntactic (equational deduction) aspects of Boolean algebra be called? Currently there are a number of articles related...
Vaughan Pratt
pratt@...
Jul 10, 2007 8:42 am
428
I forgot to say that a common though not consistently used Wikipedia convention for disambiguating two topics naturally named the same is a parenthetical...
Vaughan Pratt
pratt@...
Jul 10, 2007 3:15 pm
429
I vote for "Boolean algebra (logic)". \B ____________________________________________ Dr Brian A. Davey Reader and Associate Professor Department of...
Brian Davey
B.Davey@...
Jul 10, 2007 11:01 pm
430
... I have the following opinion based on the citations above. (A) I think, "1. Boolean logic" would be one of the right titles, since it is an important...
Prohle Peter
prohlep@...
Jul 11, 2007 11:34 am
431
Roughly speaking... (I mean, disregarding a lot of subtle points) Bourbaky classified the mathematical structures in three categories: algebraic, order, and...
Jorge Petrúcio Viana
petrucio@...
Jul 13, 2007 11:23 am
432
... Initially I was sceptical that these constituted distinct notions---my reaction was, aren't algebraic, order, and logical BAs all the same? (Topological...
Vaughan Pratt
pratt@...
Jul 15, 2007 5:32 pm
433
Hi. We stumbled across the following results, and wonder if anyone has already found them. They certainly feel like things that could have been done 50 to 100...
David Hobby's question about absolute nonassociativity prompts me to ask the following question that's been on my mind lately about some nonassociative...
Vaughan Pratt
pratt@...
Aug 18, 2007 7:01 am
435
i request you to tell me what is the exact definition of a Stone Space and some examples of it. with regards srinivas srinivasa rao...
Dear Srinivasa, Various equivalent definitions. Simplest probably is that it is a compact topological space such that for any two distinct points x and y,...
s.j.vickers@...
Aug 20, 2007 8:39 am
437
Dear all, I was recently given the following link, which I read with much enjoyment: http://www.math.rutgers.edu/~zeilberg/Opinion81.html Many congratulations...
Friedrich Wehrung
wehrung@...
Aug 26, 2007 11:53 am
438
Hello, as a new member of this group, I'd like to pose a question: Does anybody know, why the algebraic ring is called ring and the field called a field (in...
If my memory is accurate, the name "ringe" appeared first in 1915 or 1916 in a paper of Fraenkel. It is not in Weber's "Algebra", which does contain the word...
... Some of the information below is summarized from postings on the History of Math pages at The Math Forum @Drexel. (I haven't tried to verify its ...
Many thanks for the useful explanations! Meanwhile when sitting on the terrace I came across a tile, which is a physical body and an open set of atoms in my...
... The plausible speculation has my vote. Like the 2-element Boolean algebra, which generates its variety, the commutative ring of integers also generates...
Vaughan Pratt
pratt@...
Sep 18, 2007 7:41 pm
444
It is a theorem of category theory, but not of universal algebra, that every variety has an initial algebra. In category theory the initial algebra can be...
Vaughan Pratt
pratt@...
Sep 23, 2007 12:53 am
445
... The constants here of course referring to the constants (zeroary operations) of the clone, not just the constants of some basis, e.g. Z as the initial...
Vaughan Pratt
pratt@...
Sep 23, 2007 2:26 am
446
Hi, Vaughan, The universal algebra I learned came out of Slominski's little tract on infinitary operations. For him what was of interest were "equationally...
Fred E.J. Linton
flinton@...
Sep 23, 2007 3:32 am
447
Hi Vaughan, I am for the empty algebras. However I may note that even the deduction rules of classical logic are affected by that. For example "ForAll x (x=x)...
mhebert
mhebert@...
Sep 23, 2007 7:01 am
448
... The situation above is similar to the question whether the zero and the units are irreducibles (or primes) in Z by definition or not. The mankind has for...
Prohle Peter
prohlep@...
Sep 23, 2007 11:33 am
449
Dear Vaughan, [Executive summary: Yes.] The banning of empty carriers is historically a part not only of algebra, but also more generally of model theory in...
Steve Vickers
s.j.vickers@...
Sep 23, 2007 7:43 pm
450
Hi, my previous email is a bit more serious, read the new email below a bit more relaxed, take it easy. ... What was the question, your answer to what is...
Prohle Peter
prohlep@...
Sep 23, 2007 10:34 pm
451
I think Alice said it the best: Words mean what I choose them to mean. GG...
... Sometimes after an ill-chosen midnight email I re-read it in the morning and am reminded again of the wisdom of Celia's saying, "Mean words choose what I...
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.
