The limits of determinacy in second order arithmetic: consistency and complexity strength

From MaRDI portal
Publication:480816