List of mathematical logic topics

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Clicking on related changes shows a list of most-recent edits of articles to which this page links. This page links to itself in order that recent changes to this page will also be included in related changes.

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.

Working foundations[edit]

Model theory[edit]

Set theory[edit]

Descriptive set theory[edit]

Large cardinals[edit]

Recursion theory[edit]

Proof theory[edit]

Mathematical constructivism[edit]

Modal logic[edit]

Theorem provers[edit]

Discovery systems[edit]


See also[edit]