|
Indestructibility
Richard Joseph Laver (October 20, 1942 – September 19, 2012) was an American mathematician, working in set theory. Biography Laver received his PhD at the University of California, Berkeley in 1969, under the supervision of Ralph McKenzie, with a thesis on ''Order Types and Well-Quasi-Orderings''. The largest part of his career he spent as Professor and later Emeritus Professor at the University of Colorado at Boulder. Richard Laver died in Boulder, CO, on September 19, 2012 after a long illness. Research contributions Among Laver's notable achievements some are the following. * Using the theory of better-quasi-orders, introduced by Nash-Williams, (an extension of the notion of well-quasi-ordering), he proved Fraïssé's conjecture (now Laver's theorem): if (''A''0,≤),(''A''1,≤),...,(''A''''i'',≤), are countable ordered sets, then for some ''i''<''j'' (''A''i,≤) isomorphically embeds into (''A''''j'',≤). This also holds if the ordered sets a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Richard Laver
Richard Joseph Laver (October 20, 1942 – September 19, 2012) was an American mathematician, working in set theory. Biography Laver received his PhD at the University of California, Berkeley in 1969, under the supervision of Ralph McKenzie, with a thesis on ''Order Types and Well-Quasi-Orderings''. The largest part of his career he spent as Professor and later Emeritus Professor at the University of Colorado at Boulder. Richard Laver died in Boulder, CO, on September 19, 2012 after a long illness. Research contributions Among Laver's notable achievements some are the following. * Using the theory of better-quasi-orders, introduced by Nash-Williams, (an extension of the notion of well-quasi-ordering), he proved Fraïssé's conjecture (now Laver's theorem): if (''A''0,≤),(''A''1,≤),...,(''A''''i'',≤), are countable ordered sets, then for some ''i''<''j'' (''A''i,≤) isomorphically embeds into (''A''''j'',≤). This also holds if the ordered sets ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
