S. var en av pionjärerna i den matematiska logikens utveckling och upphovsman till flera grundläggande resultat i modellteori (t.ex. Löwenheims-Skolems teorem; se modellteori), axiomatisk mängdteori och rekursionsteori.