List of mathematical logic topics

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.


Working foundations

Model theory

Set theory

Descriptive set theory

Large cardinals

Recursion theory

Proof theory

Mathematical constructivism

Modal logic

Theorem provers

Discovery systems


See also

Wikimedia Foundation. 2010.

Look at other dictionaries:

  • List of set theory topics — Logic portal Set theory portal …   Wikipedia

  • List of Boolean algebra topics — This is a list of topics around Boolean algebra and propositional logic. Contents 1 Articles with a wide scope and introductions 2 Boolean functions and connectives 3 Examples of Boolean algebras …   Wikipedia

  • List of basic mathematics topics — Mathematics is the search for fundamental truths in pattern, quantity, and change. For more on the relationship between mathematics and science, refer to the article on science. The following outline is provided as an overview of and introduction …   Wikipedia

  • List of abstract algebra topics — Abstract algebra is the subject area of mathematics that studies algebraic structures, such as groups, rings, fields, modules, vector spaces, and algebras. The phrase abstract algebra was coined at the turn of the 20th century to distinguish this …   Wikipedia

  • List of order theory topics — Order theory is a branch of mathematics that studies various kinds of binary relations that capture the intuitive notion of ordering, providing a framework for saying when one thing is less than or precedes another. An alphabetical list of many… …   Wikipedia

  • List of functional programming topics — This is a list of functional programming topics. Contents 1 Foundational concepts 2 Lambda calculus 3 Combinatory logic 4 Intuitionistic logic …   Wikipedia

  • List of functional analysis topics — This is a list of functional analysis topics, by Wikipedia page. Contents 1 Hilbert space 2 Functional analysis, classic results 3 Operator theory 4 Banach space examples …   Wikipedia

  • List of knot theory topics — Knot theory is the study of mathematical knots. While inspired by knots which appear in daily life in shoelaces and rope, a mathematician s knot differs in that the ends are joined together so that it cannot be undone. In precise mathematical… …   Wikipedia

  • Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… …   Wikipedia

  • List of mathematical topics in quantum theory — This is a list of mathematical topics in quantum theory, by Wikipedia page. See also list of functional analysis topics, list of Lie group topics, list of quantum mechanical systems with analytical solutions. Contents 1 Mathematical formulation… …   Wikipedia