Extensions of Solovays system S without independent sets of axioms - Igor Gorbunov; Dmitry Shkatov (ELSEVIER SCIENCE BV, 2024)