Richard Laver

http://dbpedia.org/resource/Richard_Laver an entity of type: Thing

Richard Joseph Laver (October 20, 1942 – September 19, 2012) was an American mathematician, working in set theory. rdf:langString
Richard Joseph Laver (20 de outubro de 1942 – Boulder, Colorado, 19 de setembro de 2012) foi um matemático estadunidense, que trabalhou com teoria dos conjuntos. rdf:langString
rdf:langString Richard Laver
rdf:langString Richard Laver
xsd:integer 22280145
xsd:integer 1031985964
rdf:langString Richard Joseph Laver (October 20, 1942 – September 19, 2012) was an American mathematician, working in set theory.
rdf:langString Richard Joseph Laver (20 de outubro de 1942 – Boulder, Colorado, 19 de setembro de 2012) foi um matemático estadunidense, que trabalhou com teoria dos conjuntos.
xsd:nonNegativeInteger 6458
owl:Thing
dbpedia-owl:Person
yago:WikicatAmericanMathematicians
yago:WikicatLivingPeople
yago:WikicatSetTheorists
yago:CausalAgent100007347
yago:Intellectual109621545
yago:LivingThing100004258
yago:Mathematician110301261
yago:Object100002684
yago:Organism100004475
yago:Person100007846
yago:PhysicalEntity100001930
yago:YagoLegalActor
yago:YagoLegalActorGeo
yago:Scientist110560637
yago:Theorist110706812
yago:Whole100003553
yago:Wikicat20th-centuryMathematicians
yago:Wikicat21st-centuryMathematicians
<http://commons.wikimedia.org/wiki/Special:FilePath/Richard_Laver.jpg>
<http://dbpedia.org/resource/Category:1942_births>
<http://dbpedia.org/resource/Category:2012_deaths>
<http://dbpedia.org/resource/Category:20th-century_American_mathematicians>
<http://dbpedia.org/resource/Category:21st-century_American_mathematicians>
<http://dbpedia.org/resource/Category:University_of_Colorado_faculty>
<http://dbpedia.org/resource/Category:Set_theorists>
<http://dbpedia.org/resource/Roland_Fraïssé>
<http://dbpedia.org/resource/List_of_forcing_notions>
<http://dbpedia.org/resource/Boulder,_CO>
<http://dbpedia.org/resource/University_of_California,_Berkeley>
<http://dbpedia.org/resource/Scattered_order>
<http://dbpedia.org/resource/Strong_measure_zero_set>
<http://dbpedia.org/resource/Category:1942_births>
<http://dbpedia.org/resource/Category:2012_deaths>
<http://dbpedia.org/resource/Crispin_Nash-Williams>
<http://dbpedia.org/resource/Saharon_Shelah>
<http://dbpedia.org/resource/Class_(set_theory)>
<http://dbpedia.org/resource/Halpern–Läuchli_theorem>
<http://dbpedia.org/resource/Proper_forcing_axiom>
<http://dbpedia.org/resource/Supercompact_cardinal>
<http://dbpedia.org/resource/Category:20th-century_American_mathematicians>
<http://dbpedia.org/resource/Category:21st-century_American_mathematicians>
<http://dbpedia.org/resource/Well-quasi-ordering>
<http://dbpedia.org/resource/Laver's_theorem>
<http://dbpedia.org/resource/Laver_function>
<http://dbpedia.org/resource/Laver_table>
<http://dbpedia.org/resource/Forcing_(mathematics)>
<http://dbpedia.org/resource/University_of_Colorado_at_Boulder>
<http://dbpedia.org/resource/Category:University_of_Colorado_faculty>
<http://dbpedia.org/resource/Category:Set_theorists>
<http://dbpedia.org/resource/Ralph_McKenzie>
<http://dbpedia.org/resource/Set_theory>
<http://dbpedia.org/resource/Von_Neumann_universe>
<http://dbpedia.org/resource/Suslin_tree>
<http://dbpedia.org/resource/Borel_conjecture_(set_theory)>
<http://dbpedia.org/resource/Chain_condition>
<http://dbpedia.org/resource/Better-quasi-order>
<http://dbpedia.org/resource/File:Richard_Laver.jpg>
<http://rdf.freebase.com/ns/m.05q3t5l>
<http://yago-knowledge.org/resource/Richard_Laver>
<http://www.wikidata.org/entity/Q7327274>
<http://pt.dbpedia.org/resource/Richard_Laver>
<https://global.dbpedia.org/id/4tS2R>
<http://dbpedia.org/resource/Template:Authority_control>
<http://dbpedia.org/resource/Template:Reflist>
<http://dbpedia.org/resource/Template:Short_description>
<http://dbpedia.org/resource/Template:MathGenealogy>
<http://commons.wikimedia.org/wiki/Special:FilePath/Richard_Laver.jpg?width=300>
<http://dbpedia.org/resource/Mathematician>
<http://en.wikipedia.org/wiki/Richard_Laver?oldid=1031985964&ns=0>
<http://en.wikipedia.org/wiki/Richard_Laver>

data from the linked data cloud