03-XX |
|
|
Mathematical logic and foundations |
|
03Exx |
|
Set theory |
|
|
03E02 |
Partition relations |
|
|
03E04 |
Ordered sets and their cofinalities; pcf theory |
|
|
03E05 |
Other combinatorial set theory |
|
|
03E10 |
Ordinal and cardinal numbers |
|
|
03E15 |
Descriptive set theory [See also 28A05, 54H05] |
|
|
03E17 |
Cardinal characteristics of the continuum |
|
|
03E20 |
Other classical set theory (including functions, relations, and set algebra) |
|
|
03E25 |
Axiom of choice and related propositions |
|
|
03E30 |
Axiomatics of classical set theory and its fragments |
|
|
03E35 |
Consistency and independence results |
|
|
03E40 |
Other aspects of forcing and Boolean-valued models |
|
|
03E45 |
Inner models, including constructibility, ordinal definability, and core models |
|
|
03E47 |
Other notions of set-theoretic definability |
|
|
03E50 |
Continuum hypothesis and Martin's axiom [See also 03E57] |
|
|
03E55 |
Large cardinals |
|
|
03E57 |
Generic absoluteness and forcing axioms [See also 03E50] |
|
|
03E60 |
Determinacy principles |
|
|
03E65 |
Other set-theoretic hypotheses and axioms |
|
|
03E70 |
Nonclassical and second-order set theories |
|
|
03E72 |
Theory of fuzzy sets, etc. |
|
|
03E75 |
Applications of set theory |
|
|
03E99 |
None of the above, but in this section |