Hello Peter, let me try to put it into an example. You have a set of operations, e.g. {+,*,**}, over an algebraic structure and form (infinitely many) monadic ...
Hi Jens, No, this was not what I had in mind. I want to pass from one variety to another where the signature of the second variety has n extra operations and...
757
Fred E.J. Linton
flinton@...
Apr 28, 2012 6:49 pm
Peter, I think what you are after might fall under the keywords "invariant basis" phenomena. Ring/module theorists have investigated the behavior, for modules...
Fred, thanks for your suggestions! In case you are interested: The left exactness of the "localization" functor that I am after has been studied in the general...
In mathematics trees are considered being a special relation R on a well defined set S, i.e. they are a subset of of the cartesian set S x S with constraints....
On 5/16/2012 10:51 AM, Jens wrote: In mathematics trees are considered being a special relation R on a well defined set S, i.e. they are a subset of of the...
762
mwinter@...
May 16, 2012 5:33 pm
Hi Jens, ... I am not sure what you actually mean by continuous but here are some ideas/suggestions. First of all, you might want to consider relation algebras...
763
Vaughan Pratt
pratt@...
May 17, 2012 8:33 pm
Posted by: "Jens" jd@... <mailto:jd@...?Subject= ... Sure. 2^R in DCPO*. Here DCPO* is the cartesian closed category of *pointed* ...
764
Vaughan Pratt
pratt@...
May 17, 2012 9:13 pm
... Correction, that should read "right to left." The earlier choices are made on the larger reals Vaughan Pratt...
Thanks for the answers. The origin of my question was in the area of automated reasoning and also in classification schemes. I'll continue reasoning about...
Dear all, In this question, I use the category-theoretic definition of an epimorphism. http://en.wikipedia.org/wiki/Epimorphism In the category FDL of finite...
767
Ralph Freese
ralph@...
Jun 17, 2012 2:11 pm
There is a countable, simple modular lattice L of dimension 4 such that if a is covered by b in L and f : L -> M is an embedding into a modular lattice M, then...
2012/6/17 Ralph Freese <ralph@...> ... Thank you. Could you please provide a reference for the fact you mentioned? -- Gejza Jenca...
769
Marco Grandis
grandis@...
Jun 26, 2012 9:19 am
The following book has been published at World Scientific; below there is a copy of its presentation in the WS web page. With best regards Marco Grandis ...
770
Ralph Freese
ralph@...
Jul 29, 2012 2:22 am
First let me apologize for being so slow in responding---I've been traveling. The paper is "The variety of modular lattices is not generated by its finite...
771
Ralph Freese
ralph@...
Jul 29, 2012 2:43 am
PS. I should have mentioned that this ability to control the equations within an entire interval in the embedding's target began with Bjarni Jonsson, who...
772
Erkko Lehtonen
erkko.lehtonen@...
Sep 18, 2012 2:10 pm
The University of Luxembourg will host the 85th Workshop on General Algebra, 85. Arbeitstagung Allgemeine Algebra (AAA85) from January 31 to February 2, 2013. ...
Hello all, when reasoning about computability, I came to the equation B = A ** n where A is an (m,n) matrix over a ring. I wonder if there is always a closed...
774
Steve Vickers
s.j.vickers@...
Sep 30, 2012 5:41 pm
Dear Jens, First, I assume you mean A is (m,m). If it is not square you can't form its powers. Obviously for n = 2 you have a closed form using Sigma for...
Hi Jen and Steve- My guess is that Jens is looking for something like this: Let A = [a(i,j)] be an m\times m matrix. Let A[k] be the matrix for the k-th power...
Hi. We're doing open searches for two tenure-track positions at SUNY New Paltz. We have an ad up on MathJobs, as of yesterday. (Which says you're not to apply...
Al Roth's first paper was in lattice theory, if I recall correctly. (And Knuth proved that stable marriages form a distributive lattice.) This fact should be...
Given a (n,n) matrix A with coefficients a(i,j) one can define recursive equations for the coefficients c(m,i,j) of C = A ** m: For 1 <= i,j <= n c(p,i,j) =...
Correction of my mistake for the formula: For 1 <= i,j <= n c(p,i,j) = a(i,j) for p=1 c(p,i,j) = Sum(1<=k<=n, c(p-1,i,k) * c(p-1,k,j)) for p>1 Now it looks...
781
Marco Grandis
grandis@...
Nov 21, 2012 8:53 am
The following paper has been published: M. Grandis, Distributive lattices and coherence in homological algebra, Asia Pac. Math. Newsl., 2 no. 4 (2012), 11-16. ...
Dear Colleagues, Like many Universal Algebraists who spent time at Vanderbilt in the 1990s, I got to know Kevin Blount pretty well, and was surprised at his...
783
Erkko Lehtonen
erkko.lehtonen@...
Dec 4, 2012 8:19 am
The University of Luxembourg will host the 85th Workshop on General Algebra, 85. Arbeitstagung Allgemeine Algebra (AAA85) from January 31 to February 2, 2013. ...
784
Manuel Bodirsky
bodirsky@...
Jan 12, 2013 2:55 pm
... Postdoc position on mathematics of constraint satisfaction in Paris ... A postdoc position is available at LIX, Ecole Polytechnique, France, supported by...
