Lempp, Steffen; Liu, Yiqun; Liu, Yong; Ng, Keng Meng; Peng, Cheng; Wu, Guohua Finite final segments of the d.c.e. Turing degrees. arXiv:2403.04254 Preprint, arXiv:2403.04254 [math.LO] (2024). MSC: 03D28 BibTeX Cite \textit{S. Lempp} et al., ``Finite final segments of the d.c.e. Turing degrees'', Preprint, arXiv:2403.04254 [math.LO] (2024) Full Text: arXiv OA License
Andrews, Uri; Lempp, Steffen; Marcone, Alberto; Miller, Joseph S.; Valenti, Manlio A jump operator on the Weihrauch degrees. arXiv:2402.13163 Preprint, arXiv:2402.13163 [math.LO] (2024). MSC: 03D30 03D78 BibTeX Cite \textit{U. Andrews} et al., ``A jump operator on the Weihrauch degrees'', Preprint, arXiv:2402.13163 [math.LO] (2024) Full Text: arXiv OA License
Andrews, Uri; Gonzalez, David; Lempp, Steffen; Rossegger, Dino; Zhu, Hongyu The Borel complexity of the class of models of first-order theories. arXiv:2402.10029 Preprint, arXiv:2402.10029 [math.LO] (2024). MSC: 03C62 03C52 03E15 BibTeX Cite \textit{U. Andrews} et al., ``The Borel complexity of the class of models of first-order theories'', Preprint, arXiv:2402.10029 [math.LO] (2024) Full Text: arXiv OA License
Lempp, Steffen; Miller, Joseph S.; Nies, André; Soskova, Mariya I. Maximal towers and ultrafilter bases in computability theory. (English) Zbl 07735949 J. Symb. Log. 88, No. 3, 1170-1190 (2023). MSC: 03D30 PDFBibTeX XMLCite \textit{S. Lempp} et al., J. Symb. Log. 88, No. 3, 1170--1190 (2023; Zbl 07735949) Full Text: DOI arXiv
Della Vedova, Gianluca (ed.); Dundua, Besik (ed.); Lempp, Steffen (ed.); Manea, Florin (ed.) Unity of logic and computation. 19th conference on computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023. Proceedings. (English) Zbl 1528.68022 Lecture Notes in Computer Science 13967. Cham: Springer (ISBN 978-3-031-36977-3/pbk; 978-3-031-36978-0/ebook). li, 297 p. (2023). MSC: 68-06 03B70 68Qxx 00B25 PDFBibTeX XMLCite \textit{G. Della Vedova} (ed.) et al., Unity of logic and computation. 19th conference on computability in Europe, CiE 2023, Batumi, Georgia, July 24--28, 2023. Proceedings. Cham: Springer (2023; Zbl 1528.68022) Full Text: DOI
Lempp, Steffen; Miller, Joseph S.; Pauly, Arno; Soskova, Mariya I.; Valenti, Manlio Minimal covers in the Weihrauch degrees. arXiv:2311.12676 Preprint, arXiv:2311.12676 [math.LO] (2023). MSC: 03D30 03D78 BibTeX Cite \textit{S. Lempp} et al., ``Minimal covers in the Weihrauch degrees'', Preprint, arXiv:2311.12676 [math.LO] (2023) Full Text: arXiv OA License
Džamonja, Mirna; Hart, Joan; Medini, Andrea; Villaveces, Andrés [Juhaász, István; Kreisler, H. Jerome; Lempp, Steffen; Miller, Arnold W.; Moore, Justin Tatch; Tall, Frank; Dow, Alan; Hrušák, Michael; van Mill, Jan; Jackson, Stephen; Martin, Donald A.; Nyikos, Peter; Raghavan, Dilip; Steel, John; Woodin, Hugh] In memory of Ken Kunen. (English) Zbl 1502.01050 Notices Am. Math. Soc. 69, No. 10, 1758-1769 (2022). MSC: 01A70 03-03 PDFBibTeX XMLCite \textit{M. Džamonja} et al., Notices Am. Math. Soc. 69, No. 10, 1758--1769 (2022; Zbl 1502.01050) Full Text: DOI
Goh, Jun Le; Lempp, Steffen; Ng, Keng Meng; Soskova, Mariya I. Extensions of two constructions of Ahmad. (English) Zbl 07641234 Computability 11, No. 3-4, 269-297 (2022). MSC: 03Dxx PDFBibTeX XMLCite \textit{J. Le Goh} et al., Computability 11, No. 3--4, 269--297 (2022; Zbl 07641234) Full Text: DOI
Andrews, Uri; Gerdes, Peter M.; Lempp, Steffen; Miller, Joseph S.; Schweber, Noah D. Computability and the symmetric difference operator. (English) Zbl 1494.03083 Log. J. IGPL 30, No. 3, 499-518 (2022). MSC: 03D25 PDFBibTeX XMLCite \textit{U. Andrews} et al., Log. J. IGPL 30, No. 3, 499--518 (2022; Zbl 1494.03083) Full Text: DOI
Harizanov, Valentina S.; Lempp, Steffen; McCoy, Charles F. D.; Morozov, Andrei S.; Solomon, Reed On the isomorphism problem for some classes of computable algebraic structures. (English) Zbl 07557511 Arch. Math. Logic 61, No. 5-6, 813-825 (2022). MSC: 03C57 03D45 PDFBibTeX XMLCite \textit{V. S. Harizanov} et al., Arch. Math. Logic 61, No. 5--6, 813--825 (2022; Zbl 07557511) Full Text: DOI
Andrews, Uri; Lempp, Steffen; Mustafa, Manat; Schweber, Noah D. The first-order theory of the computably enumerable equivalence relations in the uncountable setting. (English) Zbl 07471451 J. Log. Comput. 32, No. 1, 98-114 (2022). MSC: 03-XX 68-XX PDFBibTeX XMLCite \textit{U. Andrews} et al., J. Log. Comput. 32, No. 1, 98--114 (2022; Zbl 07471451) Full Text: DOI
Andrews, Uri; Lempp, Steffen; Schweber, Noah Building models of strongly minimal theories. (English) Zbl 07367639 Adv. Math. 386, Article ID 107802, 25 p. (2021). MSC: 03Cxx PDFBibTeX XMLCite \textit{U. Andrews} et al., Adv. Math. 386, Article ID 107802, 25 p. (2021; Zbl 07367639) Full Text: DOI
Lempp, Steffen; Slaman, Theodore A.; Soskova, Mariya I. Fragments of the theory of the enumeration degrees. (English) Zbl 07337378 Adv. Math. 383, Article ID 107686, 39 p. (2021). MSC: 03D30 PDFBibTeX XMLCite \textit{S. Lempp} et al., Adv. Math. 383, Article ID 107686, 39 p. (2021; Zbl 07337378) Full Text: DOI
Frolov, Andrey N.; Lempp, Steffen; Ng, Keng Meng; Wu, Guohua Computable linear orders and products. (English) Zbl 1459.03064 J. Symb. Log. 85, No. 2, 605-623 (2020). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03D45 03C57 PDFBibTeX XMLCite \textit{A. N. Frolov} et al., J. Symb. Log. 85, No. 2, 605--623 (2020; Zbl 1459.03064) Full Text: DOI Link
Higuchi, Kojiro; Lempp, Steffen; Raghavan, Dilip; Stephan, Frank On the order dimension of locally countable partial orderings. (English) Zbl 1481.06001 Proc. Am. Math. Soc. 148, No. 7, 2823-2833 (2020). MSC: 06A06 03E04 03E05 03D28 PDFBibTeX XMLCite \textit{K. Higuchi} et al., Proc. Am. Math. Soc. 148, No. 7, 2823--2833 (2020; Zbl 1481.06001) Full Text: DOI arXiv
Brattka, Vasco (ed.); Downey, Rod (ed.); Knight, Julia F. (ed.); Lempp, Steffen (ed.) Preface of the special issue for the Oberwolfach Workshop on Computability Theory 2018. (English) Zbl 1480.00056 Computability 8, No. 3-4, 191 (2019). MSC: 00B25 03-06 03Dxx PDFBibTeX XMLCite \textit{V. Brattka} (ed.) et al., Computability 8, No. 3--4, 191 (2019; Zbl 1480.00056) Full Text: DOI
Herbert, Ian; Jain, Sanjay; Lempp, Steffen; Mustafa, Manat; Stephan, Frank Reductions between types of numberings. (English) Zbl 1439.03077 Ann. Pure Appl. Logic 170, No. 12, Article ID 102716, 25 p. (2019). Reviewer: Patrizio Cintioli (Camerino) MSC: 03D25 03D30 03D45 03D60 PDFBibTeX XMLCite \textit{I. Herbert} et al., Ann. Pure Appl. Logic 170, No. 12, Article ID 102716, 25 p. (2019; Zbl 1439.03077) Full Text: DOI
Andrews, Uri; Ganchev, Hristo A.; Kuyper, Rutger; Lempp, Steffen; Miller, Joseph S.; Soskova, Alexandra A.; Soskova, Mariya I. On cototality and the skip operator in the enumeration degrees. (English) Zbl 1457.03059 Trans. Am. Math. Soc. 372, No. 3, 1631-1670 (2019). Reviewer: Patrizio Cintioli (Camerino) MSC: 03D30 PDFBibTeX XMLCite \textit{U. Andrews} et al., Trans. Am. Math. Soc. 372, No. 3, 1631--1670 (2019; Zbl 1457.03059) Full Text: DOI
Brattka, Vasco (ed.); Downey, Rodney G. (ed.); Knight, Julia F. (ed.); Lempp, Steffen (ed.) Computability theory. Abstracts from the workshop held January 7–13, 2018. (English) Zbl 1409.00073 Oberwolfach Rep. 15, No. 1, 5-41 (2018). MSC: 00B05 00B25 03Dxx 03C57 68Q30 03-06 PDFBibTeX XMLCite \textit{V. Brattka} (ed.) et al., Oberwolfach Rep. 15, No. 1, 5--41 (2018; Zbl 1409.00073) Full Text: DOI
Adaricheva, Kira; Hyndman, Jennifer; Lempp, Steffen; Nation, J. B. Interval dismantlable lattices. (English) Zbl 1405.06001 Order 35, No. 1, 133-137 (2018). Reviewer: Ivan Chajda (Přerov) MSC: 06B05 06B20 PDFBibTeX XMLCite \textit{K. Adaricheva} et al., Order 35, No. 1, 133--137 (2018; Zbl 1405.06001) Full Text: DOI
Downey, Rodney G.; Lempp, Steffen; Wu, Guohua Corrigendum to: “On the complexity of the successivity relation in computable linear orderings”. (English) Zbl 1375.03035 J. Math. Log. 17, No. 2, Article ID 1792002, 4 p. (2017). MSC: 03C57 03D25 03D45 PDFBibTeX XMLCite \textit{R. G. Downey} et al., J. Math. Log. 17, No. 2, Article ID 1792002, 4 p. (2017; Zbl 1375.03035) Full Text: DOI
Barry Cooper, S.; Harrington, Leo; Lachlan, Alistair H.; Lempp, Steffen; Soare, Robert I. Corrigendum to: “The d.r.e. degrees are not dense”. (English) Zbl 1403.03063 Ann. Pure Appl. Logic 168, No. 12, 2164-2165 (2017). MSC: 03D25 PDFBibTeX XMLCite \textit{S. Barry Cooper} et al., Ann. Pure Appl. Logic 168, No. 12, 2164--2165 (2017; Zbl 1403.03063) Full Text: DOI
Andrews, Uri; Cai, Mingzhong; Diamondstone, David; Lempp, Steffen; Miller, Joseph S. Theory spectra and classes of theories. (English) Zbl 1423.03146 Trans. Am. Math. Soc. 369, No. 9, 6493-6510 (2017). MSC: 03D45 03C57 03D30 PDFBibTeX XMLCite \textit{U. Andrews} et al., Trans. Am. Math. Soc. 369, No. 9, 6493--6510 (2017; Zbl 1423.03146) Full Text: DOI
Andrews, Uri; Kuyper, Rutger; Lempp, Steffen; Soskova, Mariya I.; Yamaleev, Mars M. Nondensity of double bubbles in the d.c.e. degrees. (English) Zbl 1485.03149 Day, Adam (ed.) et al., Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 10010, 547-562 (2017). MSC: 03D28 PDFBibTeX XMLCite \textit{U. Andrews} et al., Lect. Notes Comput. Sci. 10010, 547--562 (2017; Zbl 1485.03149) Full Text: DOI
Lempp, Steffen Book review of: K. Kunen, The foundations of mathematics. (English) Zbl 1362.00012 Bull. Symb. Log. 22, No. 2, 287-288 (2016). MSC: 00A17 03-01 03Cxx 03Dxx 03Exx PDFBibTeX XMLCite \textit{S. Lempp}, Bull. Symb. Log. 22, No. 2, 287--288 (2016; Zbl 1362.00012) Full Text: DOI
Andrews, Uri; Cai, Mingzhong; Kalimullin, Iskander Sh.; Lempp, Steffen; Miller, Joseph S.; Montalbán, Antonio The complements of lower cones of degrees and the degree spectra of structures. (English) Zbl 1370.03060 J. Symb. Log. 81, No. 3, 997-1006 (2016). Reviewer: Joseph S. Ullian (Santa Barbara) MSC: 03D25 03D30 03D45 PDFBibTeX XMLCite \textit{U. Andrews} et al., J. Symb. Log. 81, No. 3, 997--1006 (2016; Zbl 1370.03060) Full Text: DOI
Cai, Mingzhong; Lempp, Steffen; Miller, Joseph S.; Soskova, Mariya I. On Kalimullin pairs. (English) Zbl 1401.03076 Computability 5, No. 2, 111-126 (2016). MSC: 03D30 03D25 PDFBibTeX XMLCite \textit{M. Cai} et al., Computability 5, No. 2, 111--126 (2016; Zbl 1401.03076) Full Text: DOI
Cai, Mingzhong; Ganchev, Hristo A.; Lempp, Steffen; Miller, Joseph S.; Soskova, Mariya I. Defining totality in the enumeration degrees. (English) Zbl 1402.03061 J. Am. Math. Soc. 29, No. 4, 1051-1067 (2016). MSC: 03D30 03D25 PDFBibTeX XMLCite \textit{M. Cai} et al., J. Am. Math. Soc. 29, No. 4, 1051--1067 (2016; Zbl 1402.03061) Full Text: DOI Link
Andrews, Uri; Cai, Mingzhong; Diamondstone, David; Jockusch, Carl; Lempp, Steffen Asymptotic density, computable traceability, and 1-randomness. (English) Zbl 1401.03074 Fundam. Math. 234, No. 1, 41-53 (2016). MSC: 03D28 03D25 03D32 PDFBibTeX XMLCite \textit{U. Andrews} et al., Fundam. Math. 234, No. 1, 41--53 (2016; Zbl 1401.03074) Full Text: DOI
Barmpalias, George; Cai, Mingzhong; Lempp, Steffen; Slaman, Theodore A. On the existence of a strong minimal pair. (English) Zbl 1386.03044 J. Math. Log. 15, No. 1, Article ID 1550003, 28 p. (2015). MSC: 03D25 PDFBibTeX XMLCite \textit{G. Barmpalias} et al., J. Math. Log. 15, No. 1, Article ID 1550003, 28 p. (2015; Zbl 1386.03044) Full Text: DOI arXiv
Andrews, Uri; Cai, Mingzhong; Diamondstone, David; Lempp, Steffen; Miller, Joseph S. On the structure of the degrees of relative provability. (English) Zbl 1367.03076 Isr. J. Math. 207, Part 1, 449-478 (2015). Reviewer: Roman Murawski (Poznań) MSC: 03D30 03D20 03F03 PDFBibTeX XMLCite \textit{U. Andrews} et al., Isr. J. Math. 207, Part 1, 449--478 (2015; Zbl 1367.03076) Full Text: DOI
Greenberg, Noam; Kach, Asher M.; Lempp, Steffen; Turetsky, Daniel D. Computability and uncountable linear orders. II: Degree spectra. (English) Zbl 1359.03035 J. Symb. Log. 80, No. 1, 145-178 (2015). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03D60 03C57 03D45 PDFBibTeX XMLCite \textit{N. Greenberg} et al., J. Symb. Log. 80, No. 1, 145--178 (2015; Zbl 1359.03035) Full Text: DOI Link
Greenberg, Noam; Kach, Asher M.; Lempp, Steffen; Turetsky, Daniel D. Computability and uncountable linear orders. I: Computable categoricity. (English) Zbl 1359.03034 J. Symb. Log. 80, No. 1, 116-144 (2015). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03D60 03C57 03D45 PDFBibTeX XMLCite \textit{N. Greenberg} et al., J. Symb. Log. 80, No. 1, 116--144 (2015; Zbl 1359.03034) Full Text: DOI Link
Downey, Rodney G.; Kach, Asher M.; Lempp, Steffen; Lewis-Pye, Andrew E. M.; Montalbán, Antonio; Turetsky, Daniel D. The complexity of computable categoricity. (English) Zbl 1345.03063 Adv. Math. 268, 423-466 (2015). MSC: 03C57 03C35 03D45 03D60 PDFBibTeX XMLCite \textit{R. G. Downey} et al., Adv. Math. 268, 423--466 (2015; Zbl 1345.03063) Full Text: DOI
Lempp, S. A survey of results on the d.c.e. and \(n\)-c.e. degrees. (English) Zbl 1325.03046 Lobachevskii J. Math. 35, No. 4, 313-316 (2014). MSC: 03D25 PDFBibTeX XMLCite \textit{S. Lempp}, Lobachevskii J. Math. 35, No. 4, 313--316 (2014; Zbl 1325.03046) Full Text: DOI
Lempp, Steffen; Miller, Joseph S.; Ng, Keng Meng; Turetsky, Daniel D.; Weber, Rebecca Lowness for effective Hausdorff dimension. (English) Zbl 1335.03040 J. Math. Log. 14, No. 2, Article ID 1450011, 22 p. (2014). MSC: 03D32 68Q30 PDFBibTeX XMLCite \textit{S. Lempp} et al., J. Math. Log. 14, No. 2, Article ID 1450011, 22 p. (2014; Zbl 1335.03040) Full Text: DOI
Cai, Mingzhong; Downey, Rodney G.; Epstein, Rachel; Lempp, Steffen; Miller, Joseph S. Random strings and truth-table degrees of Turing complete c.e. sets. (English) Zbl 1314.03039 Log. Methods Comput. Sci. 10, No. 3, Paper No. 15, 24 p. (2014). Reviewer: Ludwig Staiger (Halle/Saale) MSC: 03D30 68Q30 03D32 03D25 68Q15 PDFBibTeX XMLCite \textit{M. Cai} et al., Log. Methods Comput. Sci. 10, No. 3, Paper No. 15, 24 p. (2014; Zbl 1314.03039) Full Text: DOI arXiv
Andrews, Uri; Lempp, Steffen; Miller, Joseph S.; Ng, Keng Meng; San Mauro, Luca; Sorbi, Andrea Universal computably enumerable equivalence relations. (English) Zbl 1338.03076 J. Symb. Log. 79, No. 1, 60-88 (2014). MSC: 03D25 PDFBibTeX XMLCite \textit{U. Andrews} et al., J. Symb. Log. 79, No. 1, 60--88 (2014; Zbl 1338.03076) Full Text: DOI
Downey, Rodney G.; Kach, Asher M.; Lempp, Steffen; Turetsky, Daniel D. Computable categoricity versus relative computable categoricity. (English) Zbl 1320.03070 Fundam. Math. 221, No. 2, 129-159 (2013). Reviewer: Noam Greenberg (Wellington) MSC: 03C57 03C35 03D45 PDFBibTeX XMLCite \textit{R. G. Downey} et al., Fundam. Math. 221, No. 2, 129--159 (2013; Zbl 1320.03070) Full Text: DOI
Ambos-Spies, Klaus (ed.); Downey, Rodney G. (ed.); Lempp, Steffen (ed.); Merkle, Wolfgang (ed.) Computability theory. Abstracts from the workshop held February 5–11, 2012. (English) Zbl 1349.00035 Oberwolfach Rep. 9, No. 1, 397-455 (2012). MSC: 00B05 00B25 03-06 03Dxx 68-06 PDFBibTeX XMLCite \textit{K. Ambos-Spies} (ed.) et al., Oberwolfach Rep. 9, No. 1, 397--455 (2012; Zbl 1349.00035) Full Text: DOI
Kach, Asher M.; Lempp, Steffen Downward closure of depth in countable Boolean algebras. (English) Zbl 1260.06016 Algebra Univers. 68, No. 1-2, 57-74 (2012). Reviewer: James Monk (Boulder) MSC: 06E05 PDFBibTeX XMLCite \textit{A. M. Kach} and \textit{S. Lempp}, Algebra Univers. 68, No. 1--2, 57--74 (2012; Zbl 1260.06016) Full Text: DOI
Downey, Rod; Lempp, Steffen; Wu, Guohua On the complexity of the successivity relation in computable linear orderings. (English) Zbl 1256.03039 J. Math. Log. 10, No. 1-2, 83-99 (2010); corrigendum ibid. 17, No. 2, Article ID 1792002, 4 p. (2017). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03C57 03D25 03D45 PDFBibTeX XMLCite \textit{R. Downey} et al., J. Math. Log. 10, No. 1--2, 83--99 (2010; Zbl 1256.03039) Full Text: DOI
Arslanov, Marat M.; Kalimullin, Iskander Sh.; Lempp, Steffen On Downey’s conjecture. (English) Zbl 1192.03017 J. Symb. Log. 75, No. 2, 401-441 (2010). Reviewer: Roman Murawski (Poznań) MSC: 03D28 PDFBibTeX XMLCite \textit{M. M. Arslanov} et al., J. Symb. Log. 75, No. 2, 401--441 (2010; Zbl 1192.03017) Full Text: DOI
Chong, C. T.; Lempp, Steffen; Yang, Yue On the role of the collection principle for \(\Sigma ^0_2\)-formulas in second-order reverse mathematics. (English) Zbl 1195.03015 Proc. Am. Math. Soc. 138, No. 3, 1093-1100 (2010). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03F35 PDFBibTeX XMLCite \textit{C. T. Chong} et al., Proc. Am. Math. Soc. 138, No. 3, 1093--1100 (2010; Zbl 1195.03015) Full Text: DOI
Kastermans, Bart; Lempp, Steffen Comparing notions of randomness. (English) Zbl 1184.68274 Theor. Comput. Sci. 411, No. 3, 602-616 (2010). MSC: 68Q30 PDFBibTeX XMLCite \textit{B. Kastermans} and \textit{S. Lempp}, Theor. Comput. Sci. 411, No. 3, 602--616 (2010; Zbl 1184.68274) Full Text: DOI
Downey, Rodney G.; Kastermans, Bart; Lempp, Steffen On computable self-embeddings of computable linear orderings. (English) Zbl 1201.03029 J. Symb. Log. 74, No. 4, 1352-1366 (2009). Reviewer: Antonio Montalbán (Chicago) MSC: 03D45 03C57 06A05 PDFBibTeX XMLCite \textit{R. G. Downey} et al., J. Symb. Log. 74, No. 4, 1352--1366 (2009; Zbl 1201.03029) Full Text: DOI Link
Jockusch, Carl G. jun.; Kastermans, Bart; Lempp, Steffen; Lerman, Manuel; Solomon, Reed Stability and posets. (English) Zbl 1171.03034 J. Symb. Log. 74, No. 2, 693-711 (2009). Reviewer: Jeffry L. Hirst (Boone) MSC: 03F35 03B30 03C57 03D45 06A06 PDFBibTeX XMLCite \textit{C. G. Jockusch jun.} et al., J. Symb. Log. 74, No. 2, 693--711 (2009; Zbl 1171.03034) Full Text: DOI
Badaev, Serikzhan A.; Lempp, Steffen A decomposition of the Rogers semilattice of a family of d.c.e. sets. (English) Zbl 1185.03071 J. Symb. Log. 74, No. 2, 618-640 (2009). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03D45 03D25 PDFBibTeX XMLCite \textit{S. A. Badaev} and \textit{S. Lempp}, J. Symb. Log. 74, No. 2, 618--640 (2009; Zbl 1185.03071) Full Text: DOI Link
Hirschfeldt, Denis R.; Jockusch, Carl G. jun.; Kjos-Hanssen, Bjørn; Lempp, Steffen; Slaman, Theodore A. The strength of some combinatorial principles related to Ramsey’s theorem for pairs. (English) Zbl 1167.03009 Chong, Chitat (ed.) et al., Computational prospects of infinity. Part II: Presented talks. Selected papers of the workshop, June 20–August 15, 2005. Hackensack, NJ: World Scientific (ISBN 978-981-279-654-7/hbk). Lecture Notes Series. Institute for Mathematical Sciences. National University of Singapore 15, 143-161 (2008). Reviewer: Iris Loeb (Christchurch) MSC: 03B30 03F35 PDFBibTeX XMLCite \textit{D. R. Hirschfeldt} et al., Lect. Notes Ser., Inst. Math. Sci., Natl. Univ. Singap. 15, 143--161 (2008; Zbl 1167.03009) Full Text: arXiv
Ambos-Spies, Klaus; Lempp, Steffen; Slaman, Theodore A. Generating sets for the recursively enumerable Turing degrees. (English) Zbl 1156.03039 Chong, Chitat (ed.) et al., Computational prospects of infinity. Part II: Presented talks. Selected papers of the workshop, June 20–August 15, 2005. Hackensack, NJ: World Scientific (ISBN 978-981-279-654-7/hbk). Lecture Notes Series. Institute for Mathematical Sciences. National University of Singapore 15, 1-22 (2008). Reviewer: Roman Murawski (Poznań) MSC: 03D25 PDFBibTeX XMLCite \textit{K. Ambos-Spies} et al., Lect. Notes Ser., Inst. Math. Sci., Natl. Univ. Singap. 15, 1--22 (2008; Zbl 1156.03039)
Lempp, Steffen (ed.) 2007 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium ’07. Wrocław, Poland, July 14–July 19, 2007. (English) Zbl 1134.03301 Bull. Symb. Log. 14, No. 1, 123-159 (2008). MSC: 03-06 00B05 PDFBibTeX XMLCite \textit{S. Lempp} (ed.), Bull. Symb. Log. 14, No. 1, 123--159 (2008; Zbl 1134.03301) Full Text: DOI
Downey, Rodney G.; Hirschfeldt, Denis R.; Kach, Asher M.; Lempp, Steffen; Mileti, Joseph R.; Montalbán, Antonio Subspaces of computable vector spaces. (English) Zbl 1127.03036 J. Algebra 314, No. 2, 888-894 (2007). Reviewer: Jeffry L. Hirst (Boone) MSC: 03D45 03B30 03F35 PDFBibTeX XMLCite \textit{R. G. Downey} et al., J. Algebra 314, No. 2, 888--894 (2007; Zbl 1127.03036) Full Text: DOI
Downey, Rodney G.; Lempp, Steffen; Mileti, Joseph R. Ideals in computable rings. (English) Zbl 1127.03037 J. Algebra 314, No. 2, 872-887 (2007). Reviewer: Jeffry L. Hirst (Boone) MSC: 03D45 03B30 03F35 PDFBibTeX XMLCite \textit{R. G. Downey} et al., J. Algebra 314, No. 2, 872--887 (2007; Zbl 1127.03037) Full Text: DOI
Khoussainov, Bakhadyr M.; Laskowski, Michael C.; Lempp, Steffen; Solomon, Reed On the computability-theoretic complexity of trivial, strongly minimal models. (English) Zbl 1124.03016 Proc. Am. Math. Soc. 135, No. 11, 3711-3721 (2007). MSC: 03C57 03D45 PDFBibTeX XMLCite \textit{B. M. Khoussainov} et al., Proc. Am. Math. Soc. 135, No. 11, 3711--3721 (2007; Zbl 1124.03016) Full Text: DOI
Lempp, Steffen; Slaman, Theodore A. The complexity of the index sets of \(\aleph_0\)-categorical theories and of Ehrenfeucht theories. (English) Zbl 1123.03035 Gao, Su (ed.) et al., Advances in logic. The North Texas logic conference, Denton, TX, USA, October 8–10, 2004. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-3819-8/pbk). Contemporary Mathematics 425, 43-47 (2007). MSC: 03D15 03C35 03C52 03C57 68Q17 PDFBibTeX XMLCite \textit{S. Lempp} and \textit{T. A. Slaman}, Contemp. Math. 425, 43--47 (2007; Zbl 1123.03035) Full Text: arXiv
Lempp, Steffen; Mummert, Carl Filters on computable posets. (English) Zbl 1128.03037 Notre Dame J. Formal Logic 47, No. 4, 479-485 (2006). Reviewer: Alberto Marcone (Udine) MSC: 03D80 03B30 03F35 06A06 PDFBibTeX XMLCite \textit{S. Lempp} and \textit{C. Mummert}, Notre Dame J. Formal Logic 47, No. 4, 479--485 (2006; Zbl 1128.03037) Full Text: DOI
Lempp, Steffen; Lerman, Manuel; Solomon, Reed Embedding finite lattices into the computably enumerable degrees – a status survey. (English) Zbl 1107.03046 Chatzidakis, Zoé (ed.) et al., Logic colloquium ’02. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL) and the Colloquium Logicum, Münster, Germany, August 3–11, 2002. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 1-56881-300-7/hbk; 1-56881-301-5/pbk). Lecture Notes in Logic 27, 206-229 (2006). MSC: 03D25 03-02 PDFBibTeX XMLCite \textit{S. Lempp} et al., Lect. Notes Log. 27, 206--229 (2006; Zbl 1107.03046)
Lempp, Steffen; Slaman, Theodore A.; Sorbi, Andrea On extensions of embeddings into the enumeration degrees of the \({\Sigma_2^0}\)-sets. (English) Zbl 1097.03036 J. Math. Log. 5, No. 2, 247-298 (2005). Reviewer: Frank Stephan (Singapore) MSC: 03D30 PDFBibTeX XMLCite \textit{S. Lempp} et al., J. Math. Log. 5, No. 2, 247--298 (2005; Zbl 1097.03036) Full Text: DOI
Lempp, Steffen; McCoy, Charles; Miller, Russell; Solomon, Reed Computable categoricity of trees of finite height. (English) Zbl 1104.03026 J. Symb. Log. 70, No. 1, 151-215 (2005). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03C57 03D45 03C35 PDFBibTeX XMLCite \textit{S. Lempp} et al., J. Symb. Log. 70, No. 1, 151--215 (2005; Zbl 1104.03026) Full Text: DOI Link
Khoussainov, Bakhadyr; Lempp, Steffen; Slaman, Theodore A. Computably enumerable algebras, their expansions, and isomorphisms. (English) Zbl 1096.03050 Int. J. Algebra Comput. 15, No. 3, 437-454 (2005). MSC: 03D45 PDFBibTeX XMLCite \textit{B. Khoussainov} et al., Int. J. Algebra Comput. 15, No. 3, 437--454 (2005; Zbl 1096.03050) Full Text: DOI
Ambos-Spies, Klaus; Kjos-Hanssen, Bjørn; Lempp, Steffen; Slaman, Theodore A. Comparing DNR and WWKL. (English) Zbl 1076.03039 J. Symb. Log. 69, No. 4, 1089-1104 (2004). Reviewer: Alberto Marcone (Udine) MSC: 03F35 03D28 03B30 PDFBibTeX XMLCite \textit{K. Ambos-Spies} et al., J. Symb. Log. 69, No. 4, 1089--1104 (2004; Zbl 1076.03039) Full Text: DOI arXiv
Downey, Rodney G.; Hirschfeldt, Denis R.; Lempp, Steffen; Solomon, Reed Computability-theoretic and proof-theoretic aspects of partial and linear orderings. (English) Zbl 1044.03043 Isr. J. Math. 138, 271-289 (2003). Reviewer: Jeffry L. Hirst (Boone) MSC: 03F35 03D45 03B30 06A05 06A06 06A07 PDFBibTeX XMLCite \textit{R. G. Downey} et al., Isr. J. Math. 138, 271--289 (2003; Zbl 1044.03043) Full Text: DOI
Goncharov, Sergey S.; Harizanov, Valentina S.; Laskowski, Michael C.; Lempp, Steffen; McCoy, Charles F. D. Trivial, strongly minimal theories are model complete after naming constants. (English) Zbl 1035.03013 Proc. Am. Math. Soc. 131, No. 12, 3901-3912 (2003). MSC: 03C10 03C35 03C57 PDFBibTeX XMLCite \textit{S. S. Goncharov} et al., Proc. Am. Math. Soc. 131, No. 12, 3901--3912 (2003; Zbl 1035.03013) Full Text: DOI
Goncharov, Sergey S.; Lempp, Steffen; Solomon, Reed The computable dimension of ordered abelian groups. (English) Zbl 1031.03058 Adv. Math. 175, No. 1, 102-143 (2003). Reviewer: R.Downey (Wellington) MSC: 03C57 06F20 PDFBibTeX XMLCite \textit{S. S. Goncharov} et al., Adv. Math. 175, No. 1, 102--143 (2003; Zbl 1031.03058) Full Text: DOI
Goncharov, S. S.; Lempp, Steffen; Solomon, D. R. Friedberg numberings of families of \(n\)-computably enumerable sets. (Russian, English) Zbl 1063.03028 Algebra Logika 41, No. 2, 143-154 (2002); translation in Algebra Logic 41, No. 2, 81-86 (2002). MSC: 03D45 03D25 03D30 PDFBibTeX XMLCite \textit{S. S. Goncharov} et al., Algebra Logika 41, No. 2, 143--154 (2002; Zbl 1063.03028); translation in Algebra Logic 41, No. 2, 81--86 (2002) Full Text: EuDML
Lempp, Steffen; McCoy, Charles; Morozov, Andrei; Solomon, Reed Group theoretic properties of the group of computable automorphisms of a countable dense linear order. (English) Zbl 1032.03040 Order 19, No. 4, 343-364 (2002). Reviewer: Jeffry L.Hirst (Boone) MSC: 03D80 06F15 03B30 PDFBibTeX XMLCite \textit{S. Lempp} et al., Order 19, No. 4, 343--364 (2002; Zbl 1032.03040) Full Text: DOI
Lempp, Steffen; Peretyatkin, Mikhail; Solomon, Reed The Lindenbaum algebra of the theory of the class of all finite models. (English) Zbl 1033.03035 J. Math. Log. 2, No. 2, 145-225 (2002). Reviewer: Marat M. Arslanov (Kazan) MSC: 03G05 03C13 03C57 03D45 03D10 PDFBibTeX XMLCite \textit{S. Lempp} et al., J. Math. Log. 2, No. 2, 145--225 (2002; Zbl 1033.03035) Full Text: DOI
Lempp, Steffen; Sorbi, Andrea Embedding finite lattices into the \(\Sigma_2^0\) enumeration degrees. (English) Zbl 1021.03035 J. Symb. Log. 67, No. 1, 69-90 (2002). Reviewer: Shamil Ishmukhametov (Ul’yanovsk) MSC: 03D25 PDFBibTeX XMLCite \textit{S. Lempp} and \textit{A. Sorbi}, J. Symb. Log. 67, No. 1, 69--90 (2002; Zbl 1021.03035) Full Text: DOI
Lempp, Steffen; Nies, André; Solomon, D. Reed On the filter of computably enumerable supersets of an r-maximal set. (English) Zbl 1030.03029 Arch. Math. Logic 40, No. 6, 415-423 (2001). MSC: 03D25 PDFBibTeX XMLCite \textit{S. Lempp} et al., Arch. Math. Logic 40, No. 6, 415--423 (2001; Zbl 1030.03029) Full Text: DOI
Downey, Rod; Hirschfeldt, Denis R.; Lempp, Steffen; Solomon, Reed A \(\Delta_2^0\) set with no infinite low subset in either it or its complement. (English) Zbl 0990.03046 J. Symb. Log. 66, No. 3, 1371-1381 (2001). Reviewer: Jeffry L.Hirst (Boone) MSC: 03F35 03D45 03D80 PDFBibTeX XMLCite \textit{R. Downey} et al., J. Symb. Log. 66, No. 3, 1371--1381 (2001; Zbl 0990.03046) Full Text: DOI
Lempp, Steffen; Nies, André Differences of computably enumerable sets. (English) Zbl 0964.03043 Math. Log. Q. 46, No. 4, 555-561 (2000). MSC: 03D25 PDFBibTeX XMLCite \textit{S. Lempp} and \textit{A. Nies}, Math. Log. Q. 46, No. 4, 555--561 (2000; Zbl 0964.03043) Full Text: DOI
Cholak, Peter A. (ed.); Lempp, Steffen (ed.); Lerman, Manuel (ed.); Shore, Richard A. (ed.) Computability theory and its applications. Current trends and open problems. Proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, Boulder, CO, USA, June 13–17, 1999. (English) Zbl 0945.00017 Contemporary Mathematics. 257. Providence, RI: American Mathematical Society (AMS). xvi, 320 p. (2000). MSC: 00B25 PDFBibTeX XMLCite \textit{P. A. Cholak} (ed.) et al., Computability theory and its applications. Current trends and open problems. Proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, Boulder, CO, USA, June 13--17, 1999. Providence, RI: American Mathematical Society (AMS) (2000; Zbl 0945.00017) Full Text: DOI
Downey, Rod; Laforte, Geoffrey; Lempp, Steffen A \(\Delta_2^0\) set with barely \(\Sigma_2^0\) degree. (English) Zbl 0951.03033 J. Symb. Log. 64, No. 4, 1700-1718 (1999). Reviewer: Jerzy Mycka (Lublin) MSC: 03D25 PDFBibTeX XMLCite \textit{R. Downey} et al., J. Symb. Log. 64, No. 4, 1700--1718 (1999; Zbl 0951.03033) Full Text: DOI
Downey, Rodney G.; Lempp, Steffen The proof-theoretic strength of the Dushnik-Miller theorem for countable linear orders. (English) Zbl 0951.03053 Arslanov, Marat M. (ed.) et al., Recursion theory and complexity. Proceedings of the Kazan ’97 workshop, Kazan, Russia, July 14–19, 1997. Berlin: Walter de Gruyter (ISBN 3-11-016587-2/hbk). de Gruyter Series in Logic and Its Applications 2, 55-57 (1999). Reviewer: Jeffry Hirst (Boone /NC) MSC: 03F35 06A05 PDFBibTeX XMLCite \textit{R. G. Downey} and \textit{S. Lempp}, De Gruyter Ser. Log. Appl. 2, 55--57 (1999; Zbl 0951.03053)
Herwig, Bernhard; Lempp, Steffen; Ziegler, Martin Constructive models of uncountably categorical theories. (English) Zbl 0932.03036 Proc. Am. Math. Soc. 127, No. 12, 3711-3719 (1999). MSC: 03C57 03D45 03C35 PDFBibTeX XMLCite \textit{B. Herwig} et al., Proc. Am. Math. Soc. 127, No. 12, 3711--3719 (1999; Zbl 0932.03036) Full Text: DOI
Arslanov, Marat M. (ed.); Lempp, Steffen (ed.) Recursion theory and complexity. Proceedings of the Kazan ’97 workshop, Kazan, Russia, July 14–19, 1997. (English) Zbl 0923.00014 de Gruyter Series in Logic and Its Applications 2. Berlin: Walter de Gruyter (ISBN 3-11-016587-2/hbk). viii, 233 p. (1999). MSC: 00B25 03-06 PDFBibTeX XMLCite \textit{M. M. Arslanov} (ed.) and \textit{S. Lempp} (ed.), Recursion theory and complexity. Proceedings of the Kazan '97 workshop, Kazan, Russia, July 14--19, 1997. Berlin: Walter de Gruyter (1999; Zbl 0923.00014)
Lempp, Steffen Decidability and undecidability in the enumerable Turing degrees. (English) Zbl 1004.03034 Chong, C. T. (ed.) et al., Proceedings of the 6th Asian logic conference, Beijing, China, May 20-24, 1996. Singapore: World Scientific. 151-161 (1998). Reviewer: R.Sh.Omanadze (Tbilisi) MSC: 03D25 03D35 03B25 PDFBibTeX XMLCite \textit{S. Lempp}, in: Proceedings of the 6th Asian logic conference, Beijing, China, May 20--24, 1996. Singapore: World Scientific; Singapore: Singapore University Press. 151--161 (1998; Zbl 1004.03034)
Ambos-Spies, Klaus; Lempp, Steffen; Mainhardt, Gunther Randomness vs. completeness: On the diagonalization strength of resource-bounded random sets. (English) Zbl 0912.03023 Brim, Luboš (ed.) et al., Mathematical foundations of computer science 1998. 23rd international symposium, MFCS ’98. Brno, Czech Republic, August 24–28, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1450, 465-473 (1998). MSC: 03D15 68Q15 PDFBibTeX XMLCite \textit{K. Ambos-Spies} et al., Lect. Notes Comput. Sci. 1450, 465--473 (1998; Zbl 0912.03023)
Ambos-Spies, Klaus; Cooper, S. Barry; Lempp, Steffen Initial segments of recursive linear orders. (English) Zbl 0909.03034 Order 14, No. 2, 101-105 (1998). Reviewer: A.Ryaskin (Novosibirsk) MSC: 03C57 03D45 PDFBibTeX XMLCite \textit{K. Ambos-Spies} et al., Order 14, No. 2, 101--105 (1998; Zbl 0909.03034) Full Text: DOI
Lempp, Steffen; Nies, André; Slaman, Theodore A. The \(\Pi_{3}\)-theory of the computably enumerable Turing degrees is undecidable. (English) Zbl 0904.03029 Trans. Am. Math. Soc. 350, No. 7, 2719-2736 (1998). Reviewer: Ning Zhong (Batavia/Ohio) MSC: 03D25 03D35 PDFBibTeX XMLCite \textit{S. Lempp} et al., Trans. Am. Math. Soc. 350, No. 7, 2719--2736 (1998; Zbl 0904.03029) Full Text: DOI
Blaylock, Rich; Downey, Rod; Lempp, Steffen Infima in the recursively enumerable weak truth table degrees. (English) Zbl 0909.03038 Notre Dame J. Formal Logic 38, No. 3, 406-418 (1997). Reviewer: R.Sh.Omanadze (Tbilisi) MSC: 03D25 PDFBibTeX XMLCite \textit{R. Blaylock} et al., Notre Dame J. Formal Logic 38, No. 3, 406--418 (1997; Zbl 0909.03038) Full Text: DOI
Lempp, Steffen; Lerman, Manuel Iterated trees of strategies and priority arguments. (English) Zbl 0899.03030 Arch. Math. Logic 36, No. 4-5, 297-312 (1997). Reviewer: S.Ishmukhametov (Ul’yanovsk) MSC: 03D25 PDFBibTeX XMLCite \textit{S. Lempp} and \textit{M. Lerman}, Arch. Math. Logic 36, No. 4--5, 297--312 (1997; Zbl 0899.03030) Full Text: DOI
Downey, Rodney G.; Lempp, Steffen Contiguity and distributivity in the enumerable Turing degrees. (English) Zbl 0897.03047 J. Symb. Log. 62, No. 4, 1215-1240 (1997); corrigendum ibid. 67, No. 4, 1579-1580 (2002) . Reviewer: R.Sh.Omanadze (Tbilisi) MSC: 03D25 PDFBibTeX XMLCite \textit{R. G. Downey} and \textit{S. Lempp}, J. Symb. Log. 62, No. 4, 1215--1240 (1997; Zbl 0897.03047) Full Text: DOI
Lempp, Steffen The computational complexity of torsion-freeness of finitely presented groups. (English) Zbl 0889.03033 Bull. Aust. Math. Soc. 56, No. 2, 273-277 (1997). Reviewer: C.Calude (Auckland) MSC: 03D40 20F10 PDFBibTeX XMLCite \textit{S. Lempp}, Bull. Aust. Math. Soc. 56, No. 2, 273--277 (1997; Zbl 0889.03033) Full Text: DOI
Lempp, Steffen; Lerman, Manuel A finite lattice without critical triple that cannot be embedded into the enumerable Turing degrees. (English) Zbl 0883.03025 Ann. Pure Appl. Logic 87, No. 2, 167-185 (1997). Reviewer: Zheng Xizhong (Hagen) MSC: 03D25 PDFBibTeX XMLCite \textit{S. Lempp} and \textit{M. Lerman}, Ann. Pure Appl. Logic 87, No. 2, 167--185 (1997; Zbl 0883.03025) Full Text: DOI
Ambos-Spies, Klaus; Fejer, Peter A.; Lempp, Steffen; Lerman, Manuel Decidability of the two-quantifier theory of the recursively enumerable weak truth-table degrees and other distributive upper semi-lattices. (English) Zbl 0863.03021 J. Symb. Log. 61, No. 3, 880-905 (1996). Reviewer: R.Downey (Wellington) MSC: 03D25 03B25 03D30 68Q15 PDFBibTeX XMLCite \textit{K. Ambos-Spies} et al., J. Symb. Log. 61, No. 3, 880--905 (1996; Zbl 0863.03021) Full Text: DOI
Downey, Rodney G.; Lempp, Steffen; Shore, Richard A. Jumps of minimal degrees below \(0'\). (English) Zbl 0865.03036 J. Lond. Math. Soc., II. Ser. 54, No. 3, 417-439 (1996). Reviewer: S.Lempp (Madison) MSC: 03D30 03D25 PDFBibTeX XMLCite \textit{R. G. Downey} et al., J. Lond. Math. Soc., II. Ser. 54, No. 3, 417--439 (1996; Zbl 0865.03036) Full Text: DOI
Lempp, Steffen; Lerman, Manuel The decidability of the existential theory of the poset of recursively enumerable degrees with jump relations. (English) Zbl 0856.03034 Adv. Math. 120, No. 1, 1-142 (1996). Reviewer: R.Downey (Wellington) MSC: 03D25 03B25 PDFBibTeX XMLCite \textit{S. Lempp} and \textit{M. Lerman}, Adv. Math. 120, No. 1, 1--142 (1996; Zbl 0856.03034) Full Text: DOI
Arslanov, Marat; Lempp, Steffen; Shore, Richard A. Interpolating \(d\)-r.e. and REA degrees between r.e. degrees. (English) Zbl 0855.03025 Ann. Pure Appl. Logic 78, No. 1-3, 29-56 (1996). Reviewer: Zheng Xizhong (Hagen) MSC: 03D25 03D30 PDFBibTeX XMLCite \textit{M. Arslanov} et al., Ann. Pure Appl. Logic 78, No. 1--3, 29--56 (1996; Zbl 0855.03025) Full Text: DOI
Lempp, Steffen; Sui, Yuefei An extended Lachlan splitting theorem. (English) Zbl 0858.03046 Ann. Pure Appl. Logic 79, No. 1, 53-59 (1996). Reviewer: W.I.Gasarch (College Park) MSC: 03D25 PDFBibTeX XMLCite \textit{S. Lempp} and \textit{Y. Sui}, Ann. Pure Appl. Logic 79, No. 1, 53--59 (1996; Zbl 0858.03046) Full Text: DOI
Arslanov, Marat M.; Lempp, Steffen; Shore, Richard A. On isolating r.e. and isolated d-r.e. degrees. (English) Zbl 0839.03024 Cooper, S. B. (ed.) et al., Computability, enumerability, unsolvability. Directions in recursion theory. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 224, 61-80 (1996). Reviewer: C.Calude (Auckland) MSC: 03D25 PDFBibTeX XMLCite \textit{M. M. Arslanov} et al., Lond. Math. Soc. Lect. Note Ser. 224, 61--80 (1996; Zbl 0839.03024)
Hirst, Jeffry L.; Lempp, Steffen Infinite versions of some problems from finite complexity theory. (English) Zbl 0882.03041 Notre Dame J. Formal Logic 37, No. 4, 545-553 (1996). MSC: 03D15 PDFBibTeX XMLCite \textit{J. L. Hirst} and \textit{S. Lempp}, Notre Dame J. Formal Logic 37, No. 4, 545--553 (1996; Zbl 0882.03041) Full Text: DOI arXiv
Lempp, Steffen; Nies, André The undecidability of the \(\Pi_ 4\)-theory for the r.e. wtt and Turing degrees. (English) Zbl 0846.03018 J. Symb. Log. 60, No. 4, 1118-1136 (1995). Reviewer: Zheng Xizhong (Hagen) MSC: 03D35 03D25 PDFBibTeX XMLCite \textit{S. Lempp} and \textit{A. Nies}, J. Symb. Log. 60, No. 4, 1118--1136 (1995; Zbl 0846.03018) Full Text: DOI
Lempp, Steffen; Lerman, Manuel A general framework for priority arguments. (English) Zbl 0841.03025 Bull. Symb. Log. 1, No. 2, 189-201 (1995). Reviewer: R.Sh.Omanadze (Tbilisi) MSC: 03D30 PDFBibTeX XMLCite \textit{S. Lempp} and \textit{M. Lerman}, Bull. Symb. Log. 1, No. 2, 189--201 (1995; Zbl 0841.03025) Full Text: DOI Link
Ambos-Spies, Klaus; Lempp, Steffen; Lerman, Manuel Lattice embeddings into the r.e. degrees preserving 1. (English) Zbl 0819.03032 Prawitz, D. (ed.) et al., Logic, methodology and philosophy of science IX. Proceedings of the ninth international congress of logic, methodology and philosophy of science, Uppsala, Sweden, August 7-14, 1991. Amsterdam: North-Holland. Stud. Logic Found. Math. 134, 179-198 (1994). Reviewer: Zheng Xizhong (Heidelberg) MSC: 03D25 06B99 PDFBibTeX XMLCite \textit{K. Ambos-Spies} et al., Stud. Logic Found. Math. 134, 179--198 (1994; Zbl 0819.03032)
Downey, Rodney G.; Lempp, Steffen There is no plus-capping degree. (English) Zbl 0806.03031 Arch. Math. Logic 33, No. 2, 109-119 (1994). Reviewer: Qian Lei (Nanjing) MSC: 03D25 03D30 PDFBibTeX XMLCite \textit{R. G. Downey} and \textit{S. Lempp}, Arch. Math. Logic 33, No. 2, 109--119 (1994; Zbl 0806.03031) Full Text: DOI
Ambos-Spies, Klaus; Lempp, Steffen; Lerman, Manuel Lattice embeddings into the r.e. degrees preserving 0 and 1. (English) Zbl 0808.03027 J. Lond. Math. Soc., II. Ser. 49, No. 1, 1-15 (1994). Reviewer: R.Sh.Omanadze (Tbilisi) MSC: 03D25 06D05 PDFBibTeX XMLCite \textit{K. Ambos-Spies} et al., J. Lond. Math. Soc., II. Ser. 49, No. 1, 1--15 (1994; Zbl 0808.03027) Full Text: DOI
Lempp, S.; Lerman, M.; Weber, F. Minimal pair constructions and iterated trees of strategies. (English) Zbl 0819.03033 Crossley, John N. (ed.) et al., Logical methods. In honor of Anil Nerode’s 60th birthday. Basel: Birkhäuser. Prog. Comput. Sci. Appl. Log. 12, 512-554 (1993). Reviewer: Zheng Xizhong (Heidelberg) MSC: 03D25 PDFBibTeX XMLCite \textit{S. Lempp} et al., Prog. Comput. Sci. Appl. Log. 12, 512--554 (1993; Zbl 0819.03033)
Downey, Rodney G.; Lempp, Steffen; Shore, Richard A. Highness and bounding minimal pairs. (English) Zbl 0809.03029 Math. Log. Q. 39, No. 4, 475-491 (1993). Reviewer: L.Harkleroad (Ithaca) MSC: 03D25 PDFBibTeX XMLCite \textit{R. G. Downey} et al., Math. Log. Q. 39, No. 4, 475--491 (1993; Zbl 0809.03029) Full Text: DOI
Lempp, Steffen; Lerman, Manuel The existential theory of the poset of r.e. degrees with a predicate for single jump reducibility. (English) Zbl 0764.03014 J. Symb. Log. 57, No. 3, 1120-1130 (1992). Reviewer: S.Lempp (Madison) MSC: 03D25 06A06 PDFBibTeX XMLCite \textit{S. Lempp} and \textit{M. Lerman}, J. Symb. Log. 57, No. 3, 1120--1130 (1992; Zbl 0764.03014) Full Text: DOI