STEFFEN LEMPP
Office Address
Department of
Mathematics
University of Wisconsin
480 Lincoln Drive
Madison,
WI 53706-1325
USA
Email
Email: @math.wisc.edu">lemppmath.wisc.edu
In April 2026, I became Publisher for the Association for Symbolic Logic. In this role, I am in charge
of overseeing all publishing operations of the ASL, facilitating communication
between the various editors of ASL journals and book series and Cambridge
University Press, negotiating contracts on publishing for the ASL, and
troubleshooting any problems that may arise.
For any communication regarding ASL Publisher business, please use my
designated email address
@math.wisc.edu">aslpubmath.wisc.edu.
In March 2015, I became one of the editors for this journal established by the
Russian Academy of Sciences and Kazan Federal University and distributed by
Springer-Verlag.
Submissions in mathematical logic, especially in computability theory and its
applications, can be sent directly to me by email at
@math.wisc.edu">lemppmath.wisc.edu.
Before submission, be sure to consult the
instructions on how to prepare your manuscript.
Conferences I plan to attend in the near future
My primary research interest is computability in its various aspects,
both in classical computability theory, in particular degree structures,
and in applications of computability to model theory,
algebra, proof theory, and computer science.
Some particular problems I have been working on, or would be interested in
working on again, include
- algebraic structures of, and decidability of fragments of theories of,
degree structures (esp. the c.e. Turing degrees, the d.c.e. and n-c.e.
Turing degrees, the global enumeration degrees, the
Σ02-enumeration
degrees, and the Weihrauch degrees),
- computability-theoretic aspects of equivalence relations on the integers,
Cantor space and Baire space,
- computable numberings of families of sets, esp. finite families of c.e.
sets,
- c.e. and other equivalence relations and their structure,
- computable algebraic structures, such as linear orders, Boolean
algebras, and groups,
- characterization of computable algebraic structures by classical
invariants (e.g., Ketonen invariants and Ulm invariants),
- degrees of models of א1-categorical
theories, and more generally of trivial theories of finite Morley rank,
- proof-theoretical strength and first-order consequences of combinatorial
principles related to Ramsey's Theorem for pairs, and
- equivalence of Martin-Löf randomness with other notions of randomness
(in particular Kolmogorov-Loveland randomness).
My curriculum vitae, bibliography, and mathematical genealogy
My publications on line
- AMS 2020 Mathematics Subject
Classifications
- arXiv.org in
logic (open-access database of papers in math and science, maintained
by Cornell University)
- Computability theory (list server maintained by
Bjørn Kjos-Hanssen, University of
Hawai'i-Mānoa)
- Computer
Science Bibliography (maintained by the
University of Trier,
Germany)
- European Mathematical Information
Service (EMIS) (a central portal for electronic math resources in
Europe)
- Forking and
Dividing: Map of the Universe
(maintained by Gabe Conant)
- Göttinger DigitalisierungsZentrum (GDZ)
(an open-access database of many resources in mathematics, mainly
from German-speaking and Eastern European countries, maintained by the
University of
Göttingen, e.g.,
Algebra and Logic (in Russian))
- JSTOR (Journal Storage,
maintained by the Carnegie Mellon Foundation, requires subscription by
your institution, or
ASL membership)
- Lattice
Drawing (maintained by
Ralph
Freese, University of Hawai'i-Mānoa)
- Logic Mailing List (maintained by University of Hamburg)
- Math-Net.Ru (in Russian, with more data:
Math-Net.Ru): All-Russian Mathematical Portal (maintained
by Steklov Mathematical
Institute of the Russian Academy of Sciences)
- Math journal price surveys (maintained by
Ulf Rehmann, Bielefeld, Germany)
- Mathematics
Genealogy Project (maintained by North Dakota State University)
- Mathoverflow in logic (a place for mathematicians to
ask and answer questions)
- Open Logic
Project (an open source logic text in adjustable modules, with some
prebuilt versions, instigated by Richard Zach)
- Project Euclid (a
non-profit journal database maintained by Cornell University and primarily
funded by the Mellon Foundation)
- Proof Theory Blog
- Shelah
Archive (maintained by Technical University of Vienna, Austria)
- zbMATH (Zentralblatt search
for math papers; now free access)
- Zoo
Viewer (non-implications in various arease of computability theory,
maintained by Damir Dzhafarov and Ludovic Levy Patey)
The ASL Committee on Translations offers a Russian
translation of Bruno Poizat's
"Cours de théorie des modèles"
("A Course in Model Theory") for
free download.
I also administer the program of the
Association for Symbolic Logic (ASL) offering
free subscriptions to
the Journal of Symbolic Logic and the
Bulletin of Symbolic Logic
to university libraries
in the former Warsaw Pact countries
which are on the
World Bank List of developing economies.
For more information about this program, click here
for information in English or in
Russian.
(If the family name of a person is ambiguous (in my humble opinion), then
it is listed below in all capital letters.)
- Uri
Andrews, University of Wisconsin-Madison
- Andy Arana, University of Lorraine, Nancy and Paris,
France
- Marat Arslanov,
Kazan Federal University, Russia
- Matthias Aschenbrenner, University of Vienna, Austria
- Jeremy Avigad,
Carnegie Mellon University
- John Baldwin,
University of Illinois-Chicago
- George Barmpalias,
Chinese Academy of Sciences, Beijing, China
- Kolya Bazhenov,
Nanyang Technological University, Singapore
- Verónica Becher, University of Buenos Aires,
Argentina
- Itaï
BEN YAACOV, University of Lyon, France
- Michael Benedikt, Oxford University, England
- Laurent Bienvenu, University of Bordeaux, France
- Steve
Binns, King Fahd University of Petroleum and Minerals, Dhahran,
Saudi Arabia
- Vasco Brattka,
University of the Army, Munich, Germany
- Jin-Yi Cai, University
of Wisconsin-Madison
- Wesley Calvert, Southern Illinois University, Carbondale
- Doug Cenzer,
University of Florida, Gainesville
- Artem
Chernikov, University of Maryland, College Park
- Peter Cholak,
University of Notre Dame
- Chi Tat
Chong, National University of Singapore
- Vittorio
Cipriani, Technical University of Vienna, Austria
- Chris Conidis, City University of New York-College of
Staten Island
- Barbara Csima,
University of Waterloo, Ontario, Canada
- Arman
Darbinyan, University of Southampton, England
- Natasha Dobrinen, University of Notre Dame, Indiana
- Rod
Downey, Victoria University of Wellington, New Zealand
- Damir
Dzhafarov, University of Connecticut-Storrs
- Marat
Faizrahmanov, Kazan Federal University, Russia
- Marta FIORI
CARONES, Sobolev Institute of Mathematics, Siberian Branch of the
Russian Academy of Sciences, Novosibirsk
- Katia Fokina,
Vienna University of Technology, Austria
- Johanna Franklin, Hofstra University, Hempstead, New York
- Jim
Freitag, University of Illinois-Chicago
- Harvey Friedman, Ohio State University, Columbus
- Sy David
Friedman, Kurt Gödel Research Center for Mathematical Logic
(KGRC), Vienna, Austria
- Andrey
Frolov, Kazan Federal University, Russia
- Hristo
Ganchev, Sofia University, Bulgaria
- Su GAO, Nankai University, Tianjin, China
- Peter Gerdes
- Jun Le GOH,
National University of Singapore
- Isaac
Goldbring, University of California-Irvine
- Sergey Goncharov, Siberian Branch of the Russian Academy
of Sciences and Novosibirsk State University, Russia
- Noam
Greenberg, Victoria University of Wellington, New Zealand
- Valentina Harizanov, George Washington University,
Washington, D.C.
- Matthew
Harrison-Trainor, University of Illinois-Chicago
- Denis
Hirschfeldt, University of Chicago, Illinois
- Jeff Hirst,
Appalachian State University, Boone, North Carolina
- Meng-Che
("Turbo") Ho, Towson University, Towson, Maryland
- Steve Jackson,
University of North Texas, Denton
- Carl Jockusch,
University of Illinois at Urbana-Champaign
- Asher Kach,
Google-Chicago
- Iskander
Kalimullin, Kazan Federal University, Russia
- Jerry Keisler,
University of Wisconsin-Madison
- Bakhadyr
Khoussainov, University of Electronic
Science and Technology of China, Chengdu, China
- Takayuki
Kihara, Nagoya University, Japan
- Byunghan Kim, Yonsei University, Seoul, South Korea
- Bjørn
Kjos-Hanssen, University of Hawai'i-Mānoa
- Ulrich Kohlenbach, University of Darmstadt, Germany
- Leszek
Kołodziejczyk, University of Warsaw, Poland
- Chris Laskowski,
University of Maryland-College Park
- Ludovic LEVY PATEY,
University of Paris Diderot, France
- Andy Lewis-Pye, London School of Economics, England
- Jack Lutz,
Iowa State University, Ames
- Maryanthe
Malliaris, University of Chicago, Illinois
- Alberto
Marcone, University of Udine, Italy
- Dave
Marker, University of Illinois-Chicago
- Andrew Marks,
University of California-Berkeley
- Tim
McNicholl, Iowa State University, Ames
- Sasha Mel'nikov, Victoria University of Wellington,
New Zealand
- Joe
Mileti, Grinnell College, Grinnell, Iowa
- Arnie Miller,
University of Wisconsin-Madison
- Joe
Miller, University of Wisconsin-Madison
- Russell
Miller, Queens College, New York City
- Benoît
Monin, University of Paris-Est Créteil, France
- Antonio
Montalbán, University of California-Berkeley
- Andrey Morozov,
Novosibirsk State University and Russian Academy of Sciences, Russia
- Carl
Mummert, Marshall University, Huntington, West Virginia
- Manat Mustafa, Nazarbayev University, Astana, Kazakhstan
- Ronnie Nagloo, University of Illinois-Chicago
- Satya
Nandakumar, Indian Institute of Technology, Kanpur
- Keng Meng (Selwyn)
NG, Nanyang Technological University, Singapore
- André
Nies, University of Auckland, New Zealand
- Arno
Pauly, Swansea University, Wales
- Misha Peretyat'kin,
Institute of Mathematics, Almaty, Kazakhstan
- Anand
Pillay, University of Notre Dame, Indiana
- Dilip
Raghavan, National University of Singapore
- Jan Reimann,
Pennsylvania State University, University Park
- Christian Rosendal, University of Maryland, College Park
- Dino Rossegger,
Technical University of Vienna, Austria
- Wim
Ruitenburg, Marquette University, Milwaukee, Wisconsin
- Luca SAN MAURO,
University of Bari, Italy and Technical University of Vienna, Austria
- Noah
Schweber, Proof School, San Franscisco, California
- Isabella
Scott, University of Wisconsin-Madison
- Paul
Shafer, University of Leeds, England
- Sasha
Shlapentokh, East Carolina University, Greenville, North Carolina
- Richard Shore,
Cornell University, Ithaca, New York
- Steve Simpson,
Pennsylvania State University, State College and Vanderbilt University,
Nashville, Tennessee
- Ted Slaman,
University of California-Berkeley
- Reed Solomon,
University of Connecticut-Storrs
- Andrea Sorbi,
University of Siena, Italy
- Mariya
Soskova, University of Wisconsin-Madison
- Patrick
Speissegger, McMaster University, Hamilton, Ontario, Canada
- Frank Stephan, National University of Singapore
- Bas
Terwijn, Radboud University Nijmegen, The Netherlands
- Henry
Towsner, University of Pennsylvania, Philadelphia
- Todor
Tsankov, University of Lyon 1, France
- Anush
Tserunyan, McGill University, Montreal, Canada
- Dan Turetsky, Victoria University of Wellington, New Zealand
- Manlio Valenti,
Swansea University, United Kingdom
- Dieter van
Melkebeek, University of Wisconsin-Madison
- Peter Vranas, University of Wisconsin-Madison
- Wei WANG, Sun Yat-sen University, Guangzhou, China
- Andreas
Weiermann, Ghent University, Belgium
- Linda
Westrick, Pennsylvania State University
- Alex
Wilkie, University of Oxford, England
- Guohua
Wu, Nanyang Technological University, Singapore
- Mars
Yamaleev, Kazan Federal University
- Yue
YANG, National University of Singapore
- Keita Yokoyama, Tohoku University, Sendai, Japan
- Liang YU,
Nanjing University, China
- Ning
ZHONG, University of Cincinnati, Ohio
- Boris
Zil'ber, University of Oxford, England
- Andy Zucker,
University of Waterloo, Ontario, Canada
Prepared by Steffen Lempp
(@math.wisc.edu">lemppmath.wisc.edu)