Igor GorbunovDmitry Shkatov2024-09-262024-09-26WOS0168-0072https://hdl.handle.net/10539/41124Extensions of Solovays system S without independent sets of axiomsJournal Article