Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Dates: Last 2 Years

You searched for subject:(Baire category). One record found.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


Wake Forest University

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

Degree: 2020, Wake Forest University

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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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 (16th 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 (7th 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

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

.