{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T15:12:15Z","timestamp":1773241935644,"version":"3.50.1"},"reference-count":91,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2015,12,19]],"date-time":"2015-12-19T00:00:00Z","timestamp":1450483200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2016,2]]},"DOI":"10.1007\/s00153-015-0460-9","type":"journal-article","created":{"date-parts":[[2015,12,19]],"date-time":"2015-12-19T11:59:12Z","timestamp":1450526352000},"page":"49-83","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Laver\u2019s results and low-dimensional topology"],"prefix":"10.1007","volume":"55","author":[{"given":"Patrick","family":"Dehornoy","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,12,19]]},"reference":[{"key":"460_CR1","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/S0001-8708(02)00071-3","volume":"178","author":"N. Andruskiewitsch","year":"2003","unstructured":"Andruskiewitsch N., Gra\u00f1a M.: From racks to pointed Hopf algebras. Adv. Math. 178, 177\u2013243 (2003)","journal-title":"Adv. Math."},{"key":"460_CR2","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1090\/conm\/537\/10565","volume":"537","author":"N. Andruskiewitsch","year":"2011","unstructured":"Andruskiewitsch N., Fantino F., Garc\u00eda G., Vendramin L.: On Nichols algebras associated to simple racks. Contemp. Math. 537, 31\u201356 (2011)","journal-title":"Contemp. Math."},{"key":"460_CR3","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BF02950718","volume":"4","author":"E. Artin","year":"1925","unstructured":"Artin E.: Theorie der Zopfe. Abh. Math. Semin. Univ. Hambg. 4, 47\u201372 (1925)","journal-title":"Abh. Math. Semin. Univ. Hambg."},{"key":"460_CR4","doi-asserted-by":"crossref","first-page":"101","DOI":"10.2307\/1969218","volume":"48","author":"E. Artin","year":"1947","unstructured":"Artin E.: Theory of braids. Ann. Math. 48, 101\u2013126 (1947)","journal-title":"Ann. Math."},{"key":"460_CR5","doi-asserted-by":"crossref","DOI":"10.1515\/9781400881420","volume-title":"Braids, Links, and Mapping Class Groups, Annals of Math. Studies, 82","author":"J. Birman","year":"1975","unstructured":"Birman J.: Braids, Links, and Mapping Class Groups, Annals of Math. Studies, 82. Princeton University Press, Princeton (1975)"},{"key":"460_CR6","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1006\/aima.1998.1761","volume":"139-2","author":"J. Birman","year":"1998","unstructured":"Birman J., Ko K.H., Lee S.J.: A new approach to the word problem in the braid groups. Adv. Math. 139-2, 322\u2013353 (1998)","journal-title":"Adv. Math."},{"key":"460_CR7","first-page":"38","volume-title":"Lecture Notes in Logic","author":"A. Bovykin","year":"2009","unstructured":"Bovykin A.: Brief introduction to unprovability, Logic Colloquium 2006. In: Cooper, S., Geuvers, H., Pillay, A., V\u00e4\u00e4n\u00e4nen, J. (eds.) Lecture Notes in Logic, pp. 38\u201364. Cambridge University Press, Cambridge (2009)"},{"key":"460_CR8","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1090\/conm\/078\/975077","volume":"78","author":"E. Brieskorn","year":"1988","unstructured":"Brieskorn E.: Automorphic sets and braids and singularities. Braids Contemp. Maths AMS 78, 45\u2013117 (1988)","journal-title":"Braids Contemp. Maths AMS"},{"key":"460_CR9","volume-title":"A Survey of Binary Systems","author":"R.H. Bruck","year":"1966","unstructured":"Bruck R.H.: A Survey of Binary Systems. Springer, Berlin (1966)"},{"issue":"1","key":"460_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0022-4049(96)00072-2","volume":"120","author":"S. Burckel","year":"1997","unstructured":"Burckel S.: The wellordering on positive braids. J. Pure Appl. Algebra 120(1), 1\u201317 (1997)","journal-title":"J. Pure Appl. Algebra"},{"key":"460_CR11","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1023\/A:1006476629234","volume":"16","author":"S. Burckel","year":"1999","unstructured":"Burckel S.: Computation of the ordinal of braids. Order 16, 291\u2013304 (1999)","journal-title":"Order"},{"key":"460_CR12","volume-title":"Knots","author":"G. Burde","year":"1985","unstructured":"Burde G., Zieschang H.: Knots. de Gruyter, Berlin (1985)"},{"key":"460_CR13","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1112\/plms\/pdq016","volume":"102","author":"L. Carlucci","year":"2011","unstructured":"Carlucci L., Dehornoy P., Weiermann A.: Unprovability statements involving braids. Proc. Lond. Math. Soc. 102, 159\u2013192 (2011)","journal-title":"Proc. Lond. Math. Soc."},{"key":"460_CR14","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1006\/aima.2000.1939","volume":"157","author":"J.S. Carter","year":"2001","unstructured":"Carter J.S., Jelsovsky D., Kamada S., Saito M.: Computation of quandle cocycle invariants of knotted curves and surfaces. Adv. Math. 157, 36\u201394 (2001)","journal-title":"Adv. Math."},{"key":"460_CR15","doi-asserted-by":"crossref","first-page":"95","DOI":"10.2140\/agt.2002.2.95","volume":"2","author":"J.S. Carter","year":"2002","unstructured":"Carter J.S., Elhamdadi M., Saito M.: Twisted quandle homology theory and cocycle knot invariants. Algebr. Geom. Topol. 2, 95\u2013135 (2002)","journal-title":"Algebr. Geom. Topol."},{"key":"460_CR16","doi-asserted-by":"crossref","first-page":"31","DOI":"10.4064\/fm184-0-3","volume":"184","author":"J.S. Carter","year":"2004","unstructured":"Carter J.S., Elhamdadi M., Saito M.: Homology theory for the set-theoretic Yang-Baxter equation and knot invariants from generalizations of quandles. Fund. Math. 184, 31\u201354 (2004)","journal-title":"Fund. Math."},{"key":"460_CR17","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1142\/S0218216501000901","volume":"10","author":"J.S. Carter","year":"2001","unstructured":"Carter J.S., Kamada S., Saito M.: Geometric interpretations of quandle homology. J. Knot Theory Ramif. 10, 345\u2013386 (2001)","journal-title":"J. Knot Theory Ramif."},{"key":"460_CR18","doi-asserted-by":"crossref","unstructured":"Carter, S.: A survey of quandle ideas. In: Kauffmann et\u00a0al. (eds.) Introductory lectures on Knot Theory, Series on Knots and Everything, vol. 46, pp. 22\u201353. World Scientific, Singapore (2012)","DOI":"10.1142\/9789814313001_0002"},{"key":"460_CR19","doi-asserted-by":"crossref","first-page":"1259","DOI":"10.1142\/S0218216511009315","volume":"20","author":"W. Chang","year":"2011","unstructured":"Chang W., Nelson S.: Rack shadows and their invariants. J. Knot Theory Ramif. 20, 1259\u20131269 (2011)","journal-title":"J. Knot Theory Ramif."},{"key":"460_CR20","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/0168-0072(88)90028-0","volume":"38","author":"P. Dehornoy","year":"1988","unstructured":"Dehornoy P.: $${{{\\Pi}_{1}^{1}}}$$ \u03a0 1 1 -complete families of elementary sequences. Ann. Pure Appl. Logic 38, 257\u2013287 (1988)","journal-title":"Ann. Pure Appl. Logic"},{"key":"460_CR21","first-page":"333","volume":"314","author":"P. Dehornoy","year":"1992","unstructured":"Dehornoy P.: Preuve de la conjecture d\u2019irr\u00e9flexivit\u00e9 pour les structures distributives libres. C. R. Acad. Sci. Paris 314, 333\u2013336 (1992)","journal-title":"C. R. Acad. Sci. Paris"},{"key":"460_CR22","first-page":"633","volume":"315","author":"P. Dehornoy","year":"1992","unstructured":"Dehornoy P.: Deux propri\u00e9t\u00e9s des groupes de tresses. C. R. Acad. Sci. Paris 315, 633\u2013638 (1992)","journal-title":"C. R. Acad. Sci. Paris"},{"issue":"1","key":"460_CR23","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1090\/S0002-9947-1994-1214782-4","volume":"345","author":"P. Dehornoy","year":"1994","unstructured":"Dehornoy P.: Braid groups and left distributive operations. Trans. Am. Math. Soc. 345(1), 115\u2013151 (1994)","journal-title":"Trans. Am. Math. Soc."},{"issue":"4","key":"460_CR24","doi-asserted-by":"crossref","first-page":"379","DOI":"10.2307\/421170","volume":"2","author":"P. Dehornoy","year":"1996","unstructured":"Dehornoy P.: Another use of set theory. Bull. Symb. Logic 2(4), 379\u2013391 (1996)","journal-title":"Bull. Symb. Logic"},{"issue":"5","key":"460_CR25","doi-asserted-by":"crossref","first-page":"589","DOI":"10.1142\/S0218216599000407","volume":"8","author":"P. Dehornoy","year":"1999","unstructured":"Dehornoy P.: Strange questions about braids. J. Knot Theory Ramif. 8(5), 589\u2013620 (1999)","journal-title":"J. Knot Theory Ramif."},{"key":"460_CR26","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-0348-8442-6","volume-title":"Braids and Self-Distributivity, Progress in Math, vol. 192","author":"P. Dehornoy","year":"2000","unstructured":"Dehornoy P.: Braids and Self-Distributivity, Progress in Math, vol. 192. Birkh\u00e4user, Basel (2000)"},{"key":"460_CR27","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1090\/conm\/360\/06566","volume":"360","author":"P. Dehornoy","year":"2004","unstructured":"Dehornoy P.: Braid-based cryptography. Contemp. Math. 360, 5\u201333 (2004)","journal-title":"Contemp. Math."},{"issue":"11","key":"460_CR28","doi-asserted-by":"crossref","first-page":"2416","DOI":"10.1016\/j.jpaa.2008.03.027","volume":"212","author":"P. Dehornoy","year":"2008","unstructured":"Dehornoy P.: Alternating normal forms for braids and locally Garside monoids. J. Pure Appl. Algebra 212(11), 2416\u20132439 (2008)","journal-title":"J. Pure Appl. Algebra"},{"key":"460_CR29","doi-asserted-by":"crossref","unstructured":"Dehornoy, P., Dynnikov, I., Rolfsen, D.,Wiest, B.: Ordering Braids, Mathematical Surveys and Monographs 418, American Mathematical Society, Providence, RI (2008)","DOI":"10.1090\/surv\/148"},{"key":"460_CR30","doi-asserted-by":"crossref","unstructured":"Dehornoy, P.: Elementary embeddings and algebra. In: Foreman, M., Kanamori, A. (eds.) Handbook of Set Theory, vol. 2, pp. 737\u2013774. Springer, Berlin (2010)","DOI":"10.1007\/978-1-4020-5764-9_12"},{"key":"460_CR31","doi-asserted-by":"crossref","unstructured":"Dehornoy, P.: Braid Order, Sets, and Knots. In: Kauffmann et\u00a0al. (eds.) Introductory lectures on Knot Theory, Series on Knots and Everything vol. 46, pp. 77\u201396. World Scientific, Singapore (2012)","DOI":"10.1142\/9789814313001_0004"},{"key":"460_CR32","doi-asserted-by":"crossref","unstructured":"Dehornoy, P., Digne, with F., Godelle, E., Krammer, D., Michel, J.: Foundations of Garside Theory, EMS Tracts in Mathematics, vol. 22. ISBN 978-3-03719-139-2. http:\/\/www.math.unicaen.fr\/~garside\/Garside (2015)","DOI":"10.4171\/139"},{"key":"460_CR33","doi-asserted-by":"crossref","unstructured":"Dehornoy, P., \u00a0Lebed, V.: Two- and three-cocycles for Laver tables; J. Knot Theory Ramif. 23(4), 1450017. arXiv:1401.2335 (2014)","DOI":"10.1142\/S0218216514500175"},{"key":"460_CR34","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1006\/aima.1997.1655","volume":"130","author":"R. Dougherty","year":"1997","unstructured":"Dougherty R., Jech T.: Finite left-distributive algebras and embedding algebras. Adv. Math. 130, 201\u2013241 (1997)","journal-title":"Adv. Math."},{"key":"460_CR35","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/BF02573617","volume":"51","author":"A. Dr\u00e1pal","year":"1995","unstructured":"Dr\u00e1pal A.: On the semigroup structure of cyclic left-distributive algebras. Semigroup Forum 51, 23\u201330 (1995)","journal-title":"Semigroup Forum"},{"key":"460_CR36","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1016\/S0022-4049(96)00071-0","volume":"121","author":"A. Dr\u00e1pal","year":"1997","unstructured":"Dr\u00e1pal A.: Finite left distributive algebras with one generator. J. Pure Appl. Algebra 121, 233\u2013251 (1997)","journal-title":"J. Pure Appl. Algebra"},{"key":"460_CR37","doi-asserted-by":"crossref","first-page":"723","DOI":"10.1142\/S0218196797000320","volume":"7","author":"A. Dr\u00e1pal","year":"1997","unstructured":"Dr\u00e1pal A.: Finite left distributive groupoids with one generator. Int. J. Algebra Comput. 7, 723\u2013748 (1997)","journal-title":"Int. J. Algebra Comput."},{"key":"460_CR38","doi-asserted-by":"crossref","first-page":"2579","DOI":"10.1080\/00927879408824978","volume":"22","author":"A. Dr\u00e1pal","year":"1994","unstructured":"Dr\u00e1pal A.: Homomorphisms of primitive left distributive groupoids. Commun. Algebra 22, 2579\u20132592 (1994)","journal-title":"Commun. Algebra"},{"key":"460_CR39","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/0022-4049(94)00142-1","volume":"105","author":"A. Dr\u00e1pal","year":"1995","unstructured":"Dr\u00e1pal A.: Persistency of cyclic left distributive algebras. J. Pure Appl. Algebra 105, 137\u2013165 (1995)","journal-title":"J. Pure Appl. Algebra"},{"key":"460_CR40","unstructured":"Dr\u00e1pal, A.: The third level of homomorphisms in finite cyclic left-distributive algebras (unpublished preprint) (1996)"},{"key":"460_CR41","doi-asserted-by":"crossref","unstructured":"Drinfeld, V.G.: On some unsolved problems in quantum group theory. In: Quantum Groups (Leningrad, 1990), Lecture Notes in Mathematics, Vol. 1510, p. 18. Springer, Berlin (1992)","DOI":"10.1007\/BFb0101175"},{"issue":"2","key":"460_CR42","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1093\/qmath\/45.4.479","volume":"45","author":"E.A. Elrifai","year":"1994","unstructured":"Elrifai E.A., Morton H.R.: Algorithms for positive braids. Q. J. Math. Oxf. 45(2), 479\u2013497 (1994)","journal-title":"Q. J. Math. Oxf."},{"key":"460_CR43","doi-asserted-by":"crossref","first-page":"1240004-1","DOI":"10.1142\/S0218216512400044","volume":"21","author":"R. Fenn","year":"2012","unstructured":"Fenn R.: Tackling the trefoils. J. Knot Theory Ramif. 21, 1240004-1\u20131240004-20 (2012)","journal-title":"J. Knot Theory Ramif."},{"issue":"4","key":"460_CR44","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1142\/S0218216592000203","volume":"1","author":"R. Fenn","year":"1992","unstructured":"Fenn R., Rourke C.: Racks and links in codimension 2. J. Knot Theory. Ramific. 1(4), 343\u2013406 (1992)","journal-title":"J. Knot Theory. Ramific."},{"key":"460_CR45","doi-asserted-by":"crossref","first-page":"217240","DOI":"10.1112\/S0024611504014674","volume":"89","author":"R. Fenn","year":"2004","unstructured":"Fenn R., Rourke C., Sanderson B.: James bundles. Proc. Lond. Math. Soc. 89, 217240 (2004)","journal-title":"Proc. Lond. Math. Soc."},{"key":"460_CR46","doi-asserted-by":"crossref","first-page":"701740","DOI":"10.1090\/S0002-9947-06-03912-2","volume":"359","author":"R. Fenn","year":"2007","unstructured":"Fenn R., Rourke C., Sanderson B.: The rack space. Trans. Am. Math. Soc. 359, 701740 (2007)","journal-title":"Trans. Am. Math. Soc."},{"key":"460_CR47","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1006\/jcta.2000.3154","volume":"95","author":"H. Friedman","year":"2001","unstructured":"Friedman H.: Long finite sequences. J. Comb. Theory A 95, 102\u2013144 (2001)","journal-title":"J. Comb. Theory A"},{"key":"460_CR48","doi-asserted-by":"crossref","first-page":"631","DOI":"10.1142\/S0218216510008029","volume":"19","author":"J. Fromentin","year":"2010","unstructured":"Fromentin J.: The well ordering on dual braid monoids. J. Knot Theory Ramif. 19, 631\u2013654 (2010)","journal-title":"J. Knot Theory Ramif."},{"key":"460_CR49","doi-asserted-by":"crossref","first-page":"1591","DOI":"10.4171\/jems\/289","volume":"13","author":"J. Fromentin","year":"2011","unstructured":"Fromentin J.: Every braid admits a short sigma-definite expression. J. Europ. Math. Soc. 13, 1591\u20131631 (2011)","journal-title":"J. Europ. Math. Soc."},{"issue":"78","key":"460_CR50","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1093\/qmath\/20.1.235","volume":"20","author":"F.A. Garside","year":"1969","unstructured":"Garside F.A.: The braid group and other groups. Q. J. Math. Oxf. 20(78), 235\u2013254 (1969)","journal-title":"Q. J. Math. Oxf."},{"key":"460_CR51","doi-asserted-by":"crossref","first-page":"12831293","DOI":"10.1142\/S0218216507005804","volume":"16","author":"N. Harrell","year":"2007","unstructured":"Harrell N., Nelson S.: Quandles and linking number. J. Knot Theory Ramif. 16, 12831293 (2007)","journal-title":"J. Knot Theory Ramif."},{"key":"460_CR52","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1112\/plms\/s3-2.1.326","volume":"2","author":"G. Higman","year":"1952","unstructured":"Higman G.: Ordering by divisibility in abstract algebras. Proc. Lond. Math. Soc. 2, 326\u2013336 (1952)","journal-title":"Proc. Lond. Math. Soc."},{"key":"460_CR53","doi-asserted-by":"crossref","first-page":"813","DOI":"10.1142\/S0218216501001177","volume":"10","author":"A. Inoue","year":"2001","unstructured":"Inoue A.: Homomorphisms of knot quandles to Alexander quandles. J. Knot Theory Ramific. 10, 813\u2013822 (2001)","journal-title":"J. Knot Theory Ramific."},{"key":"460_CR54","doi-asserted-by":"crossref","first-page":"473","DOI":"10.2140\/gt.2011.15.473","volume":"15","author":"T. Ito","year":"2011","unstructured":"Ito T.: Braid ordering and the geometry of closed braids. Geom. Topol. 15, 473\u2013498 (2011)","journal-title":"Geom. Topol."},{"key":"460_CR55","doi-asserted-by":"crossref","first-page":"1311","DOI":"10.1142\/S0218216511009169","volume":"20","author":"T. Ito","year":"2011","unstructured":"Ito T.: Braid ordering and knot genus. J. Knot Theory Ramif. 20, 1311\u20131323 (2011)","journal-title":"J. Knot Theory Ramif."},{"key":"460_CR56","first-page":"123","volume":"2","author":"T. Ito","year":"2010","unstructured":"Ito T.: On finite Thurston-type orderings of braid groups. Groups Complex. Cryptol. 2, 123\u2013155 (2010)","journal-title":"Groups Complex. Cryptol."},{"key":"460_CR57","doi-asserted-by":"crossref","first-page":"995","DOI":"10.1142\/S0218216511009078","volume":"20","author":"T. Ito","year":"2011","unstructured":"Ito T.: Finite Thurston type orderings on dual braid monoids. J. Knot Theory Ramif. 20, 995\u20131019 (2011)","journal-title":"J. Knot Theory Ramif."},{"key":"460_CR58","doi-asserted-by":"crossref","first-page":"3759","DOI":"10.1142\/S0217751X89001503","volume":"4","author":"M. Jimbo","year":"1989","unstructured":"Jimbo M.: Introduction to the Yang\u2013Baxter equation. Int. J. Mod. Phys. A 4, 3759\u20133777 (1989)","journal-title":"Int. J. Mod. Phys. A"},{"key":"460_CR59","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/0022-4049(82)90077-9","volume":"23","author":"D. Joyce","year":"1982","unstructured":"Joyce D.: A classifying invariant of knots: the knot quandle. J. Pure Appl. Algebra 23, 37\u201365 (1982)","journal-title":"J. Pure Appl. Algebra"},{"key":"460_CR60","volume-title":"The Higher Infinite","author":"A. Kanamori","year":"1994","unstructured":"Kanamori A.: The Higher Infinite. Springer, Berlin (1994)"},{"key":"460_CR61","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0783-2","volume-title":"Quantum Groups","author":"C. Kassel","year":"1995","unstructured":"Kassel C.: Quantum Groups. Springer, New York (1995)"},{"key":"460_CR62","volume-title":"On knots, Annals of Math. Studies 115","author":"L. Kauffman","year":"1987","unstructured":"Kauffman L.: On knots, Annals of Math. Studies 115. Princeton University Press, Princeton (1987)"},{"key":"460_CR63","doi-asserted-by":"crossref","unstructured":"Kauffman, L.: Virtual knots theory. Eur. J. Comb. 99(20), 663\u2013691","DOI":"10.1006\/eujc.1999.0314"},{"key":"460_CR64","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1112\/blms\/14.4.285","volume":"14","author":"L. Kirby","year":"1982","unstructured":"Kirby L., Paris J.: Accessible independence results for Peano arithmetic. Bull. Lond. Math. Soc. 14, 285\u2013293 (1982)","journal-title":"Bull. Lond. Math. Soc."},{"key":"460_CR65","doi-asserted-by":"crossref","unstructured":"Ko, K.H., Lee, S.J., Cheon, J.H., Han, J.W., Kang, J.S., Park, C.: New public-key cryptosystem using braid groups; Crypto 2000. Springer Lecture Notes in Computer Science, vol. 1880, pp. 166\u2013184 (2000)","DOI":"10.1007\/3-540-44598-6_10"},{"key":"460_CR66","unstructured":"Larue, D.: Left-distributive and left-distributive idempotent algebras. Ph D Thesis, University of Colorado, Boulder (1994)"},{"key":"460_CR67","first-page":"6","volume":"7","author":"R. Laver","year":"1986","unstructured":"Laver R.: Elementary embeddings of a rank into itself. Abstr. Am. Math. Soc. 7, 6 (1986)","journal-title":"Abstr. Am. Math. Soc."},{"issue":"2","key":"460_CR68","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/0001-8708(92)90016-E","volume":"91","author":"R. Laver","year":"1992","unstructured":"Laver R.: The left distributive law and the freeness of an algebra of elementary embeddings. Adv. Math. 91(2), 209\u2013231 (1992)","journal-title":"Adv. Math."},{"key":"460_CR69","doi-asserted-by":"crossref","unstructured":"Laver, R.: A division algorithm for the free left distributive algebra. In Oikkonen et\u00a0al. (eds.) Logic Colloquium \u201990, Lecture. Notes Logic 2, pp. 155\u2013162 (1993)","DOI":"10.1017\/9781316718254.012"},{"key":"460_CR70","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1006\/aima.1995.1014","volume":"110","author":"R. Laver","year":"1995","unstructured":"Laver R.: On the algebra of elementary embeddings of a rank into itself. Adv. Math. 110, 334\u2013346 (1995)","journal-title":"Adv. Math."},{"issue":"1","key":"460_CR71","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0022-4049(95)00147-6","volume":"108","author":"R. Laver","year":"1996","unstructured":"Laver R.: Braid group actions on left distributive structures and well-orderings in the braid group. J. Pure Appl. Algebra 108(1), 81\u201398 (1996)","journal-title":"J. Pure Appl. Algebra"},{"key":"460_CR72","doi-asserted-by":"crossref","first-page":"276","DOI":"10.1016\/j.jpaa.2010.04.019","volume":"215","author":"R. Laver","year":"2010","unstructured":"Laver R., Miller S.: Left-divisors in the free one-generated LD-algebra. J. Pure Appl. Algebra 215, 276\u2013282 (2010)","journal-title":"J. Pure Appl. Algebra"},{"key":"460_CR73","first-page":"2150","volume":"11","author":"R. Laver","year":"2013","unstructured":"Laver R., Miller S.: The free one-generated left distributive algebra: basics and a simplified proof of the division algorithm. Cent. Eur. J. Math. 11, 2150\u20132175 (2013)","journal-title":"Cent. Eur. J. Math."},{"key":"460_CR74","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1016\/j.jalgebra.2013.06.009","volume":"391","author":"V. Lebed","year":"2013","unstructured":"Lebed V.: Homologies of algebraic structures via braidings and quantum shuffles. J. Algebra 391, 152\u2013192 (2013)","journal-title":"J. Algebra"},{"issue":"2","key":"460_CR75","doi-asserted-by":"crossref","first-page":"711","DOI":"10.1016\/j.jpaa.2015.07.013","volume":"220","author":"V. Lebed","year":"2013","unstructured":"Lebed V.: Cohomology of finite monogenic self-distributive structures. J. Pure Appl. Algebra. 220(2), 711\u2013734 (2016)","journal-title":"J. Pure Appl. Algebra"},{"key":"460_CR76","doi-asserted-by":"crossref","first-page":"791","DOI":"10.1090\/S1061-0022-05-00879-4","volume":"16","author":"A. Malyutin","year":"2005","unstructured":"Malyutin A.: Twist number of (closed) braids. St. Peterbg. Math. J. 16, 791\u2013813 (2005)","journal-title":"St. Peterbg. Math. J."},{"key":"460_CR77","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1090\/S1061-0022-04-00816-7","volume":"15","author":"A. Malyutin","year":"2004","unstructured":"Malyutin A., Netsvetaev N.: Dehornoy\u2019s ordering on the braid group and braid moves. St. Peterbg. Math. J. 15, 437\u2013448 (2004)","journal-title":"St. Peterbg. Math. J."},{"issue":"1\u20132","key":"460_CR78","first-page":"73","volume":"119","author":"S.V. Matveev","year":"1982","unstructured":"Matveev S.V.: Distributive groupoids in knot theory. Math. Sb. 119(1\u20132), 73\u201383 (1982)","journal-title":"Math. Sb."},{"key":"460_CR79","unstructured":"Nelson, S.: Link invariants from finite racks. arXiv:0808.0029"},{"key":"460_CR80","doi-asserted-by":"crossref","first-page":"1247","DOI":"10.1142\/S0218216511009273","volume":"20","author":"S. Nelson","year":"2011","unstructured":"Nelson S., Wieghard R.: Link invariants from finite Coxeter racks. J. Knot Theory Ramif. 20, 1247\u20131257 (2011)","journal-title":"J. Knot Theory Ramif."},{"key":"460_CR81","first-page":"645","volume":"46","author":"M. Niebrzydowski","year":"2009","unstructured":"Niebrzydowski M., Przytycki J.H.: The quandle of the trefoil as the Dehn quandle of the torus. Osaka J. Math. 46, 645\u2013659 (2009)","journal-title":"Osaka J. Math."},{"key":"460_CR82","doi-asserted-by":"crossref","unstructured":"Orevkov, S.: Strong positivity in the right-invariant order on a braid group and quasipositivity; Mat. Zametki 68, pp. 692\u2013698 (Russian) (2000); English translation in Math. Notes 68(5\u20136), pp. 588\u2013593 (2000)","DOI":"10.1023\/A:1026667407199"},{"key":"460_CR83","first-page":"823","volume":"44","author":"J. Przytycki","year":"2011","unstructured":"Przytycki J.: Distributivity versus associativity in the homology theory of algebraic structures. Demonstr. Math. 44, 823\u2013869 (2011)","journal-title":"Demonstr. Math."},{"key":"460_CR84","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/s40062-012-0012-5","volume":"8","author":"J. Przytycki","year":"2013","unstructured":"Przytycki J., Putyra K.: Homology of distributive lattices. J. Homotopy Relat. Struct. 8, 35\u201365 (2013)","journal-title":"J. Homotopy Relat. Struct."},{"key":"460_CR85","doi-asserted-by":"crossref","unstructured":"Przytycki, J., Sikora, A.: Distributive products and their homology. Commun. Algebra 42(4) (to appear). arXiv:1105.3700 (2014)","DOI":"10.1080\/00927872.2012.737076"},{"key":"460_CR86","doi-asserted-by":"crossref","first-page":"789","DOI":"10.1142\/S0218216507005518","volume":"16","author":"R.L. Rubinsztein","year":"2007","unstructured":"Rubinsztein R.L.: Topological quandles and invariants of links. J. Knot Theory Ramif. 16, 789\u2013808 (2007)","journal-title":"J. Knot Theory Ramif."},{"key":"460_CR87","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1016\/j.aim.2004.03.019","volume":"193","author":"W. Rump","year":"2005","unstructured":"Rump W.: A decomposition theorem for square-free unitary solutions of the quantum Yang\u2013Baxter equation. Adv. Math. 193, 40\u201355 (2005)","journal-title":"Adv. Math."},{"key":"460_CR88","first-page":"279","volume":"46","author":"H. Short","year":"2000","unstructured":"Short H., Wiest B.: Orderings of mapping class groups after Thurston. Ens. Math. 46, 279\u2013312 (2000)","journal-title":"Ens. Math."},{"key":"460_CR89","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/s00153-012-0320-9","volume":"52","author":"M. Smedberg","year":"2013","unstructured":"Smedberg M.: A dense family of well-behaved monogenerated LD groupoids. Arch. Math. Logic 52, 377\u2013402 (2013)","journal-title":"Arch. Math. Logic"},{"key":"460_CR90","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0003-4843(78)90031-1","volume":"13","author":"R. Solovay","year":"1978","unstructured":"Solovay R., Reinhardt W., Kanamori A.: Strong axioms of infinity and elementary embeddings. Ann. Math. Logic 13, 73\u2013116 (1978)","journal-title":"Ann. Math. Logic"},{"key":"460_CR91","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/j.apal.2005.05.012","volume":"136","author":"A. Weiermann","year":"2005","unstructured":"Weiermann A.: Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results. Ann. Pure Appl. Logic 136, 189\u2013218 (2005)","journal-title":"Ann. Pure Appl. Logic"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-015-0460-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-015-0460-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-015-0460-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,13]],"date-time":"2024-06-13T06:51:44Z","timestamp":1718261504000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-015-0460-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12,19]]},"references-count":91,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2016,2]]}},"alternative-id":["460"],"URL":"https:\/\/doi.org\/10.1007\/s00153-015-0460-9","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,12,19]]}}}