On the role of the collection principle for ∑2 0 -formulas in second-order reverse mathematics

by Chong, C.T., Lempp, S., Yang, Y.
Published 2014

Reductions between types of numberings

by Herbert I., Jain S., Lempp S., Mustafa M., Stephan F.
Published 2020

Computable linear orders and products

by Frolov, Andrey N., Lempp, Steffen, Ng, Keng Meng, Wu, Guohua
Published 2021

On cupping and Ahmad pairs

by Kalimullin, Iskander Sh., Lempp, Steffen, Ng, Keng Meng, Yamaleev, Mars M.
Published 2023