{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T21:43:45Z","timestamp":1648676625291},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2015,12,29]],"date-time":"2015-12-29T00:00:00Z","timestamp":1451347200000},"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-0464-5","type":"journal-article","created":{"date-parts":[[2015,12,29]],"date-time":"2015-12-29T01:31:56Z","timestamp":1451352716000},"page":"177-205","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Left division in the free left distributive algebra on many generators"],"prefix":"10.1007","volume":"55","author":[{"given":"Sheila K.","family":"Miller","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,12,29]]},"reference":[{"key":"464_CR1","doi-asserted-by":"crossref","unstructured":"Brieskorn, E.: Automorphic sets and braids and singularities. In: Braids. Contemporary Math, vol. 78. American Mathematical Society, Providence (1988)","DOI":"10.1090\/conm\/078\/975077"},{"key":"464_CR2","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0022-4049(89)90009-1","volume":"61","author":"P. Dehornoy","year":"1989","unstructured":"Dehornoy P.: Free distributive groupiods. J. Pure Appl. Algebra 61, 123\u2013146 (1989)","journal-title":"J. Pure Appl. Algebra"},{"key":"464_CR3","first-page":"143","volume":"309","author":"P Dehornoy","year":"1989","unstructured":"Dehornoy, P.: Sur la structure des gerbes libres. C. R. Acad. Sci. Paris 309, 143\u2013148 (1989)","journal-title":"C. R. Acad. Sci. Paris"},{"issue":"4","key":"464_CR4","doi-asserted-by":"crossref","first-page":"1201","DOI":"10.1080\/00927879208824398","volume":"20","author":"P. Dehornoy","year":"1992","unstructured":"Dehornoy P.: The adjoint representation of left-distributive structures. Commun. Algebra 20(4), 1201\u20131215 (1992)","journal-title":"Commun. Algebra"},{"key":"464_CR5","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, 115\u2013150 (1994)","journal-title":"Trans. Am. Math. Soc."},{"issue":"4","key":"464_CR6","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1142\/S0218196794000130","volume":"4","author":"P. Dehornoy","year":"1994","unstructured":"Dehornoy P.: A normal form for the free left distributive law. Int. J. Algebra Comput. 4(4), 499\u2013528 (1994)","journal-title":"Int. J. Algebra Comput."},{"key":"464_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-0348-8442-6","volume-title":"Braids and Self-distributivity, Progress in Mathematics, vol. 192","author":"P. Dehornoy","year":"2000","unstructured":"Dehornoy P.: Braids and Self-distributivity, Progress in Mathematics, vol. 192. Birkh\u00e4user, Boston (2000)"},{"key":"464_CR8","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":"464_CR9","first-page":"122","volume":"13","author":"H. Gaifman","year":"1974","unstructured":"Gaifman H.: Elementary embeddings of models of set theory and certain subtheories. Proc. Symp. Pure Math. 13, 122\u2013155 (1974)","journal-title":"Proc. Symp. Pure Math."},{"key":"464_CR10","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 invarint of knots: the knot quandle. J. Pure Appl. Algebra 23, 37\u201365 (1982)","journal-title":"J. Pure Appl. Algebra"},{"key":"464_CR11","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0003-4843(78)90031-1","volume":"13","author":"A. Kanamori","year":"1978","unstructured":"Kanamori A., Reinhardt W., Solovay R.: Strong axioms of infinity and elementary embeddings. Ann. Math. Log. 13, 73\u2013116 (1978)","journal-title":"Ann. Math. Log."},{"key":"464_CR12","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1007\/BF01188182","volume":"31","author":"D. Larue","year":"1994","unstructured":"Larue D.: Braid words and irreflexivity. Algebra Univers. 31, 104\u2013112 (1994)","journal-title":"Algebra Univers."},{"key":"464_CR13","unstructured":"Laure, D.: Left-distributive and left-distributive idempotent algebras. Ph.D. thesis, University of Colorado, Boulder (1994)"},{"key":"464_CR14","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, 209\u2013231 (1992)","journal-title":"Adv. Math."},{"key":"464_CR15","unstructured":"Laver, R.: A division algorithm for the free left distributive algebra. In: Oikkonen, J., et\u00a0al. (eds.) Lecture Notes in Logic: Logic Colloquim\u201990 (1993)"},{"key":"464_CR16","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 groups. J. Pure Appl. Algebra 108, 81\u201398 (1996)","journal-title":"J. Pure Appl. Algebra"},{"issue":"3","key":"464_CR17","doi-asserted-by":"crossref","first-page":"276","DOI":"10.1016\/j.jpaa.2010.04.019","volume":"215","author":"R. Laver","year":"2011","unstructured":"Laver R., Miller S.K.: Left division in the free left distributive algebra on one generator. J. Pure Appl. Algebra 215(3), 276\u2013282 (2011)","journal-title":"J. Pure Appl. Algebra"},{"issue":"12","key":"464_CR18","first-page":"2150","volume":"11","author":"R. Laver","year":"2013","unstructured":"Laver R., Miller S.K.: The free one-generated left distributive algebra: basics and a simplified proof. Cent. Eur. J. Math. 11(12), 2150\u20132175 (2013)","journal-title":"Cent. Eur. J. Math."},{"key":"464_CR19","unstructured":"Miller, S.K.: Free left distributive algebras. Ph.D. thesis, University of Colorado, Boulder (2007)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-015-0464-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-015-0464-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-015-0464-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T11:54:45Z","timestamp":1558612485000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-015-0464-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12,29]]},"references-count":19,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2016,2]]}},"alternative-id":["464"],"URL":"https:\/\/doi.org\/10.1007\/s00153-015-0464-5","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,12,29]]}}}