MSCMSC
- [+]00-XXGeneral
- [-]01XXXHistory and Foundations
- [+]06XXXAlgebra
- [+]26XXXAnalysis
- [+]5XXXXGeometry and Topology
- [+]60XXXProbability and Statistics
- [+]65-XXNumerical analysis
- [+]68-XXComputer science
- [+]7XXXXApplications
- [+]97-XXMathematics education
- 03-XXAllgemeines und Nachschlagewerke
- 03-00General reference works (handbooks, dictionaries, bibliographies, etc.)
- 03-01Instructional exposition (textbooks, tutorial papers, etc.)
- 03-02Research exposition (monographs, survey articles)
- 03-03Historical
- 03-04Explicit machine computation and programs
- 03-06Proceedings, conferences, collections, etc.
- 03A05Philosophical and critical
- [+]03BXXGeneral logic
- [-]03CXXModel theory
- [+]03DXXComputability and recursion theory
- [+]03EXXSet theory
- [+]03FXXProof theory and constructive mathematics
- [+]03GXXAlgebraic logic
- [+]03HXXNonstandard models
- 03C05Equational classes, universal algebra
- 03C07Basic properties of first-order languages and structures
- 03C10Quantifier elimination, model completeness and related topics
- 03C13Finite structures
- 03C15Denumerable structures
- 03C20Ultraproducts and related constructions
- 03C25Model-theoretic forcing
- 03C30Other model constructions
- 03C35Categoricity and completeness of theories
- 03C40Interpolation, preservation, definability
- 03C45Classification theory, stability and related concepts
- 03C50Models with special properties (saturated, rigid, etc.)
- 03C52Properties of classes of models
- 03C55Set-theoretic model theory
- 03C57Effective and recursion-theoretic model theory
- 03C60Model-theoretic algebra
- 03C62Models of arithmetic and set theory
- 03C64Model theory of ordered structures; o-minimality
- 03C65Models of other mathematical theories
- 03C68Other classical first-order model theory
- 03C70Logic on admissible sets
- 03C75Other infinitary logic
- 03C80Logic with extra quantifiers and operators
- 03C85Second- and higher-order model theory
- 03C90Nonclassical models (Boolean-valued, sheaf, etc.)
- 03C95Abstract model theory
- 03C98Applications of model theory
- 03C99None of the above, but in this section
Ihr Browser scheint kein JavaScript zu unterstützen. Ohne JavaScript kann es bei Anfragen mit vielen Ergebnissen eine Minute dauern, bis alle Ergebnisse verfügbar sind. Wir empfehlen daher, für die Suchfunktion JavaScript zu aktivieren.
Es gab keine Suchergebnisse für Ihre Anfrage.