Author/Creator: LEMPP, STEFFEN - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator LEMPP, STEFFEN

1. COMPUTABILITY AND UNCOUNTABLE LINEAR ORDERS I: COMPUTABLE CATEGORICITY. (13th March 2015)

Authors:: GREENBERG, NOAM; KACH, ASHER M.; LEMPP, STEFFEN; TURETSKY, DANIEL D.
Journal:: Journal of symbolic logic
Issue:: Volume 80:Number 1(2015)
Page Start:: 116
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. COMPUTABILITY AND UNCOUNTABLE LINEAR ORDERS II: DEGREE SPECTRA. (13th March 2015)

Authors:: GREENBERG, NOAM; KACH, ASHER M.; LEMPP, STEFFEN; TURETSKY, DANIEL D.
Journal:: Journal of symbolic logic
Issue:: Volume 80:Number 1(2015)
Page Start:: 145
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. COMPUTABLE LINEAR ORDERS AND PRODUCTS. (20th June 2020)

Authors:: FROLOV, ANDREY N.; LEMPP, STEFFEN; NG, KENG MENG; WU, GUOHUA
Journal:: Journal of symbolic logic
Issue:: Volume 85:Number 2(2020)
Page Start:: 605
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

4. THE COMPLEMENTS OF LOWER CONES OF DEGREES AND THE DEGREE SPECTRA OF STRUCTURES. (15th August 2016)

Authors:: ANDREWS, URI; CAI, MINGZHONG; KALIMULLIN, ISKANDER SH.; LEMPP, STEFFEN; MILLER, JOSEPH S.; MONTALBÁN, ANTONIO
Journal:: Journal of symbolic logic
Issue:: Volume 81:Number 3(2016)
Page Start:: 997
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

5. UNIVERSAL COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS. (17th April 2014)

Authors:: ANDREWS, URI; LEMPP, STEFFEN; MILLER, JOSEPH S.; NG, KENG MENG; MAURO, LUCA SAN; SORBI, ANDREA
Journal:: Journal of symbolic logic
Issue:: Volume 79:Number 1(2014)
Page Start:: 60
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗