×
Toggle navigation
About
FAQ
Reviewer Service
Contact
Preferences
Hits per Page
10
20
50
100 (default)
200
Display Format
MathJax (default)
LaTeX
Documents Sorting
Newest first (default)
Citations
Relevance
Authors Sorting
Alphabetically (default)
Citations
Serials Sorting
Alphabetically (default)
Citations
Software Sorting
Citations (default)
Alphabetically
OK
Documents
Authors
Serials
Software
Classification
Formulæ
Search
Fields
any:
anywhere (default)
cc:
classification code
ct:
classification text
Operators
a
&
b
logical and (default)
a
|
b
logical or
!
ab
logical not
abc
*
right wildcard
"
ab c
"
phrase
(
ab c
)
parentheses
Help
Examples
Geometry
Search for the term
Geometry
in
any
field. Queries are
case-independent
.
Fields
any
anywhere
cc
classification code
ct
classification text
Operators
a
&
b
logical and
abc
*
right wildcard
a
|
b
logical or
"
ab c
"
phrase
!
ab
logical not
(
ab c
)
parentheses
Mathematics Subject Classification – MSC2020
03-XX
Mathematical logic and foundations
125689
03Cxx
Model theory
16025
03C05
Equational classes, universal algebra in model theory
[See also
08Axx
,
08Bxx
,
18C05
]
1023
03C07
Basic properties of first-order languages and structures
632
03C10
Quantifier elimination, model completeness, and related topics
1004
03C13
Model theory of finite structures
[See also
68Q15
,
68Q19
]
1031
03C15
Model theory of denumerable and separable structures
620
03C20
Ultraproducts and related constructions
651
03C25
Model-theoretic forcing
212
03C30
Other model constructions
373
03C35
Categoricity and completeness of theories
1243
03C40
Interpolation, preservation, definability
899
03C45
Classification theory, stability, and related concepts in model theory
[See also
03C48
]
2032
03C48
Abstract elementary classes and related topics
[See also
03C45
]
139
03C50
Models with special properties (saturated, rigid, etc.)
693
03C52
Properties of classes of models
436
03C55
Set-theoretic model theory
318
03C57
Computable structure theory, computable model theory
[See also
03D45
]
1111
03C60
Model-theoretic algebra
[See also
08C10
,
12Lxx
,
13L05
]
3344
03C62
Models of arithmetic and set theory
[See also
03Hxx
]
784
03C64
Model theory of ordered structures; o-minimality
990
03C65
Models of other mathematical theories
530
03C66
Continuous model theory, model theory of metric structures
62
03C68
Other classical first-order model theory
655
03C70
Logic on admissible sets
139
03C75
Other infinitary logic
658
03C80
Logic with extra quantifiers and operators
[See also
03B42
,
03B44
,
03B45
,
03B48
]
876
03C85
Second- and higher-order model theory
253
03C90
Nonclassical models (Boolean-valued, sheaf, etc.)
477
03C95
Abstract model theory
332
03C98
Applications of model theory
[See also
03C60
]
400
03C99
None of the above, but in this section
784
Overview
00
General and overarching topics; collections
01
History and biography
03
Mathematical logic and foundations
05
Combinatorics
06
Order, lattices, ordered algebraic structures
08
General algebraic systems
11
Number theory
12
Field theory and polynomials
13
Commutative algebra
14
Algebraic geometry
15
Linear and multilinear algebra; matrix theory
16
Associative rings and algebras
17
Nonassociative rings and algebras
18
Category theory; homological algebra
19
\(K\)-theory
20
Group theory and generalizations
22
Topological groups, Lie groups
26
Real functions
28
Measure and integration
30
Functions of a complex variable
31
Potential theory
32
Several complex variables and analytic spaces
33
Special functions
34
Ordinary differential equations
35
Partial differential equations
37
Dynamical systems and ergodic theory
39
Difference and functional equations
40
Sequences, series, summability
41
Approximations and expansions
42
Harmonic analysis on Euclidean spaces
43
Abstract harmonic analysis
44
Integral transforms, operational calculus
45
Integral equations
46
Functional analysis
47
Operator theory
49
Calculus of variations and optimal control; optimization
51
Geometry
52
Convex and discrete geometry
53
Differential geometry
54
General topology
55
Algebraic topology
57
Manifolds and cell complexes
58
Global analysis, analysis on manifolds
60
Probability theory and stochastic processes
62
Statistics
65
Numerical analysis
68
Computer science
70
Mechanics of particles and systems
74
Mechanics of deformable solids
76
Fluid mechanics
78
Optics, electromagnetic theory
80
Classical thermodynamics, heat transfer
81
Quantum theory
82
Statistical mechanics, structure of matter
83
Relativity and gravitational theory
85
Astronomy and astrophysics
86
Geophysics
90
Operations research, mathematical programming
91
Game theory, economics, finance, and other social and behavioral sciences
92
Biology and other natural sciences
93
Systems theory; control
94
Information and communication theory, circuits
97
Mathematics education
© 2023
FIZ Karlsruhe GmbH
Privacy Policy
Legal Notices
Terms & Conditions
(opens in new tab)