2014年2月
Nonstandard second-order arithmetic and Riemann's mapping theorem
ANNALS OF PURE AND APPLIED LOGIC
- ,
- 巻
- 165
- 号
- 2
- 開始ページ
- 520
- 終了ページ
- 551
- 記述言語
- 英語
- 掲載種別
- 研究論文(学術雑誌)
- DOI
- 10.1016/j.apal.2013.06.022
- 出版者・発行元
- ELSEVIER SCIENCE BV
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. (C) 2013 Elsevier B.V. All rights reserved.
- リンク情報
- ID情報
-
- DOI : 10.1016/j.apal.2013.06.022
- ISSN : 0168-0072
- eISSN : 1873-2461
- Web of Science ID : WOS:000328715200005