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...
univalg@yahoogroups.com
Feb 1, 2004 9:11 am
207
... Yes, in my experience that seems to be widely understood as standard. ... Yes, it is. One scenic route to this is via category theory. A Heyting algebra is...
S Vickers
s.j.vickers@...
Feb 1, 2004 3:14 pm
208
... Oh, good, then I can say this. :) The replies to Michael Kinyon's interesting question, can Heyting algebras be viewed as some sort of ring the way...
Vaughan Pratt
pratt@...
Feb 1, 2004 10:33 pm
209
I don't want to write too much in followup to Vaughan, in case I digress too far from the spirit of the original question. But just to encourage those who do...
Steve Vickers
s.j.vickers@...
Feb 2, 2004 10:55 am
210
... Yes, it occurred to me after posting my message that I should have mentioned that n-ary operations need to be defined on tensor powers when they are to be...
Vaughan Pratt
pratt@...
Feb 2, 2004 11:46 pm
211
(Please, excuse for possibly multiple mail) AAA68 FIRST ANNOUNCEMENT {}From June 10 to June 13, 2004, the Institute of Algebra at Dresden University of...
R.Poe
poeschel@...
Feb 20, 2004 2:26 pm
212
This is a question from a colleague of mine who is a number theorist. ... Kathy -- ****************************************************** Katherine J. Thom...
Kathy Johnston Thom
thomk@...
Feb 23, 2004 5:07 pm
213
Looking at the book "Multuplicative Ideal Theory by R. Gilmer (Marcel Dekker 1972) will surely help to answer your questions Melvin Henriksen...
few months before someone introduced me a web site by just signing up i have received $10 and now i am getting about $1400 per month just doing nothing with no...
Dear UACTers, Luca Aceto asked me yesterday, in the context of results of his about theories of parallel composition, about conditions for a finitely based ...
Vaughan Pratt
pratt@...
Apr 16, 2004 3:47 pm
217
I want to know if there is any theorem, that says: Let \tau be a type of algebras. To any clone of operations C (with the set of n-ary operations is finite, to...
... This statement is not true. The reason is this: Let B_0 be the base set of the of operations in the clone, and let B be the algebra <B_0,C>. Let V be the...
I am not an expert in clones. but in my opinion there is not such a theorem. Start with type \tau = (1). Given a clone of binary operations, which are not...
Ewa Graczynska
egracz@...
Apr 23, 2004 9:56 am
221
I formulated the following problem in a recent paper (under prep.) of mine. Let 'S' be a finite distributive lattice endowed with two extra unary partial...
I have a questions, if we inverse the conditions in the definitions of Galois connections, then the composition of the operators is a kernel operator ( and not...
... A coGalois connection between posets P and Q is just a Galois connection between the opposites P^op and Q^op, isn't it? So there's no new theory. Steve...
Steve Vickers
s.j.vickers@...
Apr 28, 2004 11:33 am
224
My question is that, if we reverse the last condition on the definition of Galois connection, change the condition to make the composition of the two maps...
SECOND ANNOUNCEMENT ... Algebras, Lattices, Varieties - A Conference in Honor of Walter Taylor Boulder, Colorado August 15-18, 2004 We take great pleasure in...
Does the categorical notion of center due (I think) to Barr and Huq (see references below) coincide with the universal algebra notion of center as adumbrated...
(My apologies if you receive this message twice.) Dear Colleagues, This is a reminder that the deadline for submitting abstracts for the conference Algebras,...
Where do I find a proof that every subsemigroup of the additive group of all natural numbers is finitely generated? ...
Jiri Adamek
adamek@...
Oct 8, 2004 1:53 pm
230
Hi, I guess that some elementary number theory texts have this; I'm not sure. I published a paper in JSL around 1971 (vol. 36) showing that the first order...
Mckenzie, Ralph N
mckenzie@...
Oct 8, 2004 2:53 pm
231
This fact goes back to Frobenius (and Weierstrass). The problem is to recall who and where mentioned it in print. This is more difficult than just proving the...
Boris M Schein
bschein@...
Oct 8, 2004 3:33 pm
232
... You can also prove it using partial algebras. Starting from relative partial subsemigroups of N. The main construction is in a paper due to Mikenberg, I...
Obavam se Jirko, ze s nalezenim tohoto faktu budes mit problemy. Je to folklor, takze se da ocekavat v nejake zakladni ucebnici algebry. Ale moc bych neveril...
Vaclav Koubek
koubek@...
Oct 11, 2004 9:02 am
234
In their expository paper "On the subsemigroups of N" in Mathematics Magazine 48 (1975), 225-227, W. Sit and M. Siu showed that all such are finitely...
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.
