Advanced search options

Dates: Last 2 Years ^{❌}

You searched for `subject:(Baire category)`

. One record found.

▼ Search Limiters

Wake Forest University

1. Ingall, Corrie Elizabeth. Reverse Mathematics of Real Analysis.

Degree: 2020, Wake Forest University

URL: http://hdl.handle.net/10339/96869

Reverse Mathematics is a subfield of Computability Theory and mathematical logic concerned with one main question: ``What are the necessary axioms for mathematics?" Reverse Mathematics allows us to characterize the logical strength of theorems, relating theorems across many mathematical disciplines. In this paper, we synthesize the historical work on the Reverse Math of Real Analysis by Simpson and Brown in a way that is accessible to non-logicians while a useful reference to those within the field. In particular, we describe the nuances of different definitions of closed sets, whether as complements of open sets or as sets that contain all their limit points. These distinct definitions connect to a relatively large gap of logical strength. In one case, we correct an error in the proof that "All closed sets are separably closed" implies ACA_0 over RCA_0 from Brown's 1990 paper "Notions of Closed Subsets of a Complete Separable Metric Space in Weak Subsystems of Second Order Arithmetic." We also consider how the dual definitions of closed sets affect the strength of the Baire Category Theorem. As a whole, this paper outlines a path of understanding Reverse Mathematics for those outside the field by exploring fundamental ideas from Real Analysis.

Subjects/Keywords: Baire Category Theorem

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Ingall, C. E. (2020). Reverse Mathematics of Real Analysis. (Thesis). Wake Forest University. Retrieved from http://hdl.handle.net/10339/96869

Note: this citation may be lacking information needed for this citation format:

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} Edition):

Ingall, Corrie Elizabeth. “Reverse Mathematics of Real Analysis.” 2020. Thesis, Wake Forest University. Accessed October 21, 2020. http://hdl.handle.net/10339/96869.

Note: this citation may be lacking information needed for this citation format:

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Ingall, Corrie Elizabeth. “Reverse Mathematics of Real Analysis.” 2020. Web. 21 Oct 2020.

Vancouver:

Ingall CE. Reverse Mathematics of Real Analysis. [Internet] [Thesis]. Wake Forest University; 2020. [cited 2020 Oct 21]. Available from: http://hdl.handle.net/10339/96869.

Note: this citation may be lacking information needed for this citation format:

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Ingall CE. Reverse Mathematics of Real Analysis. [Thesis]. Wake Forest University; 2020. Available from: http://hdl.handle.net/10339/96869

Not specified: Masters Thesis or Doctoral Dissertation