scientific article
From MaRDI portal
Publication:3905266
zbMath0457.03041MaRDI QIDQ3905266
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
embeddingautomorphismsdecidabilityisomorphismdefinabilityTuring reducibilityelementary equivalencefirst order theoriessecond order arithmeticjump operator
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other degrees and reducibilities in computability and recursion theory (03D30)
Related Items
Characterizing strong randomness via Martin-Löf randomness ⋮ On the complexity-relativized strong reducibilities