@inbook{Hasegawa1994,
    Abstract = {We define well-partial-orderings on abstract algebras and give their order types. For every ordinal in an initial segment of the Bachmann hierarchy there is one and only one (up to isomorphism) algebra giving the ordinal as order type. As a corollary, we show Kruskal-type theorems for various structures are equivalent to well-orderedness of certain ordinals.},
    Address = {Berlin, Heidelberg},
    Author = {Hasegawa, Ryu},
    BookTitle = {Logic, Language and Computation: Festschrift in Honor of Satoru Takasu},
    Editor = {Jones, Neil D. and Hagiya, Masami and Sato, Masahiko},
    File = {10.1.1.32.1607 (0) - a - a - j.pdf},
    ISBN = {978-3-540-48391-5},
    Pages = {133--172},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Well-ordering of algebras and Kruskal's theorem},
    URL = {http://dx.doi.org/10.1007/BFb0032399},
    Year = {1994},
    bdsk-url-1 = {http://dx.doi.org/10.1007/BFb0032399},
    date-added = {2017-07-18 18:09:20 +0000},
    date-modified = {2017-07-18 18:09:20 +0000},
    file-2 = {10.1.1.32.16070 (0) - a - a - j.pdf},
    doi = {10.1007/BFb0032399}
}

@inbook{Hasegawa1994, Abstract = {We define well-partial-orderings on abstract algebras and give their order types. For every ordinal in an initial segment of the Bachmann hierarchy there is one and only one (up to isomorphism) algebra giving the ordinal as order type. As a corollary, we show Kruskal-type theorems for various structures are equivalent to well-orderedness of certain ordinals.}, Address = {Berlin, Heidelberg}, Author = {Hasegawa, Ryu}, BookTitle = {Logic, Language and Computation: Festschrift in Honor of Satoru Takasu}, Editor = {Jones, Neil D. and Hagiya, Masami and Sato, Masahiko}, File = {10.1.1.32.1607 (0) - a - a - j.pdf}, ISBN = {978-3-540-48391-5}, Pages = {133--172}, Publisher = {Springer Berlin Heidelberg}, Title = {Well-ordering of algebras and Kruskal's theorem}, URL = {http://dx.doi.org/10.1007/BFb0032399}, Year = {1994}, bdsk-url-1 = {http://dx.doi.org/10.1007/BFb0032399}, date-added = {2017-07-18 18:09:20 +0000}, date-modified = {2017-07-18 18:09:20 +0000}, file-2 = {10.1.1.32.16070 (0) - a - a - j.pdf}, doi = {10.1007/BFb0032399} }