# Nonstandard second-order arithmetic and Riemannʼs mapping theorem

Annals of Pure and Applied Logic 165 (2):520-551 (2014)

# Abstract

In this paper, we introduce systems of nonstandard second-order arithmetic which are conservative extensions of systems of second-order arithmetic. Within these systems, we do reverse mathematics for nonstandard analysis, and we can import techniques of nonstandard analysis into analysis in weak systems of second-order arithmetic. Then, we apply nonstandard techniques to a version of Riemannʼs mapping theorem, and show several different versions of Riemannʼs mapping theorem

## PhilArchive

Upload a copy of this work     Papers currently archived: 76,140

Setup an account with your affiliations in order to access resources via your University's proxy server

# Similar books and articles

Non-standard analysis in ACA0 and Riemann mapping theorem.Keita Yokoyama - 2007 - Mathematical Logic Quarterly 53 (2):132-146.
Nonstandard arithmetic and reverse mathematics.H. Jerome Keisler - 2006 - Bulletin of Symbolic Logic 12 (1):100-125.
A Nonstandard Counterpart of WWKL.Stephen G. Simpson & Keita Yokoyama - 2011 - Notre Dame Journal of Formal Logic 52 (3):229-243.
Tennenbaum's Theorem and Unary Functions.Sakae Yaegasi - 2008 - Notre Dame Journal of Formal Logic 49 (2):177-183.
Complex analysis in subsystems of second order arithmetic.Keita Yokoyama - 2007 - Archive for Mathematical Logic 46 (1):15-35.
Nonstandard Models and Kripke's Proof of the Gödel Theorem.Hilary Putnam - 2000 - Notre Dame Journal of Formal Logic 41 (1):53-58.
Regularity in models of arithmetic.George Mills & Jeff Paris - 1984 - Journal of Symbolic Logic 49 (1):272-280.
An Effective Conservation Result for Nonstandard Arithmetic.Erik Palmgren - 2000 - Mathematical Logic Quarterly 46 (1):17-24.

2014-01-16

26 (#448,666)

6 months
1 (#447,993)
{"ft_lang_label":"__label__en","ft_lang_prob":0.6454761,"math_prob":0.55329925,"size":3429,"snap":"2022-40-2023-06","text_gpt3_token_len":930,"char_repetition_ratio":0.15766424,"word_repetition_ratio":0.20654397,"special_character_ratio":0.30562845,"punctuation_ratio":0.1398374,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9716571,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2023-01-28T00:49:30Z\",\"WARC-Record-ID\":\"<urn:uuid:84f9a4d8-7fba-4e03-8ff5-cbc73d68da9e>\",\"Content-Length\":\"53961\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:e9cc13cc-d114-4436-aabc-015f32c38f1b>\",\"WARC-Concurrent-To\":\"<urn:uuid:1bd7a53b-1074-431b-bff8-92de1fb05f2a>\",\"WARC-IP-Address\":\"104.26.1.98\",\"WARC-Target-URI\":\"https://philpapers.org/rec/HORNSA\",\"WARC-Payload-Digest\":\"sha1:PWKLUPAECSZG4AE3JD3KE2JITI4K2MIM\",\"WARC-Block-Digest\":\"sha1:IEO7YAD5HOQQNZ5YQXPGYLGRTQJMKJOY\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2023/CC-MAIN-2023-06/CC-MAIN-2023-06_segments_1674764499468.22_warc_CC-MAIN-20230127231443-20230128021443-00167.warc.gz\"}"}