|
03-XX - Mathematical logic and foundations [MSC 2020] |
03E05 - Other combinatorial set theory [MSC 2020] |
03E15 - Descriptive set theory [MSC 2020] |
03E35 - Consistency and independence results [MSC 2020] |
03E40 - Other aspects of forcing and Boolean-valued models [MSC 2020] |
03E45 - Inner models, including constructibility, ordinal definability, and core models [MSC 2020] |
03E50 - Continuum hypothesis and Martin's axiom [MSC 2020] |
03E55 - Large cardinals [MSC 2020] |
03E60 - Determinacy principles [MSC 2020] |
03Exx - Set theory [MSC 2020] |