×
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
131211
03Cxx
Model theory
17335
03C05
Equational classes, universal algebra in model theory
[See also
08Axx
,
08Bxx
,
18C05
]
1071
03C07
Basic properties of first-order languages and structures
669
03C10
Quantifier elimination, model completeness, and related topics
1116
03C13
Model theory of finite structures
[See also
68Q15
,
68Q19
]
1120
03C15
Model theory of denumerable and separable structures
678
03C20
Ultraproducts and related constructions
736
03C25
Model-theoretic forcing
223
03C30
Other model constructions
409
03C35
Categoricity and completeness of theories
1281
03C40
Interpolation, preservation, definability
948
03C45
Classification theory, stability, and related concepts in model theory
[See also
03C48
]
2284
03C48
Abstract elementary classes and related topics
[See also
03C45
]
180
03C50
Models with special properties (saturated, rigid, etc.)
756
03C52
Properties of classes of models
489
03C55
Set-theoretic model theory
368
03C57
Computable structure theory, computable model theory
[See also
03D45
]
1164
03C60
Model-theoretic algebra
[See also
08C10
,
12Lxx
,
13L05
]
3575
03C62
Models of arithmetic and set theory
[See also
03Hxx
]
841
03C64
Model theory of ordered structures; o-minimality
1162
03C65
Models of other mathematical theories
581
03C66
Continuous model theory, model theory of metric structures
102
03C68
Other classical first-order model theory
670
03C70
Logic on admissible sets
145
03C75
Other infinitary logic
701
03C80
Logic with extra quantifiers and operators
[See also
03B42
,
03B44
,
03B45
,
03B48
]
898
03C85
Second- and higher-order model theory
273
03C90
Nonclassical models (Boolean-valued, sheaf, etc.)
500
03C95
Abstract model theory
370
03C98
Applications of model theory
[See also
03C60
]
509
03C99
None of the above, but in this section
799
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
© 2024
FIZ Karlsruhe GmbH
Privacy Policy
Legal Notices
Terms & Conditions
(opens in new tab)