History and Foundations

HISTORY AND BIOGRAPHY

AMS: 01 All of this section
AMS: 01-XX Not classified at a more specific level

AMS: 01-00 General reference works
AMS: 01-01 Instructional expositions
AMS: 01-02 Research expositions
AMS: 01-06 Proceedings, conferences, etc.
AMS: 01A05 General histories, source books
AMS: 01A15 Indigenous cultures of Europe, pre-Greek
AMS: 01A20 Greek, Roman
AMS: 01A25 China
AMS: 01A30 Islam (Medieval)
AMS: 01A35 Medieval
AMS: 01A40 15th and 16th centuries, Renaissance
AMS: 01A45 17th century
AMS: 01A50 18th century
AMS: 01A55 19th century
AMS: 01A60 20th century
AMS: 01A70 Biographies, obituaries, personalia, bibliographies
AMS: 01A72 Schools of mathematics
AMS: 01A73 Universities
AMS: 01A75 Collected or selected works; reprinting or translations of classics
AMS: 01A80 Sociology (and profession) of mathematics
AMS: 01A99 Miscellaneous topics

MATHEMATICAL LOGIC AND FOUNDATIONS

AMS: 03 All of this section
AMS: 03-XX Not classified at a more specific level

AMS: 03-00 General reference works
AMS: 03-01 Instructional expositions
AMS: 03-02 Research expositions
AMS: 03-03 Historical
AMS: 03-06 Proceedings, conferences, etc.

AMS: 03A05 Philosophical and critical
AMS: 03Bxx General logic
AMS: 03B* (including sub-levels)
- AMS: 03B05 Classical propositional logic
- AMS: 03B10 Classical first order logic
- AMS: 03B15 Higher-order logic and type-theory
- AMS: 03B25 Decidability of theories and sets of sentences
- AMS: 03B30 Foundations and axiomatics of classical theories
- AMS: 03B35 Mechanization of proofs and logic operations
- AMS: 03B45 Modal and tense logic
- AMS: 03B48 Probability and inductive logic
- AMS: 03B52 Fuzzy logic
- AMS: 03B60 Other nonclassical logic
- AMS: 03B65 Logic of natural languages
- AMS: 03B70 Logic of programming
- AMS: 03B99 None of the above, but in this section
AMS: 03Cxx Model theory
AMS: 03C* (including sub-levels)
- AMS: 03C05 Equational classes, universal algebra
- AMS: 03C13 Finite structures
- AMS: 03C20 Ultraproducts and related constructions
- AMS: 03C35 Categoricity and completeness of theories
- AMS: 03C45 Stability and related concepts
- AMS: 03C55 Set-theoretic model theory
- AMS: 03C57 Recursion-theoretic model theory
- AMS: 03C60 Model-theoretic algebra
- AMS: 03C62 Models of arithmetic and set theory
- AMS: 03C80 Logic with extra quantifiers and operators
- AMS: 03C99 None of the above, but in this section
AMS: 03Dxx Recursion theory
AMS: 03D* (including sub-levels)
- AMS: 03D05 Automata and formal grammars in connection with logical questions
- AMS: 03D10 Turing machines and related notions
- AMS: 03D15 Complexity of computation
- AMS: 03D20 Recursive functions and relations, subrecursive hierachies
- AMS: 03D25 Recursively enumerable sets and degrees
- AMS: 03D30 Other degrees; reducibilities
- AMS: 03D35 Undecidability and degrees of sets of sentences
- AMS: 03D40 Word problems, etc.
- AMS: 03D45 Theory of numeration, effectively presented structures
- AMS: 03D60 Recursion theory on ordinals, admissible sets, etc
- AMS: 03D75 Abstract and axiomatic recursion theory
- AMS: 03D80 Applications of recursion theory
AMS: 03Exx Set theory
AMS: 03E* (including sub-levels)
- AMS: 03E05 Combinatorial set theory
- AMS: 03E10 Ordinal and cardinal numbers
- AMS: 03E15 Descriptive set theory
- AMS: 03E20 Other classical set theory
- AMS: 03E25 Axiom of choice and related propositions
- AMS: 03E30 Axiomatics of classical set theory and its fragments
- AMS: 03E35 Consistency and independence results
- AMS: 03E40 Other aspects of forcing and Boolean-valued models
- AMS: 03E45 Construcibility, ordinal definability, and related notions
- AMS: 03E47 Other notions of set-theoretic definability
- AMS: 03E50 Continuum hypothesis and Martin's axiom
- AMS: 03E55 Large cardinals
- AMS: 03E60 Determinacy and related principles which contradict the axiom of choice
- AMS: 03E70 Nonclassical and second-order set theories
- AMS: 03E72 Fuzzy sets
- AMS: 03E99 None of the above, but in this section
AMS: 03Fxx Proof theory and contructive mathematics
AMS: 03F* (including sub-levels)
- AMS: 03F20 Complexity of proofs
- AMS: 03F30 First-order arithmetic and fragments
- AMS: 03F35 Second- and higher-order arithmetic and fragments
- AMS: 03F50 Metamathematics of constructive systems
- AMS: 03F55 Intuitionistic mathematics
- AMS: 03F60 Constructive and recursive analysis
- AMS: 03F65 Other constructive mathematics
- AMS: 03F99 None of the above, but in this section
AMS: 03Gxx Algebraic logic
AMS: 03G* (including sub-levels)
- AMS: 03G05 Boolean algebras
- AMS: 03G10 Lattices and related structures
- AMS: 03G12 Quantum logic
- AMS: 03G15 Cylindric and polyadic algebras; relation algebras
- AMS: 03G20 Lukasiewicz and Post algebras
- AMS: 03G25 Other algebras related to logic
- AMS: 03G30 Categorical logic, topoi
- AMS: 03G99 None of the above, but in this section
AMS: 03Hxx Nonstandard models
AMS: 03H* (including sub-levels)
- AMS: 03H05 Nonstandard models in mathematics
- AMS: 03H15 Nonstandard models of arithmetic

SET THEORY

AMS: 04 All of this section
AMS: 04-XX Not classified at a more specific level

AMS: 04-01 Instructional expositions
AMS: 04-02 Advanced exposition
AMS: 04-03 Historical
AMS: 04-06 Proceedings, conferences etc.
AMS: 04A10 Ordinal and cardinal numbers; generalizations
AMS: 04A15 Descriptive set theory; Borel classifications, Suslin schemes, etc.
AMS: 04A20 Combinatorial set theory
AMS: 04A25 Axiom of choice and equivalent propositions (Zorn's lemma, etc.)
AMS: 04A30 Continuum hypothesis, generalized continuum hypothesis
AMS: 04A40 ???
AMS: 04A72 Fuzzy sets, fuzzy relations