El principal interés de Shelah radica en lógica matemática, en particular en la teoría de modelos y la teoría de conjuntos.