Non‐standard Analysis in WKL 0

Mathematical Logic Quarterly 43 (3):396-400 (1997)
  Copy   BIBTEX

Abstract

Within a weak subsystem of second‐order arithmetic WKL0, we develop basic part of non‐standard analysis up to the Peano existence theorem.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

External links

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

Through your library

Analytics

Added to PP
2013-10-31

Downloads
40 (#410,144)

6 months
5 (#711,375)

Historical graph of downloads
How can I increase my downloads?