Publication:4982457

From MaRDI portal


zbMath1358.03075MaRDI QIDQ4982457

Juan Carlos Martínez

Publication date: 9 April 2015



03E35: Consistency and independence results

03E45: Inner models, including constructibility, ordinal definability, and core models

03E55: Large cardinals

06E25: Boolean algebras with additional operations (diagonalizable algebras, etc.)