Skip to main content
  • Submit
  • About
    • Editorial Board
    • PNAS Staff
    • FAQ
    • Rights and Permissions
  • Contact
  • Journal Club
  • Subscribe
    • Subscription Rates
    • Subscriptions FAQ
    • Open Access
    • Recommend PNAS to Your Librarian
  • Log in
  • My Cart

Main menu

  • Home
  • Articles
    • Current
    • Latest Articles
    • Special Features
    • Colloquia
    • Collected Articles
    • PNAS Classics
    • Archive
  • Front Matter
  • News
    • For the Press
    • Highlights from Latest Articles
    • PNAS in the News
  • Podcasts
  • Authors
    • Purpose and Scope
    • Editorial and Journal Policies
    • Submission Procedures
    • For Reviewers
    • Author FAQ
  • Submit
  • About
    • Editorial Board
    • PNAS Staff
    • FAQ
    • Rights and Permissions
  • Contact
  • Journal Club
  • Subscribe
    • Subscription Rates
    • Subscriptions FAQ
    • Open Access
    • Recommend PNAS to Your Librarian

User menu

  • Log in
  • My Cart

Search

  • Advanced search
Home
Home

Advanced Search

  • Home
  • Articles
    • Current
    • Latest Articles
    • Special Features
    • Colloquia
    • Collected Articles
    • PNAS Classics
    • Archive
  • Front Matter
  • News
    • For the Press
    • Highlights from Latest Articles
    • PNAS in the News
  • Podcasts
  • Authors
    • Purpose and Scope
    • Editorial and Journal Policies
    • Submission Procedures
    • For Reviewers
    • Author FAQ

New Research In

Physical Sciences

Featured Portals

  • Physics
  • Chemistry
  • Sustainability Science

Articles by Topic

  • Applied Mathematics
  • Applied Physical Sciences
  • Astronomy
  • Computer Sciences
  • Earth, Atmospheric, and Planetary Sciences
  • Engineering
  • Environmental Sciences
  • Mathematics
  • Statistics

Social Sciences

Featured Portals

  • Anthropology
  • Sustainability Science

Articles by Topic

  • Economic Sciences
  • Environmental Sciences
  • Political Sciences
  • Psychological and Cognitive Sciences
  • Social Sciences

Biological Sciences

Featured Portals

  • Sustainability Science

Articles by Topic

  • Agricultural Sciences
  • Anthropology
  • Applied Biological Sciences
  • Biochemistry
  • Biophysics and Computational Biology
  • Cell Biology
  • Developmental Biology
  • Ecology
  • Environmental Sciences
  • Evolution
  • Genetics
  • Immunology and Inflammation
  • Medical Sciences
  • Microbiology
  • Neuroscience
  • Pharmacology
  • Physiology
  • Plant Biology
  • Population Biology
  • Psychological and Cognitive Sciences
  • Sustainability Science
  • Systems Biology

Model theory and the cardinal numbers 𝔭 and 𝔱

Justin Tatch Moore
PNAS August 13, 2013. 110 (33) 13238-13239; https://doi.org/10.1073/pnas.1310920110
Justin Tatch Moore
Cornell University, Ithaca, NY 14853
  • Find this author on Google Scholar
  • Find this author on PubMed
  • Search for this author on this site
  • For correspondence: justin@math.cornell.edu
  • Article
  • Authors & Info
  • PDF
Loading

Modern mathematical logic is a multifaceted subject, which concerns itself with the strengths and limitations of formal proofs and algorithms and the relationship between language and mathematical structure. Modern mathematical logic also addresses foundational issues that arise in mathematics. This commentary summarizes the groundbreaking results of Malliaris and Shelah (1), recently published in PNAS (2), relating two branches of logic: model theory and set theory.

Higher Orders of Infinity

At the end of the 19th century, Cantor made the remarkable discovery that it was possible to develop theory of the size or cardinality of an infinite set. Two sets, X and Y, have the same cardinality if there is a bijective correspondence between them: that is, there is a pairing between the elements of X and Y so that each element of one corresponds uniquely to an element of the other. Sets that are either finite or have the same cardinality as the natural numbers Graphic are said to be countable; otherwise, they are uncountable. Cantor demonstrated that the rational numbers are countable but the real numbers are uncountable: their cardinalities are commonly denoted Graphic and Graphic, respectively. The distinction between the countable and the uncountable is very important in mathematics. For example, the existence of a countable set of points in a manifold or Hilbert space, which can be used to arbitrarily approximate all other points, is crucially used in many places throughout mathematical analysis.

Set theory—one of the four main branches of modern logic—concerns itself with foundational issues relating to uncountable sets. One of the earliest, and surely …

↵1E-mail: justin{at}math.cornell.edu.

View Full Text
PreviousNext
Back to top
Article Alerts
Email Article

Thank you for your interest in spreading the word on PNAS.

NOTE: We only request your email address so that the person you are recommending the page to knows that you wanted them to see it, and that it is not junk mail. We do not capture any email address.

Enter multiple addresses on separate lines or separate them with commas.
Model theory and the cardinal numbers 𝔭 and 𝔱
(Your Name) has sent you a message from PNAS
(Your Name) thought you would like to see the PNAS web site.
Citation Tools
Model theory and the cardinal numbers 𝔭 and 𝔱
Justin Tatch Moore
Proceedings of the National Academy of Sciences Aug 2013, 110 (33) 13238-13239; DOI: 10.1073/pnas.1310920110

Citation Manager Formats

  • BibTeX
  • Bookends
  • EasyBib
  • EndNote (tagged)
  • EndNote 8 (xml)
  • Medlars
  • Mendeley
  • Papers
  • RefWorks Tagged
  • Ref Manager
  • RIS
  • Zotero
Request Permissions
Share
Model theory and the cardinal numbers 𝔭 and 𝔱
Justin Tatch Moore
Proceedings of the National Academy of Sciences Aug 2013, 110 (33) 13238-13239; DOI: 10.1073/pnas.1310920110
del.icio.us logo Digg logo Reddit logo Twitter logo CiteULike logo Facebook logo Google logo Mendeley logo
  • Tweet Widget
  • Facebook Like
  • Mendeley logo Mendeley

More Articles of This Classification

  • Auditory motion parallax
  • The labyrinth of human variation
  • Physiological constraints on marine mammal body size
Show more

Related Content

  • General topology meets model theory, on 𝔭 and 𝔱
  • Scopus
  • PubMed
  • Google Scholar

Cited by...

  • No citing articles found.
  • Scopus (2)
  • Google Scholar

Similar Articles

You May Also be Interested in

Recent flooding events highlight why flood-risk governance in the United States needs a major overhaul. They also suggest why the necessary refocus on shared responsibility will not be easy.
Opinion: How to achieve better flood-risk governance in the United States
Recent flooding events highlight why flood-risk governance in the United States needs a major overhaul. They also suggest why the necessary refocus on shared responsibility will not be easy.
Image courtesy of Shutterstock/michelmond.
Bridget Scanlon discusses the use of global hydrologic models for studying changes in water storage worldwide.
Global hydrologic models and water storage
Bridget Scanlon discusses the use of global hydrologic models for studying changes in water storage worldwide.
Listen
Past PodcastsSubscribe
PNAS Profile of Dorothy L. Cheney and Robert M. Seyfarth.
PNAS Profile
PNAS Profile of Dorothy L. Cheney and Robert M. Seyfarth.
Researchers estimate the risk of infectious disease transmission on board transcontinental airline flights.
Infectious disease transmission on airplanes
Researchers estimate the risk of infectious disease transmission on board transcontinental airline flights.
Image courtesy of Pixabay/PublicDomainPictures.
Researchers report early evidence of Maya animal management.
Early Maya animal rearing and trade
Researchers report early evidence of Maya animal management.
Proceedings of the National Academy of Sciences: 115 (16)
Current Issue

Submit

Sign up for Article Alerts

Jump to section

  • Article
    • Higher Orders of Infinity
    • Model Theory and Classification
    • Recent Developments
    • Footnotes
    • References
  • Authors & Info
  • PDF
Site Logo
Powered by HighWire
  • Submit Manuscript
  • Twitter
  • Facebook
  • RSS Feeds
  • Email Alerts

Articles

  • Current Issue
  • Latest Articles
  • Archive

PNAS Portals

  • Classics
  • Front Matter
  • Teaching Resources
  • Anthropology
  • Chemistry
  • Physics
  • Sustainability Science

Information for

  • Authors
  • Reviewers
  • Press

Feedback    Privacy/Legal

Copyright © 2018 National Academy of Sciences.