scholarly journals The left distributive law and the freeness of an algebra of elementary embeddings

1992 ◽  
Vol 91 (2) ◽  
pp. 209-231 ◽  
Author(s):  
Richard Laver

Richard Laver. The left distributive law and the freeness of an algebra of elementary embeddings. Advances in mathematics, vol. 91 (1992), pp. 209–231. - Richard Laver. A division algorithm for the free left distributive algebra. Logic Colloquium '90, ASL summer meeting in Helsinki, edited by J. Oikkonen and J. Väänänen, Lecture notes in logic, no. 2, Springer-Verlag, Berlin, Heidelberg, New York, etc., 1993, pp. 155–162. - Richard Laver. On the algebra of elementary embeddings of a rank into itself. Advances in mathematics, vol. 110 (1995), pp. 334–346. - Richard Laver. Braid group actions on left distributive structures, and well orderings in the braid groups. Journal of pure and applied algebra, vol. 108 (1996), pp. 81–98. - Patrick Dehornoy. An alternative proof of Laver's results on the algebra generated by an elementary embedding. Set theory of the continuum, edited by H. Judah, W. Just, and H. Woodin, Mathematics Sciences Research Institute publications, vol. 26, Springer-Verlag, New York, Berlin, Heidelberg, etc., 1992, pp. 27–33. - Patrick Dehornoy. Braid groups and left distributive operations. Transactions of the American Mathematical Society, vol. 345 (1994), pp. 115–150. - Patrick Dehornoy. A normal form for the free left distributive law. International journal of algebra and computation, vol. 4 (1994), pp. 499–528. - Patrick Dehornoy. From large cardinals to braids via distributive algebra. Journal of knot theory and its ramifications, vol. 4 (1995), pp. 33–79. - J. R. Steel. The well-foundedness of the Mitchell order. The journal of symbolic logic, vol. 58 (1993), pp. 931–940. - Randall Dougherty. Critical points in an algebra of elementary embeddings. Annals of pure and applied logic, vol. 65 (1993), pp. 211–241. - Randall Dougherty. Critical points in an algebra of elementary embeddings, II. Logic: from foundations to applications, European logic colloquium, edited by Wilfrid Hodges, Martin Hyland, Charles Steinhorn, and John Truss, Clarendon Press, Oxford University Press, Oxford, New York, etc., 1996, pp. 103–136. - Randall Dougherty and Thomas Jech. Finite left-distributive algebras and embedding algebras. Advances in mathematics, vol. 130 (1997), pp. 201–241.

2002 ◽  
Vol 8 (4) ◽  
pp. 555-560
Author(s):  
Aleš Drápal

2020 ◽  
Vol 30 (3) ◽  
pp. 187-202
Author(s):  
Sergey V. Polin

AbstractThe previous paper was concerned with systems of equations over a certain family 𝓢 of quasigroups. In that work a method of elimination of an outermost variable from the system of equations was suggested and it was shown that further elimination of variables requires that the family 𝓢 of quasigroups satisfy the generalized distributive law (GDL). In this paper we describe families 𝓢 that satisfy GDL. The results are applied to construct classes of easily solvable systems of equations.


Axioms ◽  
2021 ◽  
Vol 10 (3) ◽  
pp. 164
Author(s):  
Songsong Dai

This paper studies rough approximation via join and meet on a complete orthomodular lattice. Different from Boolean algebra, the distributive law of join over meet does not hold in orthomodular lattices. Some properties of rough approximation rely on the distributive law. Furthermore, we study the relationship among the distributive law, rough approximation and orthomodular lattice-valued relation.


1981 ◽  
Vol 11 (9-10) ◽  
pp. 797-803 ◽  
Author(s):  
P. F. Gibbins ◽  
D. B. Pearson

Algebra ◽  
2004 ◽  
pp. 14-15
Author(s):  
Israel M. Gelfand ◽  
Alexander Shen
Keyword(s):  

2014 ◽  
Vol 24 (2) ◽  
pp. 299-303 ◽  
Author(s):  
Robert Lin

We present some improvements for the landmark paper of fuzzy sets for distributive law, convex combination and convex fuzzy sets. Our enhancement will help researcher absorb the original paper of fuzzy sets.


2010 ◽  
Vol 22 (3) ◽  
pp. 439-464 ◽  
Author(s):  
Meritxell Vinyals ◽  
Juan A. Rodriguez-Aguilar ◽  
Jesús Cerquides

Sign in / Sign up

Export Citation Format

Share Document