• Facets (new session)
• Description
• Metadata
• Settings
  • Rule: ActivityStreamsMapasEquivalentb3sb3sifpdbprdf-labelfacetshttp://dbpedia.org/resource/inference/rules/dbpedia#http://dbpedia.org/resource/inference/rules/opencyc#http://dbpedia.org/resource/inference/rules/umbel#http://dbpedia.org/resource/inference/rules/yago#http://dbpedia.org/schema/property_rules#http://www.ontologyportal.org/inference/rules/SUMO#http://www.ontologyportal.org/inference/rules/WordNet#http://www.w3.org/2002/07/owl#ldpoplwebskos-transurn:det:rdf:labelvirtrdf-labelvirtrdf-urlNone
    
  • Inverse Functional Properties: Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects
  • "Same As": Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects (recommended) Apply to subjects, objects and predicates (not recommended on big datasets) Apply to predicates only (special use cases only)

About: Howard Jerome Keisler     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatTarskiLecturers, within Data Space : dbpedia.org associated with source document(s)

Type: Thingfoaf:Personpersondul:NaturalPersonEukaryotePersonHumanAnimalyago:WikicatAmericanMathematiciansyago:WikicatAmericanPeopleanimaleukaryotescientistspeciesschema:Personyago:WikicatLivingPeopleyago:WikicatModelTheoristsScientistyago:Adult109605289yago:Associate109816771yago:CausalAgent100007347yago:Colleague109935990yago:Educator110045713yago:Intellectual109621545yago:Lector110252222yago:LivingThing100004258yago:Mathematician110301261yago:Object100002684yago:Organism100004475yago:Peer109626238yago:Person100007846yago:PhysicalEntity100001930yago:Professional110480253yago:WikicatGuggenheimFellowsyago:YagoLegalActoryago:YagoLegalActorGeoyago:Scientist110560637yago:Theorist110706812yago:Whole100003553yago:Wikicat20th-centuryMathematiciansyago:Wikicat21st-centuryMathematiciansyago:WikicatFellowsOfTheAmericanMathematicalSocietyyago:WikicatTarskiLecturers New Facet based on Instances of this Class

Howard Jerome Keisler (born 3 December 1936) is an American mathematician, currently professor emeritus at University of Wisconsin–Madison. His research has included model theory and non-standard analysis. His Ph.D. advisor was Alfred Tarski at Berkeley; his dissertation is Ultraproducts and Elementary Classes (1961). He is also known for extending the (of Leon Henkin) to what are now called . He is also known for the Rudin–Keisler ordering along with Mary Ellen Rudin. He held the named chair of at Wisconsin. In 2012 he became a fellow of the American Mathematical Society.