Persons
RUS
ENG
JOURNALS
PEOPLE
ORGANISATIONS
CONFERENCES
SEMINARS
VIDEO LIBRARY
PACKAGE AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Lempp, Steffen
E-mail:
email
https://www.mathnet.ru/eng/person29202
List of publications on Google Scholar
https://mathscinet.ams.org/mathscinet/MRAuthorID/247988
Publications in
Math-Net.Ru
Citations
2002
1.
S. S. Goncharov, S. Lempp, R. Solomon, “Friedberg Numberings of Families of
$n$
-Computably Enumerable Sets”,
Algebra Logika
,
41
:2 (2002),
143–154
;
Algebra and Logic
,
41
:2 (2002),
81–86
31
Presentations in
Math-Net.Ru
1.
Toward deciding the
$\forall\exists$
-theory of the
$\Sigma^0_2$
-enumeration degrees
Steffen Lempp
Fourth Workshop on Digitalization and Computable Models (WDCM-2022)
October 25, 2022
18:00
Organisations
University of Wisconsin-Madison