03-00 General reference works (handbooks, dictionaries, bibliographies, etc.) ( 0 Dok.)

• 03-01 Instructional exposition (textbooks, tutorial papers, etc.) ( 0 Dok.)
• 03-02 Research exposition (monographs, survey articles) ( 0 Dok.)
• 03-03 Historical (must also be assigned at least one classification number from Section 01) ( 0 Dok.)
• 03-04 Explicit machine computation and programs (not the theory of computation or programming) ( 0 Dok.)
• 03-06 Proceedings, conferences, collections, etc. ( 0 Dok.)
• 03-XX Mathematical logic and foundations ( 0 Dok.)
• 03A05 Philosophical and critical ( 0 Dok.)
• 03B05 Classical propositional logic ( 0 Dok.)
• 03B10 Classical first-order logic ( 0 Dok.)
• 03B15 Higher-order logic and type theory ( 0 Dok.)
• 03B20 Subsystems of classical logic (including intuitionistic logic) ( 0 Dok.)
• 03B22 Abstract deductive systems ( 0 Dok.)
• 03B25 Decidability of theories and sets of sentences ( 0 Dok.)
• 03B30 Foundations of classical theories (including reverse mathematics) ( 0 Dok.)
• 03B35 Mechanization of proofs and logical operations ( 0 Dok.)
• 03B40 Combinatory logic and lambda-calculus ( 0 Dok.)
• 03B42 Logic of knowledge and belief ( 0 Dok.)
• 03B44 Temporal logic ( 0 Dok.)
• 03B45 Modal logic ( 0 Dok.)
• 03B47 Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) ( 0 Dok.)
• 03B48 Probability and inductive logic ( 0 Dok.)
• 03B50 Many-valued logic ( 0 Dok.)
• 03B52 Fuzzy logic; logic of vagueness ( 0 Dok.)
• 03B53 Logics admitting inconsistency (paraconsistent logics, discussive logics, etc.) ( 0 Dok.)
• 03B55 Intermediate logics ( 0 Dok.)
• 03B60 Other nonclassical logic ( 0 Dok.)
• 03B65 Logic of natural languages ( 0 Dok.)
• 03B70 Logic in computer science ( 0 Dok.)
• 03B80 Other applications of logic ( 0 Dok.)
• 03B99 None of the above, but in this section ( 0 Dok.)
• 03Bxx General logic ( 0 Dok. )
• 03C05 Equational classes, universal algebra ( 0 Dok.)
• 03C07 Basic properties of first-order languages and structures ( 0 Dok.)
• 03C10 Quantifier elimination, model completeness and related topics ( 0 Dok.)
• 03C13 Finite structures ( 0 Dok.)
• 03C15 Denumerable structures ( 0 Dok.)
• 03C20 Ultraproducts and related constructions ( 0 Dok.)
• 03C25 Model-theoretic forcing ( 0 Dok.)
• 03C30 Other model constructions ( 0 Dok.)
• 03C35 Categoricity and completeness of theories ( 0 Dok.)
• 03C40 Interpolation, preservation, definability ( 0 Dok.)
• 03C45 Classification theory, stability and related concepts ( 0 Dok.)
• 03C50 Models with special properties (saturated, rigid, etc.) ( 0 Dok.)
• 03C52 Properties of classes of models ( 0 Dok.)
• 03C55 Set-theoretic model theory ( 0 Dok.)
• 03C57 Effective and recursion-theoretic model theory ( 0 Dok.)
• 03C60 Model-theoretic algebra ( 0 Dok.)
• 03C62 Models of arithmetic and set theory ( 0 Dok.)
• 03C64 Model theory of ordered structures; o-minimality ( 0 Dok.)
• 03C65 Models of other mathematical theories ( 0 Dok.)
• 03C68 Other classical first-order model theory ( 0 Dok.)
• 03C70 Logic on admissible sets ( 0 Dok.)
• 03C75 Other infinitary logic ( 0 Dok.)
• 03C80 Logic with extra quantifiers and operators ( 0 Dok.)
• 03C85 Second- and higher-order model theory ( 0 Dok.)
• 03C90 Nonclassical models (Boolean-valued, sheaf, etc.) ( 0 Dok.)
• 03C95 Abstract model theory ( 0 Dok.)
• 03C98 Applications of model theory ( 0 Dok.)
• 03C99 None of the above, but in this section ( 0 Dok.)
• 03Cxx Model theory ( 0 Dok. )
• 03D03 Thue and Post systems, etc. ( 0 Dok.)
• 03D05 Automata and formal grammars in connection with logical questions ( 0 Dok.)
• 03D10 Turing machines and related notions ( 0 Dok.)
• 03D15 Complexity of computation ( 0 Dok.)
• 03D20 Recursive functions and relations, subrecursive hierarchies ( 0 Dok.)
• 03D25 Recursively (computably) enumerable sets and degrees ( 0 Dok.)
• 03D28 Other Turing degree structures ( 0 Dok.)
• 03D30 Other degrees and reducibilities ( 0 Dok.)
• 03D35 Undecidability and degrees of sets of sentences ( 0 Dok.)
• 03D40 Word problems, etc. ( 0 Dok.)
• 03D45 Theory of numerations, effectively presented structures ( 0 Dok.)
• 03D50 Recursive equivalence types of sets and structures, isols ( 0 Dok.)
• 03D55 Hierarchies ( 0 Dok.)
• 03D60 Computability and recursion theory on ordinals, admissible sets, etc. ( 0 Dok.)
• 03D65 Higher-type and set recursion theory ( 0 Dok.)
• 03D70 Inductive definability ( 0 Dok.)
• 03D75 Abstract and axiomatic computability and recursion theory ( 0 Dok.)
• 03D80 Applications of computability and recursion theory ( 0 Dok.)
• 03D99 None of the above, but in this section ( 0 Dok.)
• 03Dxx Computability and recursion theory ( 0 Dok. )
• 03E02 Partition relations ( 0 Dok.)
• 03E04 Ordered sets and their cofinalities; pcf theory ( 0 Dok.)
• 03E05 Other combinatorial set theory ( 0 Dok.)
• 03E10 Ordinal and cardinal numbers ( 0 Dok.)
• 03E15 Descriptive set theory ( 0 Dok.)
• 03E17 Cardinal characteristics of the continuum ( 0 Dok.)
• 03E20 Other classical set theory (including functions, relations, and set algebra) ( 0 Dok.)
• 03E25 Axiom of choice and related propositions ( 0 Dok.)
• 03E30 Axiomatics of classical set theory and its fragments ( 0 Dok.)
• 03E35 Consistency and independence results ( 0 Dok.)
• 03E40 Other aspects of forcing and Boolean-valued models ( 0 Dok.)
• 03E45 Inner models, including constructibility, ordinal definability, and core models ( 0 Dok.)
• 03E47 Other notions of set-theoretic definability ( 0 Dok.)
• 03E50 Continuum hypothesis and Martin's axiom ( 0 Dok.)
• 03E55 Large cardinals ( 0 Dok.)
• 03E60 Determinacy principles ( 0 Dok.)
• 03E65 Other hypotheses and axioms ( 0 Dok.)
• 03E70 Nonclassical and second-order set theories ( 0 Dok.)
• 03E72 Fuzzy set theory ( 0 Dok.)
• 03E75 Applications of set theory ( 0 Dok.)
• 03E99 None of the above, but in this section ( 0 Dok.)
• 03Exx Set theory ( 0 Dok. )
• 03F03 Proof theory, general ( 0 Dok.)
• 03F05 Cut-elimination and normal-form theorems ( 0 Dok.)
• 03F07 Structure of proofs ( 0 Dok.)
• 03F10 Functionals in proof theory ( 0 Dok.)
• 03F15 Recursive ordinals and ordinal notations ( 0 Dok.)
• 03F20 Complexity of proofs ( 0 Dok.)
• 03F25 Relative consistency and interpretations ( 0 Dok.)
• 03F30 First-order arithmetic and fragments ( 0 Dok.)
• 03F35 Second- and higher-order arithmetic and fragments ( 0 Dok.)
• 03F40 Gödel numberings in proof theory ( 0 Dok.)
• 03F45 Provability logics and related algebras (e.g., diagonalizable algebras) ( 0 Dok.)
• 03F50 Metamathematics of constructive systems ( 0 Dok.)
• 03F52 Linear logic and other substructural logics ( 0 Dok.)
• 03F55 Intuitionistic mathematics ( 0 Dok.)
• 03F60 Constructive and recursive analysis ( 0 Dok.)
• 03F65 Other constructive mathematics ( 0 Dok.)
• 03F99 None of the above, but in this section ( 0 Dok.)
• 03Fxx Proof theory and constructive mathematics ( 0 Dok. )
• 03G05 Boolean algebras ( 0 Dok.)
• 03G10 Lattices and related structures ( 0 Dok.)
• 03G12 Quantum logic ( 0 Dok.)
• 03G15 Cylindric and polyadic algebras; relation algebras ( 0 Dok.)
• 03G20 Lukasiewicz and Post algebras ( 0 Dok.)
• 03G25 Other algebras related to logic ( 0 Dok.)
• 03G30 Categorical logic, topoi ( 0 Dok.)
• 03G99 None of the above, but in this section ( 0 Dok.)
• 03Gxx Algebraic logic ( 0 Dok. )
• 03H05 Nonstandard models in mathematics ( 0 Dok.)
• 03H10 Other applications of nonstandard models (economics, physics, etc.) ( 0 Dok.)
• 03H15 Nonstandard models of arithmetic Other nonstandard models ( 0 Dok.)
• 03H99 None of the above, but in this section ( 0 Dok.)
• 03Hxx Nonstandard models ( 0 Dok. )

---

Home | Suchen | Veröffentlichen

---

 Sie benötigen weitere Informationen? Fragen Sie uns!

---

Letzte Änderung: 14.07.10