Open main menu

List of mathematical logic topics

This is a list of mathematical logic topics, by Wikipedia page.

For traditional syllogistic logic, see the list of topics in logic. See also the list of computability and complexity topics for more theory of algorithms.

Contents

Working foundationsEdit

Model theoryEdit

Set theoryEdit

Descriptive set theoryEdit

Large cardinalsEdit

Recursion theoryEdit

Proof theoryEdit

Mathematical constructivismEdit

Modal logicEdit

Theorem proversEdit

Discovery systemsEdit

HistoricalEdit

See alsoEdit