03 Mathematical logic and foundations
03Exx Set theory (3 articles)

03E45 Inner models, including constructibility, ordinal definability, and core models (9 articles)

Partner of
EuDML logo