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
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1016/j.apal.2013.06.022 |
| Options |
Edit this record
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Measure Theory and Weak König's Lemma.Xiaokang Yu & Stephen G. Simpson - 1990 - Archive for Mathematical Logic 30 (3):171-180.
Nonstandard Arithmetic and Reverse Mathematics.H. Jerome Keisler - 2006 - Bulletin of Symbolic Logic 12 (1):100-125.
The Self-Embedding Theorem of WKL0 and a Non-Standard Method.Kazuyuki Tanaka - 1997 - Annals of Pure and Applied Logic 84 (1):41-49.
Erna and Friedman's Reverse Mathematics.Sam Sanders - 2011 - Journal of Symbolic Logic 76 (2):637 - 664.
View all 14 references / Add more references
Citations of this work BETA
No citations found.
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.
The Jordan Curve Theorem and the Schönflies Theorem in Weak Second-Order Arithmetic.Nobuyuki Sakamoto & Keita Yokoyama - 2007 - Archive for Mathematical Logic 46 (5-6):465-480.
The Strength of Nonstandard Methods in Arithmetic.C. Ward Henson, Matt Kaufmann & H. Jerome Keisler - 1984 - Journal of Symbolic Logic 49 (4):1039-1058.
Complex Analysis in Subsystems of Second Order Arithmetic.Keita Yokoyama - 2007 - Archive for Mathematical Logic 46 (1):15-35.
Transfer Principles in Nonstandard Intuitionistic Arithmetic.Jeremy Avigad & Jeffrey Helzner - 2002 - Archive for Mathematical Logic 41 (6):581-602.
Nonstandard Models and Kripke's Proof of the Gödel Theorem.Hilary Putnam - 2000 - Notre Dame Journal of Formal Logic 41 (1):53-58.
Hindman's Theorem: An Ultrafilter Argument in Second Order Arithmetic.Henry Towsner - 2011 - Journal of Symbolic Logic 76 (1):353 - 360.
Regularity in Models of Arithmetic.George Mills & Jeff Paris - 1984 - Journal of Symbolic Logic 49 (1):272-280.
Separations of First and Second Order Theories in Bounded Arithmetic.Masahiro Yasumoto - 2005 - Archive for Mathematical Logic 44 (6):685-688.
An Effective Conservation Result for Nonstandard Arithmetic.Erik Palmgren - 2000 - Mathematical Logic Quarterly 46 (1):17-24.
Analytics
Added to PP index
2014-01-16
Total views
20 ( #459,659 of 2,285,431 )
Recent downloads (6 months)
1 ( #841,072 of 2,285,431 )
2014-01-16
Total views
20 ( #459,659 of 2,285,431 )
Recent downloads (6 months)
1 ( #841,072 of 2,285,431 )
How can I increase my downloads?
Downloads
