Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Richard_Laver> ?p ?o }
Showing triples 1 to 84 of
84
with 100 triples per page.
- Richard_Laver abstract "Richard Laver (1942–2012) was an American mathematician, working in set theory. He 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.".
- Richard_Laver birthDate "1942".
- Richard_Laver birthYear "1942".
- Richard_Laver deathDate "2012".
- Richard_Laver deathYear "2012".
- Richard_Laver thumbnail Richard_Laver.jpg?width=300.
- Richard_Laver wikiPageID "22280145".
- Richard_Laver wikiPageLength "5166".
- Richard_Laver wikiPageOutDegree "31".
- Richard_Laver wikiPageRevisionID "669907292".
- Richard_Laver wikiPageWikiLink Better-quasi-order.
- Richard_Laver wikiPageWikiLink Category:1942_births.
- Richard_Laver wikiPageWikiLink Category:2012_deaths.
- Richard_Laver wikiPageWikiLink Category:20th-century_American_mathematicians.
- Richard_Laver wikiPageWikiLink Category:21st-century_American_mathematicians.
- Richard_Laver wikiPageWikiLink Category:Set_theorists.
- Richard_Laver wikiPageWikiLink Category:University_of_Colorado_faculty.
- Richard_Laver wikiPageWikiLink Class_(set_theory).
- Richard_Laver wikiPageWikiLink Crispin_Nash-Williams.
- Richard_Laver wikiPageWikiLink Forcing_(mathematics).
- Richard_Laver wikiPageWikiLink Halpern–Läuchli_theorem.
- Richard_Laver wikiPageWikiLink Laver_function.
- Richard_Laver wikiPageWikiLink Laver_table.
- Richard_Laver wikiPageWikiLink List_of_forcing_notions.
- Richard_Laver wikiPageWikiLink Proper_forcing_axiom.
- Richard_Laver wikiPageWikiLink Ralph_McKenzie.
- Richard_Laver wikiPageWikiLink Roland_Fraïssé.
- Richard_Laver wikiPageWikiLink Saharon_Shelah.
- Richard_Laver wikiPageWikiLink Scattered_order.
- Richard_Laver wikiPageWikiLink Set_theory.
- Richard_Laver wikiPageWikiLink Strong_measure_zero_set.
- Richard_Laver wikiPageWikiLink Supercompact_cardinal.
- Richard_Laver wikiPageWikiLink Suslin_tree.
- Richard_Laver wikiPageWikiLink University_of_Colorado_Boulder.
- Richard_Laver wikiPageWikiLink Von_Neumann_universe.
- Richard_Laver wikiPageWikiLink Well-quasi-ordering.
- Richard_Laver wikiPageWikiLink File:Richard_Laver.jpg.
- Richard_Laver wikiPageWikiLinkText "Laver".
- Richard_Laver wikiPageWikiLinkText "Laver, Richard".
- Richard_Laver wikiPageWikiLinkText "Richard Laver".
- Richard_Laver dateOfBirth "1942".
- Richard_Laver dateOfDeath "2012".
- Richard_Laver name "Laver, Richard".
- Richard_Laver shortDescription "American mathematician".
- Richard_Laver wikiPageUsesTemplate Template:MathGenealogy.
- Richard_Laver wikiPageUsesTemplate Template:Persondata.
- Richard_Laver wikiPageUsesTemplate Template:Reflist.
- Richard_Laver description "American mathematician".
- Richard_Laver description "American mathematician".
- Richard_Laver subject Category:1942_births.
- Richard_Laver subject Category:2012_deaths.
- Richard_Laver subject Category:20th-century_American_mathematicians.
- Richard_Laver subject Category:21st-century_American_mathematicians.
- Richard_Laver subject Category:Set_theorists.
- Richard_Laver subject Category:University_of_Colorado_faculty.
- Richard_Laver hypernym Mathematician.
- Richard_Laver type Agent.
- Richard_Laver type List.
- Richard_Laver type Person.
- Richard_Laver type Scientist.
- Richard_Laver type Person.
- Richard_Laver type List.
- Richard_Laver type Mathematician.
- Richard_Laver type Scholar.
- Richard_Laver type Scientist.
- Richard_Laver type Agent.
- Richard_Laver type NaturalPerson.
- Richard_Laver type Thing.
- Richard_Laver type Q215627.
- Richard_Laver type Q5.
- Richard_Laver type Person.
- Richard_Laver comment "Richard Laver (1942–2012) was an American mathematician, working in set theory. He 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.".
- Richard_Laver label "Richard Laver".
- Richard_Laver sameAs Q7327274.
- Richard_Laver sameAs Category:Richard_Laver.
- Richard_Laver sameAs m.05q3t5l.
- Richard_Laver sameAs Q7327274.
- Richard_Laver wasDerivedFrom Richard_Laver?oldid=669907292.
- Richard_Laver depiction Richard_Laver.jpg.
- Richard_Laver givenName "Richard".
- Richard_Laver isPrimaryTopicOf Richard_Laver.
- Richard_Laver name "Laver, Richard".
- Richard_Laver name "Richard Laver".
- Richard_Laver surname "Laver".