Lattices of quasi-equational theories as congruence lattices of semilattices with operators, Part II

Details Lattices of quasi-equational theories as congruence lattices of semilattices with operators, Part II Lattices of quasi-equational theories as congruence lattices of semilattices with operators, Part II

2011-06-11

arxiv.org/abs/1106.2204v3

Mathematics

Rings and Algebras

Presented on international conference "Order, Algebra and Logics", Vanderbilt Uiversity, 12-16 June 2007 16 pages and 4 figure

Scientific paper

Part I proved that for every quasivariety K of structures (which may have both operations and relations) there is a semilattice S with operators such that he lattice of quasi-equational theories of K (the dual of the lattice of sub-quasivarieties of K) is isomorphic to Con(S,+,0,F). It is known that if S is a join semilattice with 0 (and no operators), then there is a quasivariety Q such that the lattice of theories of Q is isomorphic to Con(S,+,0). We prove that if S is a semilattice having both 0 and 1 with a group G of operators acting on S, and each operator in G fixes both 0 and 1, then there is a quasivariety W such that the lattice of quasi-equational theories of W is isomorphic to Con(S,+,0,G).

Affiliated with

Also associated with

No associations

Rating

Lattices of quasi-equational theories as congruence lattices of semilattices with operators, Part II does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Lattices of quasi-equational theories as congruence lattices of semilattices with operators, Part II, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Lattices of quasi-equational theories as congruence lattices of semilattices with operators, Part II will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-413906