Constructive reverse mathematics is a programme in which non- and semi-constructive principles are classified in accordance with which other principles they imply or are implied by, relative to the framework of Bishop-style constructive mathematics. One such principle that has come under focus in recent years is an antithesis of Specker's theorem (that theorem being a characteristic result of Russian recursive mathematics): this so-called anti-Specker property is intuitionistically valid, and of considerable utility in proving results of real and complex analysis.
We introduce several new weakenings of the anti-Specker property and explore their role in constructive reverse mathematics, identifying implication relationships that they stand in to other notable principles. These include, but are not limited to: variations upon Brouwer's fan theorem, certain compactness properties, and so-called zero-stability properties. We also give similar classification results for principles arising directly from Specker's theorem itself, and present new, direct proofs of related fan-theoretic results.
We investigate how anti-Specker properties, alongside power-series-based arguments, enable us to recover information about the structure of holomorphic functions: in particular, they allow us to streamline a sequence of maximum-modulus theorems.
| Identifer | oai:union.ndltd.org:canterbury.ac.nz/oai:ir.canterbury.ac.nz:10092/9169 |
| Date | January 2013 |
| Creators | Dent, James Edgar |
| Publisher | University of Canterbury. Department of Mathematics and Statistics |
| Source Sets | University of Canterbury |
| Language | English |
| Detected Language | English |
| Type | Electronic thesis or dissertation, Text |
| Rights | Copyright James Edgar Dent, http://library.canterbury.ac.nz/thesis/etheses_copyright.shtml |
| Relation | NZCU |
Page generated in 0.0017 seconds