a person in the record
Steffen Lempp
Ph.D. The University of Chicago 1986born 1959
Wikidata names Robert I. Soare as doctoral advisor and lists 17 doctoral students. Linked to Wikidata, ORCID, and 7 other registers.
How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Advisors on Wikidata1
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
Students on Wikidata17
From Wikidata, shown separately from the thesis records.
- stated by Wikidataborn 1962
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
The line above and below4 steps
The advisors of their advisors, four steps up at most, in the thesis records and on Wikidata, each kind marked; a person in both is listed once.
- 1 step up
stated by WikidataRobert I. Soare
- 2 steps up
stated by WikidataAnil Nerode
- 3 steps up
stated by WikidataSaunders Mac Lane
- 4 steps up
stated by WikidataHermann Weylstated by WikidataPaul Bernays
Below them, within 3 steps, the record reaches 29 people: 29 stated by Wikidata.
Education and career1
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- undatedstudied
Papers in OpenAlex135
1987most in 1996: 92026
last at University of Wisconsin–Madison
writes on Computability, Logic, AI Algorithms, Advanced Topology and Set Theory, semigroups and automata theory, Logic, programming, and type systems, Advanced Algebra and Logic
- indexed by OpenAlex1991 · Annals of Pure and Applied Logic · 5 authorscited 75
- indexed by OpenAlex2014 · Journal of Symbolic Logic · 6 authorscited 60
- indexed by OpenAlex2014 · Advances in Mathematics · 6 authorscited 57
- indexed by OpenAlex2003 · Advances in Mathematics · 3 authorscited 54
- indexed by OpenAlexcited 48
On the role of the collection principle for Σ⁰₂-formulas in second-order reverse mathematics
2009 · Proceedings of the American Mathematical Society · 3 authors - indexed by OpenAlex1989 · Israel Journal of Mathematics · 3 authorscited 47
- indexed by OpenAlex2005 · Journal of Symbolic Logic · 4 authorscited 46
- indexed by OpenAlex2004 · 4 authorscited 42
- indexed by OpenAlexcited 40
THE STRENGTH OF SOME COMBINATORIAL PRINCIPLES RELATED TO RAMSEY'S THEOREM FOR PAIRS
2008 · Lecture notes series, Institute For Mathematical Sciences · 5 authors - indexed by OpenAlex2007 · Journal of Algebra · 6 authorscited 39
the 25 most cited of 135
- indexed by OpenAlex2007 · Journal of Algebra · 3 authorscited 35
- indexed by OpenAlexcited 32
Friedberg Numberings of Families of n-Computably Enumerable Sets
2002 · Algebra and Logic · 3 authors - indexed by OpenAlexcited 32
A Δ20 set with no infinite low subset in either it or its complement
2001 · Journal of Symbolic Logic · 4 authors - indexed by OpenAlex1996 · Cambridge University Press eBooks · 3 authorscited 31
- indexed by OpenAlex2000 · Contemporary mathematics - American Mathematical Society · 4 authorscited 30
- indexed by OpenAlex1999 · Proceedings of the American Mathematical Society · 3 authorscited 28
- indexed by OpenAlexcited 27
The Π₃-theory of the computably enumerable Turing degrees is undecidable
1998 · Transactions of the American Mathematical Society · 3 authors - indexed by OpenAlex2010 · Journal of Symbolic Logic · 3 authorscited 25
- indexed by OpenAlex1993 · Mathematical logic quarterly · 3 authorscited 25
- indexed by OpenAlexcited 24
THE COMPLEMENTS OF LOWER CONES OF DEGREES AND THE DEGREE SPECTRA OF STRUCTURES
2016 · Journal of Symbolic Logic · 6 authors - indexed by OpenAlexcited 24
Trivial, strongly minimal theories are model complete after naming constants
2003 · Proceedings of the American Mathematical Society · 5 authors - indexed by OpenAlexcited 23
Computable categoricity versus relative computable categoricity
2013 · Fundamenta Mathematicae · 4 authors - indexed by OpenAlexcited 22
A finite lattice without critical triple that cannot be embedded into the enumerable Turing degrees
1997 · Annals of Pure and Applied Logic · 2 authors - indexed by OpenAlex2019 · Annals of Pure and Applied Logic · 5 authorscited 21
- indexed by OpenAlexcited 20
A decomposition of the Rogers semilattice of a family of d.c.e. sets
2009 · Journal of Symbolic Logic · 2 authors