{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T17:01:49Z","timestamp":1649178109121},"reference-count":123,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2016,1,18]],"date-time":"2016-01-18T00:00:00Z","timestamp":1453075200000},"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-0462-7","type":"journal-article","created":{"date-parts":[[2016,1,18]],"date-time":"2016-01-18T15:39:00Z","timestamp":1453131540000},"page":"133-164","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Laver and set theory"],"prefix":"10.1007","volume":"55","author":[{"given":"Akihiro","family":"Kanamori","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,1,18]]},"reference":[{"key":"462_CR1","first-page":"119","volume":"16","author":"A.W. Apter","year":"1999","unstructured":"Apter A.W., Hamkins J.D.: Universal indestructibility. Kobe J. Math. 16, 119\u2013130 (1999)","journal-title":"Kobe J. Math."},{"key":"462_CR2","doi-asserted-by":"crossref","first-page":"149","DOI":"10.2307\/2586593","volume":"63","author":"A.W. Apter","year":"1998","unstructured":"Apter A.W.: Laver indestructibility and the class of compact cardinals. J. Symb. Log. 63, 149\u2013157 (1998)","journal-title":"J. Symb. Log."},{"key":"462_CR3","unstructured":"Bagaria, J., Hamkins, J.D., Tsaprounis, K., Usuba, T.: Superstrong and other large cardinals are never Laver indestructible (2013). http:\/\/arxiv.org\/abs\/1307.3486"},{"key":"462_CR4","doi-asserted-by":"crossref","DOI":"10.1201\/9781439863466","volume-title":"Set Theory. On the Structure of the Real Line","author":"T. Bartoszy\u0144ski","year":"1995","unstructured":"Bartoszy\u0144ski T., Judah H.: Set Theory. On the Structure of the Real Line. AK Peters, Wellesley (1995)"},{"key":"462_CR5","doi-asserted-by":"crossref","first-page":"193","DOI":"10.4064\/fm-78-3-193-203","volume":"78","author":"J. Baumgartner","year":"1973","unstructured":"Baumgartner J., Hajnal A.: A proof (involving Martin\u2019s Axiom) of a partition relation. Fundamenta Mathematicae 78, 193\u2013203 (1973)","journal-title":"Fundamenta Mathematicae"},{"key":"462_CR6","first-page":"587","volume":"271","author":"J.E. Baumgartner","year":"1982","unstructured":"Baumgartner J.E., Taylor A.D.: Saturation properties of ideals in generic extensions. II. Trans. Am. Math. Soc. 271, 587\u2013609 (1982)","journal-title":"Trans. Am. Math. Soc."},{"key":"462_CR7","first-page":"1","volume-title":"Surveys in Set Theory, London Mathematical Society Lecture Note Series, vol. 83","author":"J.E.: Baumgartner","year":"1983","unstructured":"Baumgartner J.E.:: Iterated forcing. In: Mathias, A. (ed.) Surveys in Set Theory, London Mathematical Society Lecture Note Series, vol. 83, pp. 1\u201359. Cambridge University Press, Cambridge (1983)"},{"key":"462_CR8","doi-asserted-by":"crossref","unstructured":"Baumgartner, J.E.: Applications of the Proper Forcing Axiom. In: Kunen, K., Vaughan, J.E. (eds.) Handbook of Set-Theoretic Topology, pp. 913\u2013959. North-Holland, Amsterdam (1984)","DOI":"10.1016\/B978-0-444-86580-9.50024-0"},{"key":"462_CR9","volume-title":"The Benko Gambit","author":"P. Benko","year":"1974","unstructured":"Benko P.: The Benko Gambit. Batsford, London (1974)"},{"key":"462_CR10","doi-asserted-by":"crossref","first-page":"97","DOI":"10.24033\/bsmf.996","volume":"47","author":"\u00c9. Borel","year":"1919","unstructured":"Borel \u00c9.: Sur la classification des ensembles de mesure nulle. Bulletin de la Soci\u00e9t\u00e9 Math\u00e9matique de France 47, 97\u2013125 (1919)","journal-title":"Bulletin de la Soci\u00e9t\u00e9 Math\u00e9matique de France"},{"key":"462_CR11","doi-asserted-by":"crossref","unstructured":"Cantor, G.: Beitr\u00e4ge zur Begr\u00fcndrung der transfiniten Mengenlehre. I. Mathematische Annalen 46, 481\u2013512, 1895. Translated in Contributions to the Founding of the Theory of Transfinite Numbers, Open Court, Chicago 1915; reprinted Dover, New York (1965)","DOI":"10.1007\/BF02124929"},{"key":"462_CR12","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1016\/0001-8708(84)90026-4","volume":"53","author":"T.J. Carlson","year":"1984","unstructured":"Carlson T.J., Simpson S.G.: A dual form of Ramsey\u2019s theorem. Adv. Math. 53, 265\u2013290 (1984)","journal-title":"Adv. Math."},{"key":"462_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 results involving braids. Proc. Lond. Math. Soc. 102, 159\u2013192 (2011)","journal-title":"Proc. Lond. Math. Soc."},{"key":"462_CR14","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/S0168-0072(99)00052-4","volume":"105","author":"P. Corazza","year":"2000","unstructured":"Corazza P.: The Wholeness Axiom and Laver sequences. Ann. Pure Appl. Log. 105, 157\u2013260 (2000)","journal-title":"Ann. Pure Appl. Log."},{"key":"462_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1006\/aima.1997.1680","volume":"133","author":"J. Cummings","year":"1998","unstructured":"Cummings J., Foreman M.: The tree property. Adv. Math. 133, 1\u201332 (1998)","journal-title":"Adv. Math."},{"key":"462_CR16","doi-asserted-by":"crossref","first-page":"2435","DOI":"10.1090\/S0002-9939-97-03796-9","volume":"125","author":"J. Cummings","year":"1997","unstructured":"Cummings J.: Souslin trees which are hard to specialize. Proc. Am. Math. Soc. 125, 2435\u20132441 (1997)","journal-title":"Proc. Am. Math. Soc."},{"key":"462_CR17","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511662256","volume-title":"An Introduction to Independence for Analysts, London Mathematical Society Lecture Note Series, vol. 115","author":"H.G. Dales","year":"1987","unstructured":"Dales H.G., Woodin W.H.: An Introduction to Independence for Analysts, London Mathematical Society Lecture Note Series, vol. 115. Cambridge University Press, Cambridge (1987)"},{"key":"462_CR18","first-page":"27","volume-title":"Set Theory of the Continuum, Mathematical Sciences Research Institute Publications, vol. 26","author":"P. Dehornoy","year":"1992","unstructured":"Dehornoy P.: An alternative proof of Laver\u2019s results on the algebra generated by an elementary embedding. In: Judah, H., Just, W., Woodin, W.H. (eds.) Set Theory of the Continuum, Mathematical Sciences Research Institute Publications, vol. 26, pp. 27\u201333. Springer, Berlin (1992)"},{"key":"462_CR19","first-page":"333","volume":"314","author":"P. Dehornoy","year":"1992","unstructured":"Dehornoy P.: Preuve de la conjecture d\u2019irreflexivit\u00e9 pour les structures distributives libres. Comptes Rendues de l\u2019Acad\u00e9mie des Sciences de Paris 314, 333\u2013336 (1992)","journal-title":"Comptes Rendues de l\u2019Acad\u00e9mie des Sciences de Paris"},{"key":"462_CR20","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."},{"key":"462_CR21","doi-asserted-by":"crossref","first-page":"737","DOI":"10.1007\/978-1-4020-5764-9_12","volume-title":"Handbook of Set Theory, vol. 2","author":"P. Dehornoy","year":"2010","unstructured":"Dehornoy P.: Elementary embeddings and algebra. In: Foreman, M., Kanamori, A. (eds.) Handbook of Set Theory, vol. 2, pp. 737\u2013774. Springer, Dordrecht (2010)"},{"key":"462_CR22","first-page":"60","volume-title":"Surveys in Set Theory, London Mathematical Society Lecture Note Series, vol. 83","author":"K.J. Devlin","year":"1983","unstructured":"Devlin K.J.: Yorkshireman\u2019s guide to proper forcing. In: Mathias, A. (ed.) Surveys in Set Theory, London Mathematical Society Lecture Note Series, vol. 83, pp. 60\u2013115. Cambridge University Press, Cambridge (1983)"},{"key":"462_CR23","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1006\/aima.1997.1655","volume":"130","author":"R. Dougherty","year":"1997","unstructured":"Dougherty R., Jech T.J.: Finite left-distributive algebras and embedding algebras. Adv. Math. 130, 213\u2013241 (1997)","journal-title":"Adv. Math."},{"key":"462_CR24","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/0168-0072(93)90012-3","volume":"65","author":"R. Dougherty","year":"1993","unstructured":"Dougherty R.: Critical points in an algebra of elementary embeddings. Ann. Pure Appl. Log 65, 211\u2013241 (1993)","journal-title":"Ann. Pure Appl. Log"},{"key":"462_CR25","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1090\/S0002-9904-1940-07213-1","volume":"46","author":"B. Dushnik","year":"1940","unstructured":"Dushnik B., Miller E.: Concerning similarity transformations of linearly ordered sets. Bull. Am. Math. Soc. 46, 322\u2013326 (1940)","journal-title":"Bull. Am. Math. Soc."},{"key":"462_CR26","first-page":"269","volume-title":"Proceedings of the Tarski Symposium, Proceeding of Symposia in Pure Mathematics, vol. 25","author":"P. Erd\u0151s","year":"1974","unstructured":"Erd\u0151s P., Hajnal A.: Solved and unsolved problems in set theory. In: Henkin, L. (ed.) Proceedings of the Tarski Symposium, Proceeding of Symposia in Pure Mathematics, vol. 25, pp. 269\u2013287. American Mathematical Society, Providence (1974)"},{"key":"462_CR27","doi-asserted-by":"crossref","first-page":"583","DOI":"10.1007\/s00208-002-0323-7","volume":"325","author":"M. Foreman","year":"2003","unstructured":"Foreman M., Hajnal A.: A partition relation for successors of large cardinals. Math. Ann. 325, 583\u2013623 (2003)","journal-title":"Math. Ann."},{"key":"462_CR28","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/1971415","volume":"127","author":"M. Foreman","year":"1988","unstructured":"Foreman M., Magidor M., Shelah S.: Martin\u2019s Maximum, saturated ideals and nonregular ultrafilters. Part I. Ann. Math. 127, 1\u201347 (1988a)","journal-title":"Ann. Math."},{"key":"462_CR29","doi-asserted-by":"crossref","first-page":"521","DOI":"10.2307\/2007004","volume":"127","author":"M. Foreman","year":"1988","unstructured":"Foreman M., Magidor M., Shelah S.: Martin\u2019s Maximum, saturated ideals and nonregular ultrafilters. Part II. Ann. Math. 127, 521\u2013545 (1988b)","journal-title":"Ann. Math."},{"key":"462_CR30","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/BF02783051","volume":"108","author":"M. Foreman","year":"1998","unstructured":"Foreman M.: An \u21351-dense ideal on \u21352. Israel J. Math. 108, 253\u2013290 (1998)","journal-title":"Israel J. Math."},{"key":"462_CR31","first-page":"1330","volume":"226","author":"R. Fra\u00efss\u00e9","year":"1948","unstructured":"Fra\u00efss\u00e9 R.: Sur la comparaison des types d\u2019ordres. Comptes rendus hebdomadaires des s\u00e9ances de l\u2019Acad\u00e9mie des Sciences, Paris 226, 1330\u20131331 (1948)","journal-title":"Comptes rendus hebdomadaires des s\u00e9ances de l\u2019Acad\u00e9mie des Sciences, Paris"},{"key":"462_CR32","unstructured":"Fuchs, G., Hamkins, J.D., Reitz, J.: Set-theoretic geology (2011). http:\/\/arxiv.org\/abs\/1107.4776"},{"key":"462_CR33","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/BF01624081","volume":"28","author":"M. Gitik","year":"1989","unstructured":"Gitik M., Shelah S.: On certain indestructibility of strong cardinals and a question of Hajnal. Arch. Math. Log. 28, 35\u201342 (1989)","journal-title":"Arch. Math. Log."},{"key":"462_CR34","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1090\/S0002-9947-1966-0200172-2","volume":"124","author":"J.D. Halpern","year":"1966","unstructured":"Halpern J.D., L\u00e4uchli H.: A partition theorem. Trans. Am. Math. Soc. 124, 360\u2013367 (1966)","journal-title":"Trans. Am. Math. Soc."},{"key":"462_CR35","first-page":"83","volume-title":"Axiomatic Set Theory, Proceedings of Symposia in Pure Mathematics, vol. 13(1)","author":"J.D. Halpern","year":"1971","unstructured":"Halpern J.D., Levy A.: The Boolean Prime Ideal does not imply the Axiom of Choice. In: Scott, D.S. (ed.) Axiomatic Set Theory, Proceedings of Symposia in Pure Mathematics, vol. 13(1), pp. 83\u2013134. Americal Mathematical Society, Providence (1971)"},{"key":"462_CR36","doi-asserted-by":"crossref","first-page":"2943","DOI":"10.1090\/S0002-9939-08-09285-X","volume":"136","author":"J.D. Hamkins","year":"2008","unstructured":"Hamkins J.D., Reitz J., Woodin W.H.: The Ground Axiom is consistent with V \u2260 HOD. Proc. Am. Math. Soc. 136, 2943\u20132949 (2008)","journal-title":"Proc. Am. Math. Soc."},{"key":"462_CR37","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/S0168-0072(99)00010-X","volume":"101","author":"J.D. Hamkins","year":"2000","unstructured":"Hamkins J.D.: The lottery preparation. Ann. Pure Appl. Log. 101, 103\u2013146 (2000)","journal-title":"Ann. Pure Appl. Log."},{"key":"462_CR38","doi-asserted-by":"crossref","first-page":"237","DOI":"10.4064\/fm180-3-4","volume":"180","author":"J.D. Hamkins","year":"2003","unstructured":"Hamkins J.D.: Extensions with the approximation and cover properties have no new large cardinals. Fund. Math. 180, 237\u2013277 (2003)","journal-title":"Fund. Math."},{"key":"462_CR39","unstructured":"Hausdorff, F.: Untersuchungen \u00fcber Ordnungstypen IV, V. Berichte \u00fcber die Verhandlungen der K\u00f6niglich S\u00e4chsischen Gesellschaft der Wissenschaften zu Leipzig, Mathematisch-Physische Klasse 59, 84\u2013159 (1907). Translated with an introduction in Jacob Plotkin, editor, Hausdorff on Ordered Sets, American Mathematical Society, pp. 97\u2013171 (2005)"},{"key":"462_CR40","unstructured":"Hausdorff, F.: Grundz\u00fcge einer Theorie der geordneten Mengen. Mathematische Annalen, 65, 435\u2013505, (1908). Translated with an introduction in Jacob Plotkin, editor, Hausdorff on Ordered Sets, American Mathematical Society, (2005) pp. 181\u2013258"},{"key":"462_CR41","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":"462_CR42","doi-asserted-by":"crossref","first-page":"29","DOI":"10.4064\/fm205-1-2","volume":"205","author":"T. Ishiu","year":"2009","unstructured":"Ishiu T., Moore J.T.: Minimality of non-\u03c3-scattered orders. Fund. Math. 205, 29\u201344 (2009)","journal-title":"Fund. Math."},{"key":"462_CR43","doi-asserted-by":"crossref","first-page":"909","DOI":"10.2307\/2274464","volume":"55","author":"H. Judah","year":"1990","unstructured":"Judah H., Shelah S.: The Kunen\u2013Miller chart (Lebesgue measure, the Baire property, Laver reals and preservation theorems for forcing). J. Symb. Log. 55, 909\u2013927 (1990)","journal-title":"J. Symb. Log."},{"key":"462_CR44","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0168-0072(90)90058-A","volume":"50","author":"H. Judah","year":"1990","unstructured":"Judah H., Shelah S., Woodin W.H.: The Borel conjecture. Ann. Pure Appl. Log. 50, 255\u2013269 (1990)","journal-title":"Ann. Pure Appl. Log."},{"key":"462_CR45","volume-title":"Sets and Extensions in the Twentieth Century, Handbook of the History of Logic, vol. 6","year":"2012","unstructured":"Kanamori, A., Woods, J., Gabbay, D. (eds.): Sets and Extensions in the Twentieth Century, Handbook of the History of Logic, vol. 6. Elsevier, Amsterdam (2012)"},{"key":"462_CR46","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1090\/S0002-9947-1976-0480041-X","volume":"220","author":"A. Kanamori","year":"1976","unstructured":"Kanamori A.: Weakly normal ultrafilters and irregular ultrafilters. Trans. Am. Math. Soc. 220, 393\u2013399 (1976)","journal-title":"Trans. Am. Math. Soc."},{"key":"462_CR47","doi-asserted-by":"crossref","first-page":"327","DOI":"10.2307\/2274055","volume":"51","author":"A. Kanamori","year":"1986","unstructured":"Kanamori A.: Finest partitions for ultrafilters. J. Symb. Log. 51, 327\u2013332 (1986)","journal-title":"J. Symb. Log."},{"key":"462_CR48","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1016\/0001-8708(86)90049-6","volume":"59","author":"A. Kanamori","year":"1986","unstructured":"Kanamori A.: Partition relations for successor cardinals. Adv. Math. 59, 152\u2013169 (1986)","journal-title":"Adv. Math."},{"key":"462_CR49","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1090\/S0002-9947-1976-0419236-X","volume":"224","author":"J. Ketonen","year":"1976","unstructured":"Ketonen J.: Nonregular ultrafilters and large cardinals. Trans. Am. Math. Soc. 224, 61\u201373 (1976)","journal-title":"Trans. Am. Math. Soc."},{"key":"462_CR50","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/BF00370554","volume":"47","author":"D. Kozen","year":"1988","unstructured":"Kozen D.: A finite model theorem for the propositional\u00a0\u03bc-calculus. Studia Logica 47, 233\u2013241 (1988)","journal-title":"Studia Logica"},{"key":"462_CR51","first-page":"210","volume":"95","author":"J. Kruskal","year":"1960","unstructured":"Kruskal J.: Well-quasi-ordering, the tree theorem, and V \u00e1zsonyi\u2019s conjecture. Trans. Am. Math. Soc. 95, 210\u2013225 (1960)","journal-title":"Trans. Am. Math. Soc."},{"key":"462_CR52","doi-asserted-by":"crossref","first-page":"65","DOI":"10.2307\/2271949","volume":"43","author":"K. Kunen","year":"1978","unstructured":"Kunen K.: Saturated ideals. J. Symb. Log. 43, 65\u201376 (1978)","journal-title":"J. Symb. Log."},{"key":"462_CR53","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1007\/BF01188182","volume":"31","author":"D.M. Larue","year":"1994","unstructured":"Larue D.M.: On braid words and irreflexivity. Algebra Universalis 31, 104\u2013112 (1994)","journal-title":"Algebra Universalis"},{"key":"462_CR54","unstructured":"Laver, R.: Well-quasi-ordering scattered order types. In: Guy, R. et\u00a0al., (ed,) Combinatorial Structures and their Applications. Proceedings of the Calgary International Conference, Gordon and Breach, New York (1970)"},{"key":"462_CR55","doi-asserted-by":"crossref","first-page":"89","DOI":"10.2307\/1970754","volume":"93","author":"R. Laver","year":"1971","unstructured":"Laver R.: On Fra\u00efss\u00e9\u2019s order type conjecture. Ann. Math. 93, 89\u2013111 (1971)","journal-title":"Ann. Math."},{"key":"462_CR56","doi-asserted-by":"crossref","first-page":"96","DOI":"10.2307\/1970907","volume":"98","author":"R. Laver","year":"1973","unstructured":"Laver R.: An order type decomposition theorem. Ann. Math. 98, 96\u2013119 (1973)","journal-title":"Ann. Math."},{"key":"462_CR57","unstructured":"Laver, R.: On strong measure zero sets. In: Hajnal, A. et\u00a0al. (eds) Infinite and Finite Sets. Keszthely (Hungary), 1973, vol. II, Colloquia Mathematica Societatis J\u00e1nos Bolyai 10, pp. 1025\u20131027. North-Holland, Amsterdam (1975)"},{"key":"462_CR58","unstructured":"Laver, R.: Partition relations for uncountable cardinals $${\\leq 2^{\\aleph_{0}}}$$ \u2264 2 \u2135 0 . In: Hajnal, A., et\u00a0al. (eds.), Infinite and Finite Sets. Keszthey (Hungary), 1973, vol. II, Colloquia Mathematica Societatis J\u00e1nos Bolyai 10, pp. 1029\u20131042. North-Holland, Amsterdam (1975)"},{"key":"462_CR59","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S030500410005204X","volume":"79","author":"R. Laver","year":"1976","unstructured":"Laver R.: Well-quasi-orderings and sets of finite sequences. Math. Proc. Cambr. Philos. Soc. 79, 1\u201310 (1976)","journal-title":"Math. Proc. Cambr. Philos. Soc."},{"key":"462_CR60","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/BF02392416","volume":"137","author":"R. Laver","year":"1976","unstructured":"Laver R.: On the consistency of Borel\u2019s conjecture. Acta Mathematica 137, 151\u2013169 (1976)","journal-title":"Acta Mathematica"},{"key":"462_CR61","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1112\/S0025579300008895","volume":"24","author":"R. Laver","year":"1977","unstructured":"Laver R.: A set in L containing regularizing families for ultrafilters. Mathematika 24, 50\u201351 (1977)","journal-title":"Mathematika"},{"key":"462_CR62","first-page":"233","volume":"36","author":"R. Laver","year":"1978","unstructured":"Laver R.: A saturation property on ideals. Compositio Mathematica 36, 233\u2013242 (1978)","journal-title":"Compositio Mathematica"},{"key":"462_CR63","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/BF02761175","volume":"29","author":"R. Laver","year":"1978","unstructured":"Laver R.: Making the supercompactness of \u03ba indestructible under \u03ba-directed closed forcing. Israel J. Math. 29, 385\u2013388 (1978)","journal-title":"Israel J. Math."},{"key":"462_CR64","unstructured":"Laver, R.: Better-quasi-orderings and a class of trees. In: Studies in Foundations and Combinatorics, Advances in Mathematics Supplementary Studies 1, pp. 31\u201348. Academic Press, New York (1978)"},{"key":"462_CR65","first-page":"371","volume":"43","author":"R. Laver","year":"1978","unstructured":"Laver R.: Strong saturation properties of ideals (abstract). J. Symb. Log. 43, 371 (1978)","journal-title":"J. Symb. Log."},{"key":"462_CR66","doi-asserted-by":"crossref","unstructured":"Laver, R.: Linear orders in (\u03c9)\u03c9 under eventual dominance. In: Boffa, M., et\u00a0al. (eds.) Logic Colloquium \u201978, Studies in Logic and the Foundations of Mathematics, vol. 97, pp. 299\u2013302. North-Holland, Amsterdam (1979)","DOI":"10.1016\/S0049-237X(08)71630-6"},{"key":"462_CR67","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/0003-4843(79)90010-X","volume":"17","author":"R. Laver","year":"1979","unstructured":"Laver R.: (with James Baumgartner) Iterated perfect-set forcing. Ann. Math. Log. 17, 271\u2013288 (1979)","journal-title":"Ann. Math. Log."},{"key":"462_CR68","first-page":"411","volume":"264","author":"R. Laver","year":"1981","unstructured":"Laver R.: (with Saharon Shelah) The $${\\aleph_{2}}$$ \u2135 2 -Souslin hypothesis. Trans. Am. Math. Soc. 264, 411\u2013417 (1981)","journal-title":"Trans. Am. Math. Soc."},{"key":"462_CR69","doi-asserted-by":"crossref","unstructured":"Laver, R.: An $${(\\aleph_{2}, \\aleph_{2}, \\aleph_{0})}$$ ( \u2135 2 , \u2135 2 , \u2135 0 ) -saturated ideal on \u03c91. In: van Dalen, D. et\u00a0al. (eds.) Logic Colloquium \u201980, Studies in Logic and the Foundations of Mathematics, vol. 108, pp. 173\u2013180. North-Holland, Amsterdam (1982)","DOI":"10.1016\/S0049-237X(09)70510-5"},{"key":"462_CR70","doi-asserted-by":"crossref","unstructured":"Laver, R.: Saturated ideals and nonregular ultrafilters. In: Metakides, G. (ed.) Patras Logic Symposion, Studies in Logic and the Foundations of Mathematics, vol. 109, pages 297\u2013305. North-Holland, Amsterdam (1982)","DOI":"10.1016\/S0049-237X(08)71369-7"},{"key":"462_CR71","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1112\/jlms\/s2-29.3.385","volume":"29","author":"R. Laver","year":"1984","unstructured":"Laver R.: Products of infinitely many perfect trees. J. Lond. Math. Soc. 29, 385\u2013396 (1984)","journal-title":"J. Lond. Math. Soc."},{"key":"462_CR72","first-page":"6","volume":"7","author":"R. Laver","year":"1986","unstructured":"Laver R.: Embeddings of a rank into itself. Abstr. Pap. Present. Am. Math. Soc. 7, 6 (1986)","journal-title":"Abstr. Pap. Present. Am. Math. Soc."},{"key":"462_CR73","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1090\/S0002-9939-1987-0891159-4","volume":"100","author":"R. Laver","year":"1987","unstructured":"Laver R.: Random reals and Souslin trees. Proc. Am. Math. Soc. 100, 531\u2013534 (1987)","journal-title":"Proc. Am. Math. Soc."},{"key":"462_CR74","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1016\/0001-8708(88)90041-2","volume":"67","author":"R. Laver","year":"1988","unstructured":"Laver R.: (with Matthew Foreman) Some downwards transfer properties for $${\\aleph_{2}}$$ \u2135 2 . Adv. Math. 67, 230\u2013238 (1988)","journal-title":"Adv. Math."},{"key":"462_CR75","doi-asserted-by":"crossref","first-page":"161","DOI":"10.4064\/fm-133-2-161-168","volume":"133","author":"R. Laver","year":"1989","unstructured":"Laver R.: (with Tim Carlson) Sacks reals and Martin\u2019s Axiom. Fundamenta Mathematicae 133, 161\u2013168 (1989)","journal-title":"Fundamenta Mathematicae"},{"key":"462_CR76","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":"462_CR77","first-page":"155","volume-title":"Logic Colloquium \u201990, Lecture Notes in Logic 2","author":"R. Laver","year":"1993","unstructured":"Laver R.: A division algorithm for the free left distributive algebra. In: Oikkonen, J., V\u00e4\u00e4n\u00e4nen, J. (eds.) Logic Colloquium \u201990, Lecture Notes in Logic 2, pp. 155\u2013162. Springer, Berlin (1993)"},{"key":"462_CR78","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."},{"key":"462_CR79","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"},{"key":"462_CR80","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1023\/A:1004392507990","volume":"35","author":"R. Laver","year":"1997","unstructured":"Laver R.: Adding dominating functions mod finite. Periodica Mathematica Hungarica 35, 35\u201341 (1997)","journal-title":"Periodica Mathematica Hungarica"},{"key":"462_CR81","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/S0168-0072(97)00031-6","volume":"90","author":"R. Laver","year":"1997","unstructured":"Laver R.: Implications between strong large cardinal axioms. Ann. Pure Appl. Logic 90, 79\u201390 (1997)","journal-title":"Ann. Pure Appl. Logic"},{"key":"462_CR82","doi-asserted-by":"crossref","unstructured":"Laver, R.: (with Carl Darby) Countable length Ramsey games. In: Di Prisco, C. et\u00a0al. (ed.) Set Theory: Techniques and Applications, pp. 41\u201346. Kluwer, Dordrecht (1998)","DOI":"10.1007\/978-94-015-8988-8_3"},{"key":"462_CR83","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/S0168-0072(00)00035-X","volume":"107","author":"R. Laver","year":"2001","unstructured":"Laver R.: Reflection of elementary embedding axioms on the L[V \u03bb +1] hierarchy. Ann. Pure Appl. Log. 107, 227\u2013238 (2001)","journal-title":"Ann. Pure Appl. Log."},{"key":"462_CR84","unstructured":"Laver, R.: On very large cardinals. In: H\u00e1lasz, G. et\u00a0al. (ed.) Paul Erd\u0151s and his Mathematics, vol. II, Bolyai Society Mathematical Studies 11, pp. 453\u2013469. Springer, Berlin (2002)"},{"key":"462_CR85","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/s00012-002-8175-2","volume":"47","author":"R. Laver","year":"2002","unstructured":"Laver R.: (with John Moody) Well-foundedness conditions connected with left-distributivity. Algebra Universalis 47, 65\u201368 (2002)","journal-title":"Algebra Universalis"},{"key":"462_CR86","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.apal.2007.07.002","volume":"149","author":"R. Laver","year":"2007","unstructured":"Laver R.: Certain very large cardinals are not created in small forcing extensions. Ann. Pure Appl. Log. 149, 1\u20136 (2007)","journal-title":"Ann. Pure Appl. Log."},{"issue":"3","key":"462_CR87","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.: (with Sheila Miller) 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":"462_CR88","first-page":"2150","volume":"11","author":"R. Laver","year":"2013","unstructured":"Laver R.: (with Sheila Miller) The free one-generated left distributive algebra: basics and a simplified proof of the division algorithm. Cent. Eur. J. Math. 11(12), 2150\u20132175 (2013)","journal-title":"Cent. Eur. J. Math."},{"key":"462_CR89","doi-asserted-by":"crossref","first-page":"517","DOI":"10.2307\/1971065","volume":"106","author":"M. Magidor","year":"1977","unstructured":"Magidor M.: On the singular cardinals problem II. Ann. Math. 106, 517\u2013547 (1977)","journal-title":"Ann. Math."},{"key":"462_CR90","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1090\/S0002-9947-1979-0526312-2","volume":"249","author":"M. Magidor","year":"1979","unstructured":"Magidor M.: On the existence of nonregular ultrafilters and cardinality of ultrapowers. Trans. Am. Math. Soc. 249, 97\u2013111 (1979)","journal-title":"Trans. Am. Math. Soc."},{"key":"462_CR91","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1016\/j.apal.2009.01.007","volume":"160","author":"A. Marcone","year":"2009","unstructured":"Marcone A., Montalb\u00e1n A.: On Fra\u00efss\u00e9\u2019s conjecture for linear orders of finite Hausdorff rank. Ann. Pure Appl. Log. 160, 355\u2013367 (2009)","journal-title":"Ann. Pure Appl. Log."},{"key":"462_CR92","first-page":"303","volume-title":"Reverse Mathematics 2001, Lectures Notes in Logic, vol. 21","author":"A. Marcone","year":"2005","unstructured":"Marcone A.: WQO and BQO theory in subsystems of second order arithmetic. In: Simpson, S.G. (ed.) Reverse Mathematics 2001, Lectures Notes in Logic, vol. 21, pp. 303\u2013330. AK Peters, Wellesley (2005)"},{"key":"462_CR93","first-page":"269","volume-title":"Proceedings of the International Congress of Mathematicians, vol. 1","author":"D.A. Martin","year":"1980","unstructured":"Martin D.A.: Infinite games. In: Lehto, O. (ed.) Proceedings of the International Congress of Mathematicians, vol. 1, pp. 269\u2013273. Academia Scientiarum Fennica, Helsinki (1980)"},{"key":"462_CR94","doi-asserted-by":"crossref","first-page":"197","DOI":"10.4064\/fm213-3-1","volume":"213","author":"C. Martinez-Ranero","year":"2011","unstructured":"Martinez-Ranero C.: Well-quasi-ordering Aronszajn lines. Fund. Math. 213, 197\u2013211 (2011)","journal-title":"Fund. Math."},{"key":"462_CR95","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1090\/S0002-9947-1976-0540771-8","volume":"223","author":"T. Menas","year":"1976","unstructured":"Menas T.: Consistency results concerning supercompactness. Trans. Am. Math. Soc. 223, 61\u201391 (1976)","journal-title":"Trans. Am. Math. Soc."},{"key":"462_CR96","first-page":"103","volume":"78","author":"A.W. Miller","year":"1980","unstructured":"Miller A.W.: There are no Q-points in Laver\u2019s model for the Borel conjecture. Proc. Am. Math. Soc. 78, 103\u2013106 (1980)","journal-title":"Proc. Am. Math. Soc."},{"key":"462_CR97","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/0097-3165(79)90101-8","volume":"26","author":"K.R. Milliken","year":"1979","unstructured":"Milliken K.R.: A Ramsey theorem for trees. J. Comb. Theory Ser. A 26, 215\u2013237 (1979)","journal-title":"J. Comb. Theory Ser. A"},{"key":"462_CR98","first-page":"21","volume":"5","author":"W.J. Mitchell","year":"1972","unstructured":"Mitchell W.J.: Aronszajn trees and the independence of the transfer property. Ann. Pure Appl. Log. 5, 21\u201346 (1972)","journal-title":"Ann. Pure Appl. Log."},{"key":"462_CR99","doi-asserted-by":"crossref","first-page":"360","DOI":"10.2178\/jsl\/1120224717","volume":"70","author":"A. Montalb\u00e1n","year":"2005","unstructured":"Montalb\u00e1n A.: Up to equimorphism, hyperarithmetic is recursive. J. Symb. Log. 70, 360\u2013378 (2005)","journal-title":"J. Symb. Log."},{"key":"462_CR100","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.apal.2005.03.001","volume":"139","author":"A. Montalb\u00e1n","year":"2006","unstructured":"Montalb\u00e1n A.: Equivalence between Fra\u00efss\u00e9\u2019s conjecture and Jullien\u2019s theorem. Ann. Pure Appl. Log. 139, 1\u201342 (2006)","journal-title":"Ann. Pure Appl. Log."},{"key":"462_CR101","doi-asserted-by":"crossref","first-page":"121","DOI":"10.4310\/MRL.2009.v16.n1.a12","volume":"16","author":"J.T. Moore","year":"2009","unstructured":"Moore J.T.: A universal Aronszajn line. Math. Res. Lett. 16, 121\u2013131 (2009)","journal-title":"Math. Res. Lett."},{"key":"462_CR102","doi-asserted-by":"crossref","first-page":"697","DOI":"10.1017\/S0305004100039062","volume":"61","author":"C.S.J.A. Nash-Williams","year":"1965","unstructured":"Nash-Williams C.S.J.A.: On well-quasi-ordering infinite trees. Proc. Cambr. Philos. Soc. 61, 697\u2013720 (1965)","journal-title":"Proc. Cambr. Philos. Soc."},{"key":"462_CR103","first-page":"549","volume-title":"Partitions of Products","year":"1981","unstructured":"Pincus, D., Halpern, J.D. (eds.): Partitions of Products, pp. 549\u2013568. Transactions of the American Mathematical Society, pages (1981)"},{"key":"462_CR104","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0003-4843(70)90010-0","volume":"2","author":"K. Prikry","year":"1970","unstructured":"Prikry K.: On a problem of Gillman and Keisler. Ann. Math. Log. 2, 179\u2013187 (1970)","journal-title":"Ann. Math. Log."},{"key":"462_CR105","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0012-365X(72)90060-X","volume":"2","author":"K. Prikry","year":"1972","unstructured":"Prikry K.: On a problem of Erd\u00f6s, Hajnal, and Rado. Discrete Math. 2, 51\u201359 (1972)","journal-title":"Discrete Math."},{"key":"462_CR106","doi-asserted-by":"crossref","first-page":"1299","DOI":"10.2178\/jsl\/1203350787","volume":"72","author":"J. Reitz","year":"2007","unstructured":"Reitz J.: The Ground Axiom. J. Symb. Log. 72, 1299\u20131317 (2007)","journal-title":"J. Symb. Log."},{"key":"462_CR107","doi-asserted-by":"crossref","first-page":"111","DOI":"10.4153\/CJM-1952-010-8","volume":"4","author":"F. Rothberger","year":"1952","unstructured":"Rothberger F.: On the property C and a problem of Hausdorff. Can. J. Math. 4, 111\u2013116 (1952)","journal-title":"Can. J. Math."},{"key":"462_CR108","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/BF02761942","volume":"43","author":"S. Shelah","year":"1982","unstructured":"Shelah S., Stanley L.J.: S-forcing, I. A \u201cblack-box\u201d theorem for morasses, with applications to super-Souslin trees. Israel J. Math. 43, 185\u2013224 (1982)","journal-title":"Israel J. Math."},{"key":"462_CR109","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/BF02761994","volume":"30","author":"S. Shelah","year":"1978","unstructured":"Shelah S.: A weak generalization of MA to higher cardinals. Israel J. Math. 30, 297\u2013306 (1978)","journal-title":"Israel J. Math."},{"key":"462_CR110","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/BF02802723","volume":"42","author":"S. Shelah","year":"1982","unstructured":"Shelah S.: Better quasi-orders for uncountable cardinals. Israel J. Math. 42, 177\u2013226 (1982)","journal-title":"Israel J. Math."},{"key":"462_CR111","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF02760522","volume":"48","author":"S. Shelah","year":"1984","unstructured":"Shelah S.: Can you take Solovay\u2019s inaccessible away?. Israel J. Math. 48, 1\u201347 (1984)","journal-title":"Israel J. Math."},{"key":"462_CR112","doi-asserted-by":"crossref","first-page":"782","DOI":"10.1007\/978-1-4612-0325-4_26","volume-title":"Logic Methods. In Honor of Anil Nerode\u2019s Sixtieth Birthday. Progress in Computer Science and Applied Logic, vol. 12","author":"R. Shore","year":"1993","unstructured":"Shore R.: On the strength of Fra\u00efss\u00e9\u2019s conjecture. In: Crossley, J., Remmel, J., Shore, R., Sweedler, M. (eds.) Logic Methods. In Honor of Anil Nerode\u2019s Sixtieth Birthday. Progress in Computer Science and Applied Logic, vol. 12, pp. 782\u2013813. Birkhauser, Boston (1993)"},{"key":"462_CR113","first-page":"305","volume":"48","author":"W. Sierpi\u0144ski","year":"1946","unstructured":"Sierpi\u0144ski W.: Sur les types d\u2019ordre de puissance du continu. Revista de Ciencias, Lima 48, 305\u2013307 (1946)","journal-title":"Revista de Ciencias, Lima"},{"key":"462_CR114","doi-asserted-by":"crossref","first-page":"253","DOI":"10.4064\/fm-37-1-253-264","volume":"37","author":"W. Sierpi\u0144ski","year":"1950","unstructured":"Sierpi\u0144ski W.: Sur les types d\u2019ordre des ensembles lin\u00e9aires. Fund. Math. 37, 253\u2013264 (1950)","journal-title":"Fund. Math."},{"key":"462_CR115","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0003-4843(78)90031-1","volume":"13","author":"R.M. Solovay","year":"1978","unstructured":"Solovay R.M., Reinhardt W.N., Kanamori A.: Strong axioms of infinity and elementary embeddings. Ann. Math. Log. 13, 73\u2013116 (1978)","journal-title":"Ann. Math. Log."},{"key":"462_CR116","doi-asserted-by":"crossref","unstructured":"Stepr\u0101ns, J.: History of the continuum in the 20th Century. In: Kanamori, A., Woods, J., Gabbay, D. (eds.) Sets and Extensions in the Twentieth Century, Handbook of the History of Logic, vol. 6\u00a0pp. 73\u2013144. Elsevier, Amsterdam (2012)","DOI":"10.1016\/B978-0-444-51621-3.50002-5"},{"key":"462_CR117","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/0166-8641(94)90051-5","volume":"57","author":"F.D. Tall","year":"1994","unstructured":"Tall F.D.: Some applications of a generalized Martin\u2019s axiom. Topol. Appl. 57, 215\u2013248 (1994)","journal-title":"Topol. Appl."},{"key":"462_CR118","doi-asserted-by":"crossref","first-page":"703","DOI":"10.2307\/1999642","volume":"280","author":"S. Todorcevic","year":"1983","unstructured":"Todorcevic S.: Forcing positive partition relations. Trans. Am. Math. Soc. 280, 703\u2013720 (1983)","journal-title":"Trans. Am. Math. Soc."},{"key":"462_CR119","first-page":"159","volume-title":"Logic, Methodology and Philosophy of Science VII","author":"S. Todorcevic","year":"1986","unstructured":"Todorcevic S.: Reals and positive partition relations. In: Marcus, R.B., Dorn, G., Weingartner, P. (eds.) Logic, Methodology and Philosophy of Science VII, pp. 159\u2013169. North-Holland, Amsterdam (1986)"},{"key":"462_CR120","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1017\/S1474748006000119","volume":"6","author":"S. Todorcevic","year":"2007","unstructured":"Todorcevic S.: Lipschitz maps on trees. Journal de l\u2019Institut de Math\u00e9matiques de Jussieu. 6, 527\u2013566 (2007)","journal-title":"Journal de l\u2019Institut de Math\u00e9matiques de Jussieu."},{"key":"462_CR121","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1142\/S021906131000095X","volume":"10","author":"W.H. Woodin","year":"2010","unstructured":"Woodin W.H.: Suitable extender models I. J. Math. Log. 10, 101\u2013339 (2010)","journal-title":"J. Math. Log."},{"key":"462_CR122","doi-asserted-by":"crossref","unstructured":"Woodin, W.H.: The Continuum Hypothesis, the generic-multiverse of sets, and the \u03a9 Conjecture. In: Kennedy, J., Kossak, R. (ed.) Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies, Lecture Notes in Logic, vol. 36, pp. 13\u201342. Cambridge University Press, Cambridge (2011)","DOI":"10.1017\/CBO9780511910616.003"},{"key":"462_CR123","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1142\/S021906131100102X","volume":"11","author":"W.H. Woodin","year":"2011","unstructured":"Woodin W.H.: Suitable extender models II: beyond \u03c9-huge. J. Math. Log. 11, 115\u2013436 (2011)","journal-title":"J. Math. Log."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-015-0462-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-015-0462-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-015-0462-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,3]],"date-time":"2019-09-03T19:57:13Z","timestamp":1567540633000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-015-0462-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1,18]]},"references-count":123,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2016,2]]}},"alternative-id":["462"],"URL":"https:\/\/doi.org\/10.1007\/s00153-015-0462-7","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,1,18]]}}}