1 paper · 1 filter
Simon Santschi, Niels C. Vooijs
We complete Maksimova's classification of the normal extensions of S4 with interpolation. In particular, we prove Craig interpolation for the six extensions of S4 for which Craig i…