Category:Mathematical logic
Wikimedia Commons has media related to Mathematical logic.
Mathematical logic is the study of formal logic within mathematics. Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power.
Mathematical logic is divided into four parts:
- Model theory
- Proof theory
- Recursion theory, also known as computability theory
- Set theory
The divisions between these areas, along with the divisions between mathematical logic and the rest of mathematics, are not completely sharp, with many areas of research and methods overlapping and reinforcing each other.
Subcategories
This category has the following 34 subcategories, out of 34 total.
Next items are not visible in browsers without Javascript
C
L
Next items are not visible in browsers without Javascript
Pages in category "Mathematical logic"
The following 200 pages are in this category, out of 205 total.
Next items are not visible in browsers without Javascript(previous page) (next page)
A
B
C
- Cantor's paradox
- Cartesian monoid
- Categorical theory
- Class logic
- Coherent space
- Cointerpretability
- Compactness theorem
- Complete theory
- Completeness (logic)
- Conjunction/disjunction duality
- Conservative extension
- Continuous predicate
- Contraposition
- Converse relation
- Counting
- Craig interpolation
- Curry's paradox
- Cyclic negation
D
E
- Elementary definition
- Elementary equivalence
- Elementary theory
- Elementary theory of abstract categories
- End extension
- Entscheidungsproblem
- Enumeration
- Enumeration reducibility
- Equality (mathematics)
- Equational logic
- Equiconsistency
- Extender (set theory)
- Extension by definition
- Extension by new constant and function names
- Extensions of First Order Logic
F
G
H
I
L
M
O
P
R
S
- S2S (mathematics)
- Saturated model
- Schröder–Bernstein property
- Semantic theory of truth
- Semantics (logic)
- Semicomputable function
- Semilinear set
- Sentence (mathematical logic)
- Signature (logic)
- Simplification of disjunctive antecedents
- Situation theory
- Slicing the Truth
- Solèr's theorem
- Special case
- List of statements independent of ZFC
- Stratification (mathematics)
- Strength (mathematical logic)
- Structural induction
- Structuralism (philosophy of mathematics)
- Structure (mathematical logic)
- Subitizing
- Substructure (mathematics)
- Successor function
- Superposition calculus
- Surreal number
- Glossary of mathematical symbols
T
Next items are not visible in browsers without Javascript(previous page) (next page)
This category content has been reduced to only pages contained in the ZIM file.