New! Submit a site
whatUseek Directory Site Listings:
Goldstern, Martin  University of Technology, Vienna  set theory.
Grossberg, Rami  Carnegie Mellon University  model theory.
Herwig, Bernhard  University of Freiburg  model theory.
Hindley, J. R.  University of Wales Swansea  lambdacalculus, combinatory logic and typetheory.
Hjorth, Greg  UCLA  descriptive set theory, countable models, definable equivalence relations.
Hodges, Wilfrid  University of London  model theory.
Holmes, Randall  Boise State University  set theory: New Foundations, automated theorem proving.
Howard, Paul  Eastern Michigan University  axiom of choice.
Hustadt, Ullrich  University of Liverpool  resolutionbased and tableauxbased decision procedures for decidable fragments of firstorder logic.
Hyland, J. Martin E.  University of Cambridge  Interested in categorical logic, game semantics and logic in computer science.
HĂ¤hnle, Reiner  University of Karlsruhe  tableaubased automated theorem proving, manyvalued logic.
Jech, Thomas  Pennsylvania State University  set theory.
Jockusch, Carl G.  University of Illinois, Urbana Champaign  recursion theory.
Junker, Markus  University of Freiburg  model theory.
Kaiser, Klaus  University of Houston  mathematical logic, universal algebra, lattice theory and logic programming.
Kanamori, Akihiro  Boston University  set theory.
Kaye, Richard  University of Birmingham  model theory.
Kechris, Alexander S.  Caltech  foundations of mathematics, mathematical logic and set theory, interactions with analysis.
Knight, Julia F.  University of Notre Dame  recursion theory.
Kunen, Kenneth  University of Wisconsin, Madison  set theory.
