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...
henriksen@...
Oct 12, 2004 4:23 am
235
Ahoj Venco, no to je legrace, zespolu komunikujeme takhle!!! Dostal jsem par odpovedi, jako ze uz to vedel Weierstrass..., ale kupodivu i konkretni clanek, kde...
Dear all, I am rather curious about Jirka Adamek's Subsemigroup question. Can we have a translation of the essence of what was exchanged in the previous...
mhebert
mhebert@...
Oct 12, 2004 10:55 am
238
The question posed by Adamek is appended. My response is the only one that gives an explicit reference, The others describe it as easy to show or give...
henriksen@...
Oct 12, 2004 3:39 pm
239
Here is the copy of J. Adamek's question that I forgot to append. MH Date: Fri, 08 Oct 2004 15:52:56 +0200 (CEST) From: Jiri Adamek <adamek@...> ...
henriksen@...
Oct 12, 2004 3:43 pm
240
... Sorry, my previous reaction was too vague (laziness, common laziness...) There was a reference to related results (provided by Melvin Henriksen). The Redei...
Boris M Schein
bschein@...
Oct 12, 2004 10:16 pm
241
A comment to my previous comments. I asked a friend who was interested in the subsemigroups of free commutative monoids. He is far from home and cannot look up...
Boris M Schein
bschein@...
Oct 13, 2004 3:28 pm
242
Here is a question that Stephen Bloom asked me to place on this list. You may reply to him at bloom@.... Are there charaterization theorems for...
Walter Taylor
wtaylor@...
Nov 3, 2004 4:33 am
243
... There is something missing in the definition (links please). What is v ? Apparently v is an interpretation on a groupoid of the original terms. A. Mani ...
... v = var. All Steve is saying here is that an equation is super-regular when (a) the two sides have the same "fringe," meaning the same list of variables...
Vaughan Pratt
pratt@...
Nov 4, 2004 7:20 am
245
I just noticed that my last sentence, ... conflicts with Steve's no-repetition rule. The spirit of that restriction might survive under the condition that...
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.
