Steffen Lempp

2005
22	EE	Bakhadyr Khoussainov, Steffen Lempp, Theodore A. Slaman: Computably Enumerable Algebras, Their Expansions, and Isomorphisms. IJAC 15(3): 437-454 (2005)
2002
21		Steffen Lempp, Andrea Sorbi: Embedding Finite Lattices into the Sigma02 Enumeration Degrees. J. Symb. Log. 67(1): 69-90 (2002)
20		Rodney G. Downey, Steffen Lempp: Contiguity and Distributivity in The Enumerable Turing Degrees - Corrigendum. J. Symb. Log. 67(4): 1579-1580 (2002)
19	EE	Steffen Lempp, Charles F. D. McCoy, Andrei S. Morozov, Reed Solomon: Group Theoretic Properties of the Group of Computable Automorphisms of a Countable Dense Linear Order. Order 19(4): 343-364 (2002)
2001
18		Rodney G. Downey, Denis R. Hirschfeldt, Steffen Lempp, Reed Solomon: A delta02 Set with No Infinite Low Subset in Either It or Its Complement. J. Symb. Log. 66(3): 1371-1381 (2001)
2000
17	EE	Steffen Lempp, André Nies: Differences of Computably Enumerable Sets. Math. Log. Q. 46(4): 555-561 (2000)
1999
16		Rodney G. Downey, Geoffrey LaForte, Steffen Lempp: A Delta02 Set With Barely Sigma02 Degree. J. Symb. Log. 64(4): 1700-1718 (1999)
1998
15	EE	Klaus Ambos-Spies, Steffen Lempp, Gunther Mainhardt: Randomness vs. Completeness: On the Diagonalization Strength of Resource-Bounded Random Sets. MFCS 1998: 465-473
1997
14		Steffen Lempp, Manuel Lerman: A Finite Lattice without Critical Triple that cannot be Embedded into the Enumerable Turing Degrees. Ann. Pure Appl. Logic 87(2): 167-185 (1997)
13		Rodney G. Downey, Steffen Lempp: Contiguity and Distributivity in the Enumerable Turing Degrees. J. Symb. Log. 62(4): 1215-1240 (1997)
12		Rich Blaylock, Rodney G. Downey, Steffen Lempp: Infima in the Recursively Enumerable Weak Truth Table Degrees. Notre Dame Journal of Formal Logic 38(3): 406-418 (1997)
1996
11		Marat M. Arslanov, Steffen Lempp, Richard A. Shore: Interpolating d-r.e. and REA Degrees between r.e. Degrees. Ann. Pure Appl. Logic 78(1-3): 29-56 (1996)
10		Steffen Lempp, Yuefei Sui: An Extended Lachlan Splitting Theorem. Ann. Pure Appl. Logic 79(1): 53-59 (1996)
9		Klaus Ambos-Spies, Peter A. Fejer, Steffen Lempp, Manuel Lerman: Decidability of the Two-Quantifier Theory of the Recursively Enumerable Weak Truth-Table Degrees and Other Distributive Upper Semi-Lattices. J. Symb. Log. 61(3): 880-905 (1996)
8		Jeffry L. Hirst, Steffen Lempp: Infinite Versions of Some Problems From Finite Complexity Theory. Notre Dame Journal of Formal Logic 37(4): 545-553 (1996)
1995
7	EE	Steffen Lempp, Manuel Lerman: A general framework for priority arguments. Bulletin of Symbolic Logic 1(2): 189-201 (1995)
6		Steffen Lempp, André Nies: The Undecidability of the Pi4-Theory for the R. E. WTT and Turing Degrees. J. Symb. Log. 60(4): 1118-1136 (1995)
1993
5		Steffen Lempp, Rodney G. Downey, Richard A. Shore: Highness and Bounding Minimal Pairs. Math. Log. Q. 39: 475-491 (1993)
1992
4		Steffen Lempp, Manuel Lerman: The Existential Theory of the Pomset of r.e. Degrees with a Predicate for Single Jump Reducibility. J. Symb. Log. 57(3): 1120-1130 (1992)
1991
3		S. Barry Cooper, Leo Harrington, Alistair H. Lachlan, Steffen Lempp, Robert I. Soare: The d.r.e. Degrees are Not Dense. Ann. Pure Appl. Logic 55(2): 125-151 (1991)
1989
2		Steffen Lempp, Theodore A. Slaman: A Limit on Relative Genericity in the Recursively Enumerable Sets. J. Symb. Log. 54(2): 376-395 (1989)
1988
1		Steffen Lempp: A High Strongly Noncappable Degree. J. Symb. Log. 53(1): 174-187 (1988)

Coauthor Index

1	Klaus Ambos-Spies	[9] [15]
2	Marat M. Arslanov	[11]
3	Rich Blaylock	[12]
4	S. Barry Cooper	[3]
5	Rodney G. Downey (Rod Downey)	[5] [12] [13] [16] [18] [20]
6	Peter A. Fejer	[9]
7	Leo Harrington	[3]
8	Denis R. Hirschfeldt	[18]
9	Jeffry L. Hirst	[8]
10	Bakhadyr Khoussainov	[22]
11	Geoffrey LaForte	[16]
12	Alistair H. Lachlan	[3]
13	Manuel Lerman	[4] [7] [9] [14]
14	Gunther Mainhardt	[15]
15	Charles F. D. McCoy	[19]
16	Andrei S. Morozov	[19]
17	André Nies	[6] [17]
18	Richard A. Shore	[5] [11]
19	Theodore A. Slaman	[2] [22]
20	Robert I. Soare	[3]
21	Reed Solomon	[18] [19]
22	Andrea Sorbi	[21]
23	Yuefei Sui	[10]

Colors in the list of coauthors