World Library  
Flag as Inappropriate
Email this Article

List of mathematical logic topics

Article Id: WHEBN0000346167
Reproduction Date:

Title: List of mathematical logic topics  
Author: World Heritage Encyclopedia
Language: English
Subject: Mathematical logic, Index of logic articles, Logic, Outline of logic, Loosely associated statements
Collection: Mathematical Logic, Mathematics-Related Lists, Outlines
Publisher: World Heritage Encyclopedia
Publication
Date:
 

List of mathematical logic topics

This is a list of mathematical logic topics, by WorldHeritage 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 foundations 1
  • Model theory 2
  • Set theory 3
  • Descriptive set theory 4
  • Large cardinals 5
  • Recursion theory 6
  • Proof theory 7
  • Mathematical constructivism 8
  • Modal logic 9
  • Theorem provers 10
  • Discovery systems 11
  • Historical 12
  • See also 13

Working foundations

Model theory

Set theory

Descriptive set theory

Large cardinals

Recursion theory

Proof theory

Mathematical constructivism

Modal logic

Theorem provers

Discovery systems

Historical

See also

This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
 
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
 
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.
 



Copyright © World Library Foundation. All rights reserved. eBooks from World Library are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.