Category: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 33 subcategories, out of 33 total.

*

Computability theory‎ (10 C, 100 P)
Model theory‎ (3 C, 115 P)
Proof theory‎ (7 C, 95 P)
Set theory‎ (18 C, 153 P)

M

Modal logic‎ (6 C, 47 P)

O

Mathematical logic organizations‎ (5 P)

P

Predicate logic‎ (2 C, 36 P)

Q

Quantifier (logic)‎ (19 P)

R

Recursion‎ (4 C, 40 P)

S

Substitution (logic)‎ (3 P)

T

Theorems in the foundations of mathematics‎ (1 C, 53 P)
Type theory‎ (4 C, 113 P)

Σ

Mathematical logic stubs‎ (2 C, 108 P)

Pages in category "Mathematical logic"

The following 200 pages are in this category, out of approximately 203 total. This list may not reflect recent changes.

(previous page) (next page)

A

B

C

D

E

F

G

H

I

K

L

M

N

O

P

Q

Quantum logic

R

T

U

V

(previous page) (next page)