Non-standard analysis in WKL0

Research output: Contribution to journalArticlepeer-review

6 Citations (Scopus)

Abstract

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

Original languageEnglish
Pages (from-to)396-400
Number of pages5
JournalMathematical Logic Quarterly
Volume43
Issue number3
DOIs
Publication statusPublished - 1997 Jan 1

Keywords

  • Non-standard analysis
  • Second-order arithmetic
  • WKL

ASJC Scopus subject areas

  • Logic

Fingerprint Dive into the research topics of 'Non-standard analysis in WKL<sub>0</sub>'. Together they form a unique fingerprint.

Cite this