second-order arithmetic

MLQ
2007

65views more MLQ 2007»

Non-standard analysis in ACA0 and Riemann mapping theorem

13 years 4 months ago

Abstract. This research is motivated by the program of Reverse Mathematics and non-standard arguments in second-order arithmetic. Within a weak subsystem of second order arithmetic...

Keita Yokoyama

claim paper

Read More »

click to vote

APAL
2006

62views more APAL 2006»

Fundamental notions of analysis in subsystems of second-order arithmetic

13 years 5 months ago

Download www.andrew.cmu.edu

We develop fundamental aspects of the theory of metric, Hilbert, and Banach spaces in the context of subsystems of second-order arithmetic. In particular, we explore issues having...

Jeremy Avigad, Ksenija Simic

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers